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