40 log[a](`*`(a, `*`(`^`(b, 4)))), .