acosh Mul Add log acosh sin x5 x0 sin Mul tan x0 -2 
Mul Add sin Mul tan x0 -2 Mul Add log acosh sin x5 x0 Mul cos Mul tan x0 -2 Mul -2 Pow sec x0 2 Pow Mul sqrt Add Mul Add log acosh sin x5 x0 sin Mul tan x0 -2 -1 sqrt Add 1 Mul Add log acosh sin x5 x0 sin Mul tan x0 -2 -1 