sec acos Mul Pow x0 csch x0 Add sqrt x5 x0 
Mul Mul tan acos Mul Pow x0 csch x0 Add sqrt x5 x0 sec acos Mul Pow x0 csch x0 Add sqrt x5 x0 Mul -1 Mul Add Mul Add sqrt x5 x0 Mul Pow x0 Add csch x0 -1 Add csch x0 Mul Mul x0 log x0 Mul Mul -1 coth x0 csch x0 Pow x0 csch x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow x0 csch x0 Add sqrt x5 x0 Mul Pow x0 csch x0 Add sqrt x5 x0 -1 