Mul Pow asec Add x0 Mul x0 x0 Pow E x0 acot Add x0 Mul -0.642092615934331 x0 
Add Mul acot Add x0 Mul -0.642092615934331 x0 Mul Pow asec Add x0 Mul x0 x0 Add Pow E x0 -1 Add Mul Pow E x0 Mul Add 1 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 x0 Add x0 Mul x0 x0 -1 Add x0 Mul x0 x0 Add x0 Mul x0 x0 -1 Mul Mul asec Add x0 Mul x0 x0 log asec Add x0 Mul x0 x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow asec Add x0 Mul x0 x0 Pow E x0 Mul -1 Mul 0.357907384065669 Pow Add 1 Mul Add x0 Mul -0.642092615934331 x0 Add x0 Mul -0.642092615934331 x0 -1 