acoth acos Mul Mul x0 3 Pow 4 x2 
Mul Mul -1 Mul Mul Pow 4 x2 3 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 3 Pow 4 x2 Mul Mul x0 3 Pow 4 x2 -1 Pow Add 1 Mul -1 Mul acos Mul Mul x0 3 Pow 4 x2 acos Mul Mul x0 3 Pow 4 x2 -1 