Mul x0 Pow sech x4 tan exp Pow x0 x5 
Add Pow sech x4 tan exp Pow x0 x5 Mul x0 Mul Pow sech x4 Add tan exp Pow x0 x5 -1 Mul Mul sech x4 log sech x4 Mul Pow sec exp Pow x0 x5 2 Mul exp Pow x0 x5 Mul Pow x0 Add x5 -1 x5 