Mul 0.244978663126864 Pow acoth x1 Pow x0 Add x0 -1 
Mul 0.244978663126864 Mul Pow acoth x1 Add Pow x0 Add x0 -1 -1 Mul Mul acoth x1 log acoth x1 Mul Pow x0 Add Add x0 -1 -1 Add Add x0 -1 Mul x0 log x0 