sinh Mul x7 Add Pow Mul x0 pi asec x0 x5 
Mul cosh Mul x7 Add Pow Mul x0 pi asec x0 x5 Mul x7 Mul Pow Mul x0 pi Add asec x0 -1 Add Mul asec x0 pi Mul Mul Mul x0 pi log Mul x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 