asech exp Add Pow Mul acot x5 x0 x5 -2 
Mul Mul exp Add Pow Mul acot x5 x0 x5 -2 Mul Pow Mul acot x5 x0 Add x5 -1 Mul x5 acot x5 Pow Mul Mul exp Add Pow Mul acot x5 x0 x5 -2 exp Add Pow Mul acot x5 x0 x5 -2 sqrt Add 1 Mul -1 Pow Mul exp Add Pow Mul acot x5 x0 x5 -2 exp Add Pow Mul acot x5 x0 x5 -2 -1 -1 