Pow Pow pi Pow atan Add cosh cbrt x7 Mul x0 x7 acoth x0 2 
Mul Pow pi Pow atan Add cosh cbrt x7 Mul x0 x7 acoth x0 Mul 2 Mul Pow pi Add Pow atan Add cosh cbrt x7 Mul x0 x7 acoth x0 -1 Mul Mul pi log pi Mul Pow atan Add cosh cbrt x7 Mul x0 x7 Add acoth x0 -1 Add Mul acoth x0 Mul x7 Pow Add 1 Mul Add cosh cbrt x7 Mul x0 x7 Add cosh cbrt x7 Mul x0 x7 -1 Mul Mul atan Add cosh cbrt x7 Mul x0 x7 log atan Add cosh cbrt x7 Mul x0 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 