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