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