Mul Add x5 x0 Add x0 Add x0 Mul x0 Add x5 atanh Mul atan acoth Add x5 exp Add x0 x0 x2 
Add Add x0 Add x0 Mul x0 Add x5 atanh Mul atan acoth Add x5 exp Add x0 x0 x2 Mul Add x5 x0 Add 1 Add 1 Add Add x5 atanh Mul atan acoth Add x5 exp Add x0 x0 x2 Mul x0 Mul Mul x2 Mul Mul Mul exp Add x0 x0 2 Pow Add 1 Mul -1 Mul Add x5 exp Add x0 x0 Add x5 exp Add x0 x0 -1 Pow Add 1 Mul acoth Add x5 exp Add x0 x0 acoth Add x5 exp Add x0 x0 -1 Pow Add 1 Mul -1 Mul Mul atan acoth Add x5 exp Add x0 x0 x2 Mul atan acoth Add x5 exp Add x0 x0 x2 -1 