Mul sec acoth x0 Pow x0 tanh Pow acoth x0 -4 
Add Mul Pow x0 tanh Pow acoth x0 -4 Mul Mul tan acoth x0 sec acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sec acoth x0 Mul Pow x0 Add tanh Pow acoth x0 -4 -1 Add tanh Pow acoth x0 -4 Mul Mul x0 log x0 Mul Pow sech Pow acoth x0 -4 2 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 