sec Mul Mul coth x7 Mul Pow 4 x0 sec x5 x0 
Mul Mul tan Mul Mul coth x7 Mul Pow 4 x0 sec x5 x0 sec Mul Mul coth x7 Mul Pow 4 x0 sec x5 x0 Add Mul x0 Mul coth x7 Mul sec x5 Mul Pow 4 Add x0 -1 5.38629436111989 Mul coth x7 Mul Pow 4 x0 sec x5 