Add Mul x0 Pow log E Pow x0 Pow x3 asech x6 tan x3 
Add Pow log E Pow x0 Pow x3 asech x6 Mul x0 Mul Pow log E Add Pow x0 Pow x3 asech x6 -1 Mul Mul log E log log E Mul Pow x0 Add Pow x3 asech x6 -1 Pow x3 asech x6 