Mul Add x6 Add x7 Pow Pow Add x0 x3 x0 Add exp x0 x0 acot x1 
Mul acot x1 Mul Pow Pow Add x0 x3 x0 Add Add exp x0 x0 -1 Add Mul Add exp x0 x0 Mul Pow Add x0 x3 Add x0 -1 Add x0 Mul Add x0 x3 log Add x0 x3 Mul Mul Pow Add x0 x3 x0 log Pow Add x0 x3 x0 Add exp x0 1 