log Mul Mul x0 x0 Mul cos cosh atan acoth x0 x0 
Mul Add Mul Mul cos cosh atan acoth x0 x0 Add x0 x0 Mul Mul x0 x0 Add Mul x0 Mul Mul -1 sin cosh atan acoth x0 Mul sinh atan acoth x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 cos cosh atan acoth x0 Pow Mul Mul x0 x0 Mul cos cosh atan acoth x0 x0 -1 