acoth Pow Mul Mul x0 x0 acoth sin E x3 
Mul Mul Pow Mul Mul x0 x0 acoth sin E Add x3 -1 Mul x3 Mul acoth sin E Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul Mul x0 x0 acoth sin E x3 Pow Mul Mul x0 x0 acoth sin E x3 -1 