Mul x0 cosh acsc Add Mul sinh acot atanh sqrt x0 x6 x0 
Add cosh acsc Add Mul sinh acot atanh sqrt x0 x6 x0 Mul x0 Mul sinh acsc Add Mul sinh acot atanh sqrt x0 x6 x0 Mul -1 Mul Add Mul x6 Mul cosh acot atanh sqrt x0 Mul -1 Mul Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul atanh sqrt x0 atanh sqrt x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul sinh acot atanh sqrt x0 x6 x0 Add Mul sinh acot atanh sqrt x0 x6 x0 -1 Add Mul sinh acot atanh sqrt x0 x6 x0 Add Mul sinh acot atanh sqrt x0 x6 x0 -1 