Pow acot x0 cbrt Mul Mul x3 x4 Pow Mul -2 x0 E 
Mul Pow acot x0 Add cbrt Mul Mul x3 x4 Pow Mul -2 x0 E -1 Add Mul cbrt Mul Mul x3 x4 Pow Mul -2 x0 E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Mul Mul 3 cbrt Mul Mul x3 x4 Pow Mul -2 x0 E cbrt Mul Mul x3 x4 Pow Mul -2 x0 E -1 Mul Mul x3 x4 Mul Pow Mul -2 x0 Add E -1 Mul E -2 