Add x5 Mul Pow Add x6 x6 Mul acot x0 Mul Mul exp E Mul x5 log Add Mul x0 x0 x1 x3 acot x2 
Mul acot x2 Mul Pow Add x6 x6 Add Mul acot x0 Mul Mul exp E Mul x5 log Add Mul x0 x0 x1 x3 -1 Mul Mul Add x6 x6 log Add x6 x6 Add Mul Mul Mul exp E Mul x5 log Add Mul x0 x0 x1 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul x3 Mul exp E Mul x5 Mul Add x0 x0 Pow Add Mul x0 x0 x1 -1 