acoth Pow Mul E x0 Mul Mul x0 x6 x5 
Mul Mul Pow Mul E x0 Add Mul Mul x0 x6 x5 -1 Add Mul Mul Mul x0 x6 x5 E Mul Mul Mul E x0 log Mul E x0 Mul x5 x6 Pow Add 1 Mul -1 Mul Pow Mul E x0 Mul Mul x0 x6 x5 Pow Mul E x0 Mul Mul x0 x6 x5 -1 