Add Mul 0.125000000000000 Mul Add Add -3 asech cosh tan x0 Add 5 Mul x7 2 x7 acoth x3 
Mul 0.125000000000000 Mul x7 Mul Mul sinh tan x0 Pow sec x0 2 Pow Mul Mul cosh tan x0 cosh tan x0 sqrt Add 1 Mul -1 Pow Mul cosh tan x0 cosh tan x0 -1 -1 