Mul x0 acos acot Mul x0 Add sin x0 x5 
Add acos acot Mul x0 Add sin x0 x5 Mul x0 Mul -1 Mul Mul -1 Mul Add Add sin x0 x5 Mul x0 cos x0 Pow Add 1 Mul Mul x0 Add sin x0 x5 Mul x0 Add sin x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul x0 Add sin x0 x5 acot Mul x0 Add sin x0 x5 -1 