Add tanh tan x0 acosh Mul Mul x0 x3 Pow Pow Add 3 x0 asec x1 x0 
Add Mul Pow sech tan x0 2 Pow sec x0 2 Mul Add Mul Pow Pow Add 3 x0 asec x1 x0 x3 Mul Mul x0 x3 Mul Pow Pow Add 3 x0 asec x1 Add x0 -1 Add Mul x0 Mul Pow Add 3 x0 Add asec x1 -1 asec x1 Mul Pow Add 3 x0 asec x1 log Pow Add 3 x0 asec x1 Pow Mul sqrt Add Mul Mul x0 x3 Pow Pow Add 3 x0 asec x1 x0 -1 sqrt Add 1 Mul Mul x0 x3 Pow Pow Add 3 x0 asec x1 x0 -1 