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