Add Pow x0 Add -1 acot x1 Add x0 Pow cot asinh Mul x6 x0 csch E 
Add Mul Pow x0 Add Add -1 acot x1 -1 Add -1 acot x1 Add 1 Mul Pow cot asinh Mul x6 x0 Add csch E -1 Mul csch E Mul Mul -1 Pow csc asinh Mul x6 x0 2 Mul x6 Pow sqrt Add 1 Mul Mul x6 x0 Mul x6 x0 -1 