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