atan Mul Add x0 acoth Mul Pow x0 x1 acsch Add x0 Pow x4 x0 Add pi x7 
Mul Mul Add pi x7 Add 1 Mul Add Mul acsch Add x0 Pow x4 x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul Mul -1 Add 1 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Mul Mul Add x0 Pow x4 x0 Add x0 Pow x4 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow x4 x0 Add x0 Pow x4 x0 -1 -1 Pow Add 1 Mul -1 Mul Mul Pow x0 x1 acsch Add x0 Pow x4 x0 Mul Pow x0 x1 acsch Add x0 Pow x4 x0 -1 Pow Add 1 Mul Mul Add x0 acoth Mul Pow x0 x1 acsch Add x0 Pow x4 x0 Add pi x7 Mul Add x0 acoth Mul Pow x0 x1 acsch Add x0 Pow x4 x0 Add pi x7 -1 