Pow Mul -4 Add Mul Add x7 x0 Mul Mul acot pi x0 x0 asech x7 Mul x0 Add Pow 3 x6 x1 
Mul Pow Mul -4 Add Mul Add x7 x0 Mul Mul acot pi x0 x0 asech x7 Add Mul x0 Add Pow 3 x6 x1 -1 Add Mul Mul x0 Add Pow 3 x6 x1 Mul -4 Add Mul Mul acot pi x0 x0 Mul Add x7 x0 Add Mul x0 acot pi Mul acot pi x0 Mul Mul Mul -4 Add Mul Add x7 x0 Mul Mul acot pi x0 x0 asech x7 log Mul -4 Add Mul Add x7 x0 Mul Mul acot pi x0 x0 asech x7 Add Pow 3 x6 x1 