Add Mul x0 x1 acot Mul x7 Mul Mul acoth x5 Add x0 Pow Mul x0 5 -1 Mul -5 x0 
Add x1 Mul -1 Mul Mul x7 Add Mul Mul -5 x0 Mul acoth x5 Add 1 Mul Pow Mul x0 5 2 4 Mul Mul acoth x5 Add x0 Pow Mul x0 5 -1 -5 Pow Add 1 Mul Mul x7 Mul Mul acoth x5 Add x0 Pow Mul x0 5 -1 Mul -5 x0 Mul x7 Mul Mul acoth x5 Add x0 Pow Mul x0 5 -1 Mul -5 x0 -1 