Pow Add 3 Pow sqrt Pow Add x5 x0 x0 Pow tan cosh x0 x0 x3 
Mul Pow Add 3 Pow sqrt Pow Add x5 x0 x0 Pow tan cosh x0 x0 Add x3 -1 Mul x3 Mul Pow sqrt Pow Add x5 x0 x0 Add Pow tan cosh x0 x0 -1 Add Mul Pow tan cosh x0 x0 Mul Pow Mul 2 sqrt Pow Add x5 x0 x0 -1 Mul Pow Add x5 x0 Add x0 -1 Add x0 Mul Add x5 x0 log Add x5 x0 Mul Mul sqrt Pow Add x5 x0 x0 log sqrt Pow Add x5 x0 x0 Mul Pow tan cosh x0 Add x0 -1 Add Mul x0 Mul Pow sec cosh x0 2 sinh x0 Mul tan cosh x0 log tan cosh x0 