Add Mul Pow Pow Mul x0 acoth x0 0.540302305868140 -0.327450150237258 Pow x3 x0 Add x3 x7 
Add Mul Pow x3 x0 Mul Pow Pow Mul x0 acoth x0 0.540302305868140 -1.32745015023726 Mul -0.327450150237258 Mul Pow Mul x0 acoth x0 -0.459697694131860 Mul 0.540302305868140 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow Mul x0 acoth x0 0.540302305868140 -0.327450150237258 Mul Pow x3 Add x0 -1 Mul x3 log x3 