Mul x0 acoth exp Add x6 Mul Mul x3 Add Add x0 0.693147180559945 x0 x5 
Add acoth exp Add x6 Mul Mul x3 Add Add x0 0.693147180559945 x0 x5 Mul x0 Mul Mul exp Add x6 Mul Mul x3 Add Add x0 0.693147180559945 x0 x5 Mul x5 Mul x3 2 Pow Add 1 Mul -1 Mul exp Add x6 Mul Mul x3 Add Add x0 0.693147180559945 x0 x5 exp Add x6 Mul Mul x3 Add Add x0 0.693147180559945 x0 x5 -1 