Mul Add x0 Mul Pow 20.0855369231877 Mul x0 cosh sec x0 Mul Mul x0 Mul x5 x0 x0 -1 
Mul -1 Add 1 Add Mul Mul Mul x0 Mul x5 x0 x0 Mul Pow 20.0855369231877 Add Mul x0 cosh sec x0 -1 Mul 23.0855369231877 Add cosh sec x0 Mul x0 Mul sinh sec x0 Mul tan x0 sec x0 Mul Pow 20.0855369231877 Mul x0 cosh sec x0 Add Mul x0 Add Mul x5 x0 Mul x0 x5 Mul x0 Mul x5 x0 