exp Pow Pow acoth asech acsc x4 Pow x0 x0 Mul 3 acoth x3 
Mul exp Pow Pow acoth asech acsc x4 Pow x0 x0 Mul 3 acoth x3 Mul Pow Pow acoth asech acsc x4 Pow x0 x0 Add Mul 3 acoth x3 -1 Mul Mul 3 acoth x3 Mul Pow acoth asech acsc x4 Add Pow x0 x0 -1 Mul Mul acoth asech acsc x4 log acoth asech acsc x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 