Add x3 Add Pow Add -4 Pow Pow x0 asech pi x0 2 Add x0 0.999832273374962 
Add Mul Add -4 Pow Pow x0 asech pi x0 Mul 2 Mul Pow Pow x0 asech pi Add x0 -1 Add Mul x0 Mul Pow x0 Add asech pi -1 asech pi Mul Pow x0 asech pi log Pow x0 asech pi 1 