Mul atanh Add Pow cosh x1 sec x0 x0 -3 
Mul -3 Mul Add Mul Pow cosh x1 Add sec x0 -1 Mul Mul cosh x1 log cosh x1 Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Add Pow cosh x1 sec x0 x0 Add Pow cosh x1 sec x0 x0 -1 