Pow acosh Add Pow pi x0 acoth Add Mul x0 5 x0 Mul sinh x0 atanh Add x6 acoth x4 
Mul Pow acosh Add Pow pi x0 acoth Add Mul x0 5 x0 Add Mul sinh x0 atanh Add x6 acoth x4 -1 Add Mul Mul sinh x0 atanh Add x6 acoth x4 Mul Add Mul Pow pi Add x0 -1 Mul pi log pi Mul 6 Pow Add 1 Mul -1 Mul Add Mul x0 5 x0 Add Mul x0 5 x0 -1 Pow Mul sqrt Add Add Pow pi x0 acoth Add Mul x0 5 x0 -1 sqrt Add 1 Add Pow pi x0 acoth Add Mul x0 5 x0 -1 Mul Mul acosh Add Pow pi x0 acoth Add Mul x0 5 x0 log acosh Add Pow pi x0 acoth Add Mul x0 5 x0 Mul atanh Add x6 acoth x4 cosh x0 