Add asech Add Add Mul Pow 2 x0 E acoth Mul Mul x0 0.244978663126864 exp exp x0 1 -1 
Mul Add Mul E Mul Pow 2 Add x0 -1 2.69314718055995 Mul Add Mul exp exp x0 0.244978663126864 Mul Mul x0 0.244978663126864 Mul exp exp x0 exp x0 Pow Add 1 Mul -1 Mul Mul Mul x0 0.244978663126864 exp exp x0 Mul Mul x0 0.244978663126864 exp exp x0 -1 Pow Mul Mul Add Add Mul Pow 2 x0 E acoth Mul Mul x0 0.244978663126864 exp exp x0 1 Add Add Mul Pow 2 x0 E acoth Mul Mul x0 0.244978663126864 exp exp x0 1 sqrt Add 1 Mul -1 Pow Mul Add Add Mul Pow 2 x0 E acoth Mul Mul x0 0.244978663126864 exp exp x0 1 Add Add Mul Pow 2 x0 E acoth Mul Mul x0 0.244978663126864 exp exp x0 1 -1 -1 