Mul Pow pi Pow acoth x2 x0 Mul x0 Mul x7 x0 
Add Mul Mul x0 Mul x7 x0 Mul Pow pi Add Pow acoth x2 x0 -1 Mul Mul pi log pi Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 Mul Pow pi Pow acoth x2 x0 Add Mul x7 x0 Mul x0 x7 