Pow Mul cbrt Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 x0 Pow x0 -2 E 
Mul Pow Mul cbrt Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 x0 Pow x0 -2 Add E -1 Mul E Add Mul Pow x0 -2 Mul Pow Mul Mul 3 cbrt Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 x0 cbrt Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 x0 -1 Mul Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 Add x0 -1 Add Mul x0 Mul exp x1 Add 1 Mul Pow acot cosh acot Mul x0 32 Add x5 -1 Mul x5 Mul -1 Mul Mul sinh acot Mul x0 32 Mul -1 Mul 32 Pow Add 1 Mul Mul x0 32 Mul x0 32 -1 Pow Add 1 Mul cosh acot Mul x0 32 cosh acot Mul x0 32 -1 Mul Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 log Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 Mul cbrt Pow Mul exp x1 Add Add x0 E Pow acot cosh acot Mul x0 32 x5 x0 Mul Pow x0 3 -2 