acot Mul Mul Add Pow Mul Mul x0 asech x7 x0 -4 acot x7 x7 x5 
Mul -1 Mul Mul x5 Mul x7 Mul Pow Mul Mul x0 asech x7 x0 5 Mul -4 Add Mul x0 asech x7 Mul x0 asech x7 Pow Add 1 Mul Mul Mul Add Pow Mul Mul x0 asech x7 x0 -4 acot x7 x7 x5 Mul Mul Add Pow Mul Mul x0 asech x7 x0 -4 acot x7 x7 x5 -1 