acot Pow Add x0 x0 Add 4 Add Mul Add x0 asech x0 Pow Add Mul -4 x0 x0 0.252680255142079 x0 
Mul -1 Mul Mul Pow Add x0 x0 Add Add 4 Add Mul Add x0 asech x0 Pow Add Mul -4 x0 x0 0.252680255142079 x0 -1 Add Mul Add 4 Add Mul Add x0 asech x0 Pow Add Mul -4 x0 x0 0.252680255142079 x0 2 Mul Mul Add x0 x0 log Add x0 x0 Add Add Mul Pow Add Mul -4 x0 x0 0.252680255142079 Add 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add x0 asech x0 Mul Pow Add Mul -4 x0 x0 -0.747319744857921 3.25268025514208 1 Pow Add 1 Mul Pow Add x0 x0 Add 4 Add Mul Add x0 asech x0 Pow Add Mul -4 x0 x0 0.252680255142079 x0 Pow Add x0 x0 Add 4 Add Mul Add x0 asech x0 Pow Add Mul -4 x0 x0 0.252680255142079 x0 -1 