Mul Pow acos cot cos x7 x0 atan Mul x0 4 
Add Mul atan Mul x0 4 Mul Pow acos cot cos x7 Add x0 -1 Mul acos cot cos x7 log acos cot cos x7 Mul Pow acos cot cos x7 x0 Mul 4 Pow Add 1 Mul Mul x0 4 Mul x0 4 -1 