Pow x0 Add x0 acoth Mul x0 1.31303528549933 
Mul Pow x0 Add Add x0 acoth Mul x0 1.31303528549933 -1 Add Add x0 acoth Mul x0 1.31303528549933 Mul Mul x0 log x0 Add 1 Mul 1.31303528549933 Pow Add 1 Mul -1 Mul Mul x0 1.31303528549933 Mul x0 1.31303528549933 -1 