Add x0 tan atanh Add Pow E sech x0 atanh x1 
Add 1 Mul Pow sec atanh Add Pow E sech x0 atanh x1 2 Mul Mul Pow E Add sech x0 -1 Mul Mul E log E Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Add Pow E sech x0 atanh x1 Add Pow E sech x0 atanh x1 -1 