Mul Add Mul x0 -4 -4 tan Add 1 Mul Mul x5 x0 acos Mul acot x1 x0 
Add Mul tan Add 1 Mul Mul x5 x0 acos Mul acot x1 x0 -4 Mul Add Mul x0 -4 -4 Mul Pow sec Add 1 Mul Mul x5 x0 acos Mul acot x1 x0 2 Add Mul acos Mul acot x1 x0 x5 Mul Mul x5 x0 Mul -1 Mul acot x1 Pow sqrt Add 1 Mul -1 Mul Mul acot x1 x0 Mul acot x1 x0 -1 