Pow sqrt Mul acosh cosh Add sqrt acsc x1 acsch x2 x0 x2 
Mul Pow sqrt Mul acosh cosh Add sqrt acsc x1 acsch x2 x0 Add x2 -1 Mul x2 Mul Pow Mul 2 sqrt Mul acosh cosh Add sqrt acsc x1 acsch x2 x0 -1 acosh cosh Add sqrt acsc x1 acsch x2 