Pow Mul x0 x0 Pow sech x6 Add Mul tan Mul Pow Add E sqrt x0 x0 4 Pow x0 x7 x0 
Mul Pow Mul x0 x0 Add Pow sech x6 Add Mul tan Mul Pow Add E sqrt x0 x0 4 Pow x0 x7 x0 -1 Add Mul Pow sech x6 Add Mul tan Mul Pow Add E sqrt x0 x0 4 Pow x0 x7 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow sech x6 Add Add Mul tan Mul Pow Add E sqrt x0 x0 4 Pow x0 x7 x0 -1 Mul Mul sech x6 log sech x6 Add Add Mul Pow x0 x7 Mul Pow sec Mul Pow Add E sqrt x0 x0 4 2 Mul 4 Mul Pow Add E sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul Add E sqrt x0 log Add E sqrt x0 Mul tan Mul Pow Add E sqrt x0 x0 4 Mul Pow x0 Add x7 -1 x7 1 