exp Mul -0.653643620863612 asin acot Mul x7 x0 
Mul exp Mul -0.653643620863612 asin acot Mul x7 x0 Mul -0.653643620863612 Mul Mul -1 Mul x7 Pow Add 1 Mul Mul x7 x0 Mul x7 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul x7 x0 acot Mul x7 x0 -1 