Pow exp x2 Pow Mul x0 sech acoth x2 Mul 2 x0 
Mul Pow exp x2 Add Pow Mul x0 sech acoth x2 Mul 2 x0 -1 Mul Mul exp x2 log exp x2 Mul Pow Mul x0 sech acoth x2 Add Mul 2 x0 -1 Add Mul Mul 2 x0 sech acoth x2 Mul Mul Mul x0 sech acoth x2 log Mul x0 sech acoth x2 2 