Mul acos Pow -3 x1 Pow Mul sinh tan x0 acosh x3 Mul x0 2 
Mul acos Pow -3 x1 Mul Pow Mul sinh tan x0 acosh x3 Add Mul x0 2 -1 Add Mul Mul x0 2 Mul acosh x3 Mul cosh tan x0 Pow sec x0 2 Mul Mul Mul sinh tan x0 acosh x3 log Mul sinh tan x0 acosh x3 2 