Add Pow Add x0 Mul x0 sech x3 Mul x1 exp x0 x0 
Add Mul Pow Add x0 Mul x0 sech x3 Add Mul x1 exp x0 -1 Add Mul Mul x1 exp x0 Add 1 sech x3 Mul Mul Add x0 Mul x0 sech x3 log Add x0 Mul x0 sech x3 Mul x1 exp x0 1 