Add Add Pow x0 sqrt Pow Pow acoth x5 Add atanh atan pi E Mul x0 x7 Mul -2 x0 -3 
Add Mul Pow x0 Add sqrt Pow Pow acoth x5 Add atanh atan pi E Mul x0 x7 -1 Add sqrt Pow Pow acoth x5 Add atanh atan pi E Mul x0 x7 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow Pow acoth x5 Add atanh atan pi E Mul x0 x7 -1 Mul Pow Pow acoth x5 Add atanh atan pi E Add Mul x0 x7 -1 Mul Mul Pow acoth x5 Add atanh atan pi E log Pow acoth x5 Add atanh atan pi E x7 -2 