exp Mul Mul acoth Pow Mul x0 Mul E x6 -3 E x0 
Mul exp Mul Mul acoth Pow Mul x0 Mul E x6 -3 E x0 Add Mul x0 Mul E Mul Mul Pow Mul x0 Mul E x6 4 Mul -3 Mul E x6 Pow Add 1 Mul -1 Mul Pow Mul x0 Mul E x6 -3 Pow Mul x0 Mul E x6 -3 -1 Mul acoth Pow Mul x0 Mul E x6 -3 E 