Mul x0 Mul acosh acot Mul 3 x0 Mul x0 4 
Add Mul acosh acot Mul 3 x0 Mul x0 4 Mul x0 Add Mul Mul x0 4 Mul Mul -1 Mul 3 Pow Add 1 Mul Mul 3 x0 Mul 3 x0 -1 Pow Mul sqrt Add acot Mul 3 x0 -1 sqrt Add 1 acot Mul 3 x0 -1 Mul acosh acot Mul 3 x0 4 