Mul x0 Mul Add acot sin E Pow acot Add x0 -3 Pow x0 x5 x0 
Add Mul Add acot sin E Pow acot Add x0 -3 Pow x0 x5 x0 Mul x0 Add Mul x0 Mul Pow acot Add x0 -3 Add Pow x0 x5 -1 Add Mul Pow x0 x5 Mul -1 Pow Add 1 Mul Add x0 -3 Add x0 -3 -1 Mul Mul acot Add x0 -3 log acot Add x0 -3 Mul Pow x0 Add x5 -1 x5 Add acot sin E Pow acot Add x0 -3 Pow x0 x5 