Mul 5 Mul sqrt tan x0 tan Add x0 Add asech x0 Mul x0 Add x5 2 
Mul 5 Add Mul tan Add x0 Add asech x0 Mul x0 Add x5 2 Mul Pow Mul 2 sqrt tan x0 -1 Pow sec x0 2 Mul sqrt tan x0 Mul Pow sec Add x0 Add asech x0 Mul x0 Add x5 2 2 Add 1 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add x5 2 