cosh Mul Pow x0 Add pi x0 cosh acsc x0 
Mul sinh Mul Pow x0 Add pi x0 cosh acsc x0 Add Mul cosh acsc x0 Mul Pow x0 Add Add pi x0 -1 Add Add pi x0 Mul x0 log x0 Mul Pow x0 Add pi x0 Mul sinh acsc x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 