Mul x1 Mul x0 Pow acsc atanh x0 cosh Add x0 x0 
Mul x1 Add Pow acsc atanh x0 cosh Add x0 x0 Mul x0 Mul Pow acsc atanh x0 Add cosh Add x0 x0 -1 Add Mul cosh Add x0 x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 atanh x0 atanh x0 -1 Mul Mul acsc atanh x0 log acsc atanh x0 Mul sinh Add x0 x0 2 