acoth Mul sqrt Add exp Add x0 -2 x0 Mul Mul Add x0 x0 243 -1 
Mul Add Mul Mul Mul Add x0 x0 243 -1 Mul Pow Mul 2 sqrt Add exp Add x0 -2 x0 -1 Add exp Add x0 -2 1 Mul sqrt Add exp Add x0 -2 x0 244 Pow Add 1 Mul -1 Mul Mul sqrt Add exp Add x0 -2 x0 Mul Mul Add x0 x0 243 -1 Mul sqrt Add exp Add x0 -2 x0 Mul Mul Add x0 x0 243 -1 -1 