Mul x0 Pow sec cosh Mul acsc x5 x0 -3 
Add Pow sec cosh Mul acsc x5 x0 -3 Mul x0 Mul Pow sec cosh Mul acsc x5 x0 4 Mul -3 Mul Mul tan cosh Mul acsc x5 x0 sec cosh Mul acsc x5 x0 Mul sinh Mul acsc x5 x0 acsc x5 