tan atan cosh Mul -5 Mul cosh x0 Mul x7 Mul x0 -1 
Mul Pow sec atan cosh Mul -5 Mul cosh x0 Mul x7 Mul x0 -1 2 Mul Mul sinh Mul -5 Mul cosh x0 Mul x7 Mul x0 -1 Mul -5 Add Mul Mul x7 Mul x0 -1 sinh x0 Mul cosh x0 Mul x7 -1 Pow Add 1 Mul cosh Mul -5 Mul cosh x0 Mul x7 Mul x0 -1 cosh Mul -5 Mul cosh x0 Mul x7 Mul x0 -1 -1 