Mul log Mul tan sqrt Mul coth cosh x0 -1 Add 3 x0 x3 
Mul x3 Mul Add Mul Add 3 x0 Mul Pow sec sqrt Mul coth cosh x0 -1 2 Mul Pow Mul 2 sqrt Mul coth cosh x0 -1 -1 Mul -1 Mul Mul -1 Pow csch cosh x0 2 sinh x0 tan sqrt Mul coth cosh x0 -1 Pow Mul tan sqrt Mul coth cosh x0 -1 Add 3 x0 -1 