Mul Pow x0 Add acosh acos tan x0 x6 Pow acosh Mul Mul x6 4 Mul Add -2 x0 x4 Pow x0 -2 
Add Mul Pow acosh Mul Mul x6 4 Mul Add -2 x0 x4 Pow x0 -2 Mul Pow x0 Add Add acosh acos tan x0 x6 -1 Add Add acosh acos tan x0 x6 Mul Mul x0 log x0 Mul Mul -1 Mul Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul tan x0 tan x0 -1 Pow Mul sqrt Add acos tan x0 -1 sqrt Add 1 acos tan x0 -1 Mul Pow x0 Add acosh acos tan x0 x6 Mul Pow acosh Mul Mul x6 4 Mul Add -2 x0 x4 Add Pow x0 -2 -1 Add Mul Pow x0 -2 Mul Mul Mul x6 4 x4 Pow Mul sqrt Add Mul Mul x6 4 Mul Add -2 x0 x4 -1 sqrt Add 1 Mul Mul x6 4 Mul Add -2 x0 x4 -1 Mul Mul acosh Mul Mul x6 4 Mul Add -2 x0 x4 log acosh Mul Mul x6 4 Mul Add -2 x0 x4 Mul Pow x0 3 -2 