asech Mul Pow x0 Pow acoth x5 x0 -0.295812915532746 
Mul Mul -0.295812915532746 Mul Pow x0 Add Pow acoth x5 x0 -1 Add Pow acoth x5 x0 Mul Mul x0 log x0 Mul Pow acoth x5 Add x0 -1 Mul acoth x5 log acoth x5 Pow Mul Mul Mul Pow x0 Pow acoth x5 x0 -0.295812915532746 Mul Pow x0 Pow acoth x5 x0 -0.295812915532746 sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Pow acoth x5 x0 -0.295812915532746 Mul Pow x0 Pow acoth x5 x0 -0.295812915532746 -1 -1 