Pow x0 sec Add Pow tan Add 4 cosh x0 2 x4 
Mul Pow x0 Add sec Add Pow tan Add 4 cosh x0 2 x4 -1 Add sec Add Pow tan Add 4 cosh x0 2 x4 Mul Mul x0 log x0 Mul Mul tan Add Pow tan Add 4 cosh x0 2 x4 sec Add Pow tan Add 4 cosh x0 2 x4 Mul tan Add 4 cosh x0 Mul 2 Mul Pow sec Add 4 cosh x0 2 sinh x0 