cosh Mul acsc atan acsc x0 Pow acosh x0 cosh x1 
Mul sinh Mul acsc atan acsc x0 Pow acosh x0 cosh x1 Add Mul Pow acosh x0 cosh x1 Mul -1 Mul Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul acsc x0 acsc x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atan acsc x0 atan acsc x0 -1 atan acsc x0 atan acsc x0 -1 Mul acsc atan acsc x0 Mul Pow acosh x0 Add cosh x1 -1 Mul cosh x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 