Mul x4 Pow Add x0 sec Add -3 asech sqrt sinh asech x4 Mul tan x7 x0 
Mul x4 Mul Pow Add x0 sec Add -3 asech sqrt sinh asech x4 Add Mul tan x7 x0 -1 Add Mul tan x7 x0 Mul Mul Add x0 sec Add -3 asech sqrt sinh asech x4 log Add x0 sec Add -3 asech sqrt sinh asech x4 tan x7 