acoth Add x2 Add Add Mul sqrt Mul Pow 2 atanh x0 x0 x2 x2 exp x0 
Mul Add Mul x2 Mul Pow Mul 2 sqrt Mul Pow 2 atanh x0 x0 -1 Add Mul x0 Mul Pow 2 Add atanh x0 -1 Mul 2.69314718055995 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow 2 atanh x0 exp x0 Pow Add 1 Mul -1 Mul Add x2 Add Add Mul sqrt Mul Pow 2 atanh x0 x0 x2 x2 exp x0 Add x2 Add Add Mul sqrt Mul Pow 2 atanh x0 x0 x2 x2 exp x0 -1 