tan Mul x0 acoth Add Add x7 3 Add -4 Mul Pow acosh x6 asinh Mul x0 x0 Pow Mul x0 x0 tan x6 
Mul Pow sec Mul x0 acoth Add Add x7 3 Add -4 Mul Pow acosh x6 asinh Mul x0 x0 Pow Mul x0 x0 tan x6 2 Add acoth Add Add x7 3 Add -4 Mul Pow acosh x6 asinh Mul x0 x0 Pow Mul x0 x0 tan x6 Mul x0 Mul Add Mul Pow Mul x0 x0 tan x6 Mul Pow acosh x6 Add asinh Mul x0 x0 -1 Mul Mul acosh x6 log acosh x6 Mul Add x0 x0 Pow sqrt Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Pow acosh x6 asinh Mul x0 x0 Mul Pow Mul x0 x0 Add tan x6 -1 Mul tan x6 Add x0 x0 Pow Add 1 Mul -1 Mul Add Add x7 3 Add -4 Mul Pow acosh x6 asinh Mul x0 x0 Pow Mul x0 x0 tan x6 Add Add x7 3 Add -4 Mul Pow acosh x6 asinh Mul x0 x0 Pow Mul x0 x0 tan x6 -1 