Add Pow tanh exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 Add x0 4 tan x0 
Add Mul Pow tanh exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 Add Add x0 4 -1 Add Mul Add x0 4 Mul Pow sech exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 2 Mul exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 Mul Pow Add x0 x7 Add x7 -1 x7 Mul tanh exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 log tanh exp Add Pow Add x0 x7 x7 atanh Mul exp x1 -4 Pow sec x0 2 