Pow x0 Add 5 Mul 2 Pow Add x0 sec log x3 Mul x2 sech x4 
Mul Pow x0 Add Add 5 Mul 2 Pow Add x0 sec log x3 Mul x2 sech x4 -1 Add Add 5 Mul 2 Pow Add x0 sec log x3 Mul x2 sech x4 Mul Mul x0 log x0 Mul 2 Mul Pow Add x0 sec log x3 Add Mul x2 sech x4 -1 Mul x2 sech x4 