Mul x0 Add Add -1.17520119364380 x0 Add Pow x6 x0 Mul Pow x0 acot x7 2 
Add Add Add -1.17520119364380 x0 Add Pow x6 x0 Mul Pow x0 acot x7 2 Mul x0 Add 1 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul 2 Mul Pow x0 Add acot x7 -1 acot x7 