Pow Mul x7 Mul sqrt cot x5 Pow Add atan Mul x0 x5 x0 x0 2 
Mul Mul x7 Mul sqrt cot x5 Pow Add atan Mul x0 x5 x0 x0 Mul 2 Mul x7 Mul sqrt cot x5 Mul Pow Add atan Mul x0 x5 x0 Add x0 -1 Add Mul x0 Add Mul x5 Pow Add 1 Mul Mul x0 x5 Mul x0 x5 -1 1 Mul Add atan Mul x0 x5 x0 log Add atan Mul x0 x5 x0 