sinh Pow Add Mul -3 Mul Mul x0 Mul 3 x0 x0 x0 sqrt x5 
Mul cosh Pow Add Mul -3 Mul Mul x0 Mul 3 x0 x0 x0 sqrt x5 Mul Pow Add Mul -3 Mul Mul x0 Mul 3 x0 x0 x0 Add sqrt x5 -1 Mul sqrt x5 Add Mul -3 Add Mul x0 Add Mul 3 x0 Mul x0 3 Mul x0 Mul 3 x0 1 