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