Add Mul exp Mul Add -3 Add Pow acoth E 0.958924274663138 x0 Pow x0 Pow x0 asech x1 Pow 2 x0 x7 
Add Mul Pow 2 x0 Mul exp Mul Add -3 Add Pow acoth E 0.958924274663138 x0 Pow x0 Pow x0 asech x1 Add Pow x0 Pow x0 asech x1 Mul Add -3 Add Pow acoth E 0.958924274663138 x0 Mul Pow x0 Add Pow x0 asech x1 -1 Add Pow x0 asech x1 Mul Mul x0 log x0 Mul Pow x0 Add asech x1 -1 asech x1 Mul exp Mul Add -3 Add Pow acoth E 0.958924274663138 x0 Pow x0 Pow x0 asech x1 Mul Pow 2 Add x0 -1 2.69314718055995 