Pow sqrt sech x5 Add Mul Add Add x0 Pow Mul Add x0 1 4 x2 x0 Pow 2 x0 1 
Mul Pow sqrt sech x5 Add Add Mul Add Add x0 Pow Mul Add x0 1 4 x2 x0 Pow 2 x0 1 -1 Mul Mul sqrt sech x5 log sqrt sech x5 Add Mul Pow 2 x0 Add Add 1 Mul Pow Mul Add x0 1 4 Add x2 -1 Mul x2 4 1 Mul Add Add x0 Pow Mul Add x0 1 4 x2 x0 Mul Pow 2 Add x0 -1 2.69314718055995 