Mul Pow acoth acos Mul x0 cos x3 Mul x7 4 E 
Mul E Mul Pow acoth acos Mul x0 cos x3 Add Mul x7 4 -1 Mul Mul x7 4 Mul Mul -1 Mul cos x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 cos x3 Mul x0 cos x3 -1 Pow Add 1 Mul -1 Mul acos Mul x0 cos x3 acos Mul x0 cos x3 -1 