Mul x0 Mul Mul x0 sqrt E Mul atanh Mul 2 sinh x5 exp Pow 2 x0 
Add Mul Mul x0 sqrt E Mul atanh Mul 2 sinh x5 exp Pow 2 x0 Mul x0 Add Mul Mul atanh Mul 2 sinh x5 exp Pow 2 x0 sqrt E Mul Mul x0 sqrt E Mul atanh Mul 2 sinh x5 Mul exp Pow 2 x0 Mul Pow 2 Add x0 -1 2.69314718055995 