Mul atan Mul acoth Add 1 acos Add cos x7 Add -2 x5 x0 x1 
Mul x1 Mul acoth Add 1 acos Add cos x7 Add -2 x5 Pow Add 1 Mul Mul acoth Add 1 acos Add cos x7 Add -2 x5 x0 Mul acoth Add 1 acos Add cos x7 Add -2 x5 x0 -1 