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