Mul Mul Mul x0 tan x0 Add Add acosh x0 acos Add x0 x0 0.255412811882995 -1.01010866590799 
Mul -1.01010866590799 Add Mul Add Add acosh x0 acos Add x0 x0 0.255412811882995 Add tan x0 Mul x0 Pow sec x0 2 Mul Mul x0 tan x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 