sin Mul x5 Mul Pow pi Add acosh sqrt x0 csch x0 x0 
Mul cos Mul x5 Mul Pow pi Add acosh sqrt x0 csch x0 x0 Mul x5 Add Mul x0 Mul Pow pi Add Add acosh sqrt x0 csch x0 -1 Mul Mul pi log pi Add Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 Mul Mul -1 coth x0 csch x0 Pow pi Add acosh sqrt x0 csch x0 