Mul Add Add sqrt Pow sec Add cosh Add -3 x1 1 x0 Mul x0 x0 Pow log coth x7 x0 3 
Mul 3 Add Add Mul Pow Mul 2 sqrt Pow sec Add cosh Add -3 x1 1 x0 -1 Mul Pow sec Add cosh Add -3 x1 1 Add x0 -1 Mul sec Add cosh Add -3 x1 1 log sec Add cosh Add -3 x1 1 Add x0 x0 Mul Pow log coth x7 Add x0 -1 Mul log coth x7 log log coth x7 