01  `/`(`*`(`^`(2, 6), `*`(`^`(2, -2))), `*`(`^`(2, 2)))