Pow x0 Pow x7 acot acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 
Mul Pow x0 Add Pow x7 acot acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 -1 Add Pow x7 acot acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 Mul Mul x0 log x0 Mul Pow x7 Add acot acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 -1 Mul Mul x7 log x7 Mul -1 Mul Mul Add 1 Add Mul Add x0 x0 Pow Mul sqrt Add Add x0 x4 -1 sqrt Add 1 Add x0 x4 -1 Mul acosh Add x0 x4 2 Pow Add 1 Mul -1 Mul Add x0 Mul acosh Add x0 x4 Add x0 x0 Add x0 Mul acosh Add x0 x4 Add x0 x0 -1 Pow Add 1 Mul acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 acoth Add x0 Mul acosh Add x0 x4 Add x0 x0 -1 