Pow Pow asech acot Mul x0 x0 x0 0.793700525984100 
Mul Pow Pow asech acot Mul x0 x0 x0 -0.206299474015900 Mul 0.793700525984100 Mul Pow asech acot Mul x0 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Mul Mul acot Mul x0 x0 acot Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul acot Mul x0 x0 acot Mul x0 x0 -1 -1 Mul asech acot Mul x0 x0 log asech acot Mul x0 x0 