Pow Pow acos Add acosh pi x0 x0 Pow atan x0 Mul x5 csch x0 
Mul Pow Pow acos Add acosh pi x0 x0 Add Pow atan x0 Mul x5 csch x0 -1 Add Mul Pow atan x0 Mul x5 csch x0 Mul Pow acos Add acosh pi x0 Add x0 -1 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add acosh pi x0 Add acosh pi x0 -1 Mul acos Add acosh pi x0 log acos Add acosh pi x0 Mul Mul Pow acos Add acosh pi x0 x0 log Pow acos Add acosh pi x0 x0 Mul Pow atan x0 Add Mul x5 csch x0 -1 Add Mul Mul x5 csch x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul x5 Mul Mul -1 coth x0 csch x0 