Add x3 Mul 2 Add Mul Pow Pow Mul x0 Add x0 0.0993279274194332 0.431075950645592 Mul -2 asech pi x0 x0 
Mul 2 Add Add Mul x0 Mul Pow Pow Mul x0 Add x0 0.0993279274194332 0.431075950645592 Add Mul -2 asech pi -1 Mul Mul -2 asech pi Mul Pow Mul x0 Add x0 0.0993279274194332 -0.568924049354408 Mul 0.431075950645592 Add Add x0 0.0993279274194332 x0 Pow Pow Mul x0 Add x0 0.0993279274194332 0.431075950645592 Mul -2 asech pi 1 