Pow Mul Mul acoth Mul x0 x0 Mul x0 x2 Add Mul x5 x0 -3 4 
Mul Pow Mul Mul acoth Mul x0 x0 Mul x0 x2 Add Mul x5 x0 -3 3 Mul 4 Add Mul Add Mul x5 x0 -3 Add Mul Mul x0 x2 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul acoth Mul x0 x0 x2 Mul Mul acoth Mul x0 x0 Mul x0 x2 x5 