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