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