Pow Add pi x0 Add cbrt cosh x1 Add acot Mul x0 Mul atan coth x1 acosh x5 x7 
Mul Pow Add pi x0 Add Add cbrt cosh x1 Add acot Mul x0 Mul atan coth x1 acosh x5 x7 -1 Add Add cbrt cosh x1 Add acot Mul x0 Mul atan coth x1 acosh x5 x7 Mul Mul Add pi x0 log Add pi x0 Mul -1 Mul Mul atan coth x1 acosh x5 Pow Add 1 Mul Mul x0 Mul atan coth x1 acosh x5 Mul x0 Mul atan coth x1 acosh x5 -1 