Mul Pow x4 5 Mul Pow x0 x5 Mul Mul sec cosh x4 Pow Mul -2 Add pi x0 x5 -2 
Mul Pow x4 5 Add Mul Mul Mul sec cosh x4 Pow Mul -2 Add pi x0 x5 -2 Mul Pow x0 Add x5 -1 x5 Mul Pow x0 x5 Mul -2 Mul sec cosh x4 Mul Pow Mul -2 Add pi x0 Add x5 -1 Mul x5 -2 