Add Add sech x3 Pow E Mul x0 sech pi Pow Add Pow x0 Mul x0 sqrt x0 5 x0 
Add Mul Pow E Add Mul x0 sech pi -1 Mul Mul E log E sech pi Mul Pow Add Pow x0 Mul x0 sqrt x0 5 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul x0 sqrt x0 -1 Add Mul x0 sqrt x0 Mul Mul x0 log x0 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Mul Add Pow x0 Mul x0 sqrt x0 5 log Add Pow x0 Mul x0 sqrt x0 5 