Mul Mul x0 x0 Add Add pi acoth Pow exp x0 tanh log exp pi -2 
Add Mul Add Add pi acoth Pow exp x0 tanh log exp pi -2 Add x0 x0 Mul Mul x0 x0 Mul Mul Pow exp x0 Add tanh log exp pi -1 Mul tanh log exp pi exp x0 Pow Add 1 Mul -1 Mul Pow exp x0 tanh log exp pi Pow exp x0 tanh log exp pi -1 