Mul asec acsc x0 tan cosh Pow Mul x0 acosh x6 sqrt x0 
Add Mul tan cosh Pow Mul x0 acosh x6 sqrt x0 Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsc x0 acsc x0 -1 acsc x0 acsc x0 -1 Mul asec acsc x0 Mul Pow sec cosh Pow Mul x0 acosh x6 sqrt x0 2 Mul sinh Pow Mul x0 acosh x6 sqrt x0 Mul Pow Mul x0 acosh x6 Add sqrt x0 -1 Add Mul sqrt x0 acosh x6 Mul Mul Mul x0 acosh x6 log Mul x0 acosh x6 Pow Mul 2 sqrt x0 -1 