Mul x0 Mul Mul acoth x0 Mul log Mul x6 x0 Add x4 x7 x6 
Add Mul Mul acoth x0 Mul log Mul x6 x0 Add x4 x7 x6 Mul x0 Mul x6 Add Mul Mul log Mul x6 x0 Add x4 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Add x4 x7 Mul x6 Pow Mul x6 x0 -1 