Mul Mul x0 Add acot Add acoth E 1 x4 Mul asec Add x0 1 x1 
Add Mul Mul asec Add x0 1 x1 Add acot Add acoth E 1 x4 Mul Mul x0 Add acot Add acoth E 1 x4 Mul x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 1 Add x0 1 -1 Add x0 1 Add x0 1 -1 