Add cosh Mul cosh asech x0 sinh Pow Add cosh x0 x0 Mul acosh x0 Pow x0 tan x1 6 
Mul sinh Mul cosh asech x0 sinh Pow Add cosh x0 x0 Mul acosh x0 Pow x0 tan x1 Add Mul sinh Pow Add cosh x0 x0 Mul acosh x0 Pow x0 tan x1 Mul sinh asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul cosh asech x0 Mul cosh Pow Add cosh x0 x0 Mul acosh x0 Pow x0 tan x1 Mul Pow Add cosh x0 x0 Add Mul acosh x0 Pow x0 tan x1 -1 Add Mul Mul acosh x0 Pow x0 tan x1 Add sinh x0 1 Mul Mul Add cosh x0 x0 log Add cosh x0 x0 Add Mul Pow x0 tan x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow x0 Add tan x1 -1 tan x1 