Mul asech x0 Pow Mul acot Add pi x0 x3 1.18839510577812 
Add Mul Pow Mul acot Add pi x0 x3 1.18839510577812 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow Mul acot Add pi x0 x3 0.188395105778121 Mul 1.18839510577812 Mul x3 Mul -1 Pow Add 1 Mul Add pi x0 Add pi x0 -1 