Pow x3 cosh Mul -2 Pow acsc sqrt Add x0 acos x6 x3 
Mul Pow x3 Add cosh Mul -2 Pow acsc sqrt Add x0 acos x6 x3 -1 Mul Mul x3 log x3 Mul sinh Mul -2 Pow acsc sqrt Add x0 acos x6 x3 Mul -2 Mul Pow acsc sqrt Add x0 acos x6 Add x3 -1 Mul x3 Mul -1 Mul Pow Mul 2 sqrt Add x0 acos x6 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Add x0 acos x6 sqrt Add x0 acos x6 -1 sqrt Add x0 acos x6 sqrt Add x0 acos x6 -1 