Add Pow Mul Mul acoth x0 Mul x0 acoth acos x3 E 3 -1 
Mul Pow Mul Mul acoth x0 Mul x0 acoth acos x3 E 2 Mul 3 Mul E Add Mul Mul x0 acoth acos x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 acoth acos x3 