Add Pow asech cosh x7 Add Mul x0 4 Add Add x0 Pow Add tan x4 x1 -4 Pow x0 sqrt x0 -4 
Mul Pow asech cosh x7 Add Add Mul x0 4 Add Add x0 Pow Add tan x4 x1 -4 Pow x0 sqrt x0 -1 Mul Mul asech cosh x7 log asech cosh x7 Add 4 Add 1 Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 