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