Mul Add x3 Add Mul Pow Mul x3 x0 Add x0 Add x4 Mul x0 x6 acot log Mul Add x0 x0 x0 E sqrt x1 
Mul sqrt x1 Add Mul acot log Mul Add x0 x0 x0 Mul Pow Mul x3 x0 Add Add x0 Add x4 Mul x0 x6 -1 Add Mul Add x0 Add x4 Mul x0 x6 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Add 1 x6 Mul Pow Mul x3 x0 Add x0 Add x4 Mul x0 x6 Mul -1 Mul Mul Add Mul x0 2 Add x0 x0 Pow Mul Add x0 x0 x0 -1 Pow Add 1 Mul log Mul Add x0 x0 x0 log Mul Add x0 x0 x0 -1 