Mul Pow x0 Mul sec cosh x0 x3 Mul x0 x0 
Add Mul Mul x0 x0 Mul Pow x0 Add Mul sec cosh x0 x3 -1 Add Mul sec cosh x0 x3 Mul Mul x0 log x0 Mul x3 Mul Mul tan cosh x0 sec cosh x0 sinh x0 Mul Pow x0 Mul sec cosh x0 x3 Add x0 x0 