Mul Add -2 Pow Pow Add asech x3 x0 Add Add x0 x1 3 acot x0 x7 
Mul x7 Mul Pow Pow Add asech x3 x0 Add Add x0 x1 3 Add acot x0 -1 Add Mul acot x0 Mul Pow Add asech x3 x0 Add Add Add x0 x1 3 -1 Add Add Add x0 x1 3 Mul Add asech x3 x0 log Add asech x3 x0 Mul Mul Pow Add asech x3 x0 Add Add x0 x1 3 log Pow Add asech x3 x0 Add Add x0 x1 3 Mul -1 Pow Add 1 Mul x0 x0 -1 