Mul x4 Pow pi Add -3 Mul Add cosh x5 Pow x1 x0 Pow x0 Mul asech x1 x7 
Mul x4 Mul Pow pi Add Add -3 Mul Add cosh x5 Pow x1 x0 Pow x0 Mul asech x1 x7 -1 Mul Mul pi log pi Add Mul Pow x0 Mul asech x1 x7 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Add cosh x5 Pow x1 x0 Mul Pow x0 Add Mul asech x1 x7 -1 Mul asech x1 x7 