Pow Mul x0 atan x0 Pow exp Add x0 acoth x6 x0 
Mul Pow Mul x0 atan x0 Add Pow exp Add x0 acoth x6 x0 -1 Add Mul Pow exp Add x0 acoth x6 x0 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 atan x0 log Mul x0 atan x0 Mul Pow exp Add x0 acoth x6 Add x0 -1 Add Mul x0 exp Add x0 acoth x6 Mul exp Add x0 acoth x6 log exp Add x0 acoth x6 