Pow x0 Mul -4 sinh Mul Pow Pow tan x0 Add atan x6 Mul x0 x0 Add x6 x0 asin x3 
Mul Pow x0 Add Mul -4 sinh Mul Pow Pow tan x0 Add atan x6 Mul x0 x0 Add x6 x0 asin x3 -1 Add Mul -4 sinh Mul Pow Pow tan x0 Add atan x6 Mul x0 x0 Add x6 x0 asin x3 Mul Mul x0 log x0 Mul -4 Mul cosh Mul Pow Pow tan x0 Add atan x6 Mul x0 x0 Add x6 x0 asin x3 Mul asin x3 Mul Pow Pow tan x0 Add atan x6 Mul x0 x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul Pow tan x0 Add Add atan x6 Mul x0 x0 -1 Add Mul Add atan x6 Mul x0 x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Add x0 x0 Mul Pow tan x0 Add atan x6 Mul x0 x0 log Pow tan x0 Add atan x6 Mul x0 x0 