acot Add x0 acoth Pow Pow x0 10 Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 
Mul -1 Mul Add 1 Mul Mul Pow Pow x0 10 Add Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 -1 Add Mul Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 Mul Pow x0 9 10 Mul Mul Pow x0 10 log Pow x0 10 Mul Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 5 Mul -4 Mul Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul -4 Mul Pow Pow exp x0 x0 Add x7 -1 Mul x7 Mul Pow exp x0 Add x0 -1 Add Mul x0 exp x0 Mul exp x0 log exp x0 Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 Mul Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 log Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 Pow Add 1 Mul -1 Mul Pow Pow x0 10 Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 Pow Pow x0 10 Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 -1 Pow Add 1 Mul Add x0 acoth Pow Pow x0 10 Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 Add x0 acoth Pow Pow x0 10 Pow Pow Mul Add 2 Mul -4 Add Pow Pow exp x0 x0 x7 x1 x0 x0 -4 -1 