Add x0 Pow Add sec acot x0 Mul x0 x0 Mul Mul Pow Mul x0 x5 Mul x0 -4 E x1 
Add 1 Mul Pow Add sec acot x0 Mul x0 x0 Add Mul Mul Pow Mul x0 x5 Mul x0 -4 E x1 -1 Add Mul Mul Mul Pow Mul x0 x5 Mul x0 -4 E x1 Add Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add x0 x0 Mul Mul Add sec acot x0 Mul x0 x0 log Add sec acot x0 Mul x0 x0 Mul x1 Mul E Mul Pow Mul x0 x5 Add Mul x0 -4 -1 Add Mul Mul x0 -4 x5 Mul Mul Mul x0 x5 log Mul x0 x5 -4 