Mul Pow sec asin sqrt x0 csch csch x0 x0 
Add Mul x0 Mul Pow sec asin sqrt x0 Add csch csch x0 -1 Add Mul csch csch x0 Mul Mul tan asin sqrt x0 sec asin sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Mul sec asin sqrt x0 log sec asin sqrt x0 Mul Mul Mul -1 coth csch x0 csch csch x0 Mul Mul -1 coth x0 csch x0 Pow sec asin sqrt x0 csch csch x0 