atan Pow exp sec Add x0 Pow x0 -5 Mul Add x0 cosh x0 Add -5 x0 
Mul Mul Pow exp sec Add x0 Pow x0 -5 Add Mul Add x0 cosh x0 Add -5 x0 -1 Add Mul Mul Add x0 cosh x0 Add -5 x0 Mul exp sec Add x0 Pow x0 -5 Mul Mul tan Add x0 Pow x0 -5 sec Add x0 Pow x0 -5 Add 1 Mul Pow x0 6 -5 Mul Mul exp sec Add x0 Pow x0 -5 log exp sec Add x0 Pow x0 -5 Add Mul Add -5 x0 Add 1 sinh x0 Add x0 cosh x0 Pow Add 1 Mul Pow exp sec Add x0 Pow x0 -5 Mul Add x0 cosh x0 Add -5 x0 Pow exp sec Add x0 Pow x0 -5 Mul Add x0 cosh x0 Add -5 x0 -1 