atan Pow Add x3 Add x7 x4 Mul sech x4 exp x0 
Mul Mul Pow Add x3 Add x7 x4 Add Mul sech x4 exp x0 -1 Mul Mul Add x3 Add x7 x4 log Add x3 Add x7 x4 Mul sech x4 exp x0 Pow Add 1 Mul Pow Add x3 Add x7 x4 Mul sech x4 exp x0 Pow Add x3 Add x7 x4 Mul sech x4 exp x0 -1 