tan Mul x0 Pow Pow Mul acot Mul exp x3 x0 x4 E 4 
Mul Pow sec Mul x0 Pow Pow Mul acot Mul exp x3 x0 x4 E 4 2 Add Pow Pow Mul acot Mul exp x3 x0 x4 E 4 Mul x0 Mul Pow Pow Mul acot Mul exp x3 x0 x4 E 3 Mul 4 Mul Pow Mul acot Mul exp x3 x0 x4 Add E -1 Mul E Mul x4 Mul -1 Mul exp x3 Pow Add 1 Mul Mul exp x3 x0 Mul exp x3 x0 -1 