Pow sec Mul x0 Mul -4 sinh x0 asinh sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 
Mul Pow sec Mul x0 Mul -4 sinh x0 Add asinh sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 -1 Add Mul asinh sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 Mul Mul tan Mul x0 Mul -4 sinh x0 sec Mul x0 Mul -4 sinh x0 Add Mul -4 sinh x0 Mul x0 Mul -4 cosh x0 Mul Mul sec Mul x0 Mul -4 sinh x0 log sec Mul x0 Mul -4 sinh x0 Mul Mul Pow Mul 2 sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 -1 Add Mul tan x0 sec x0 Add Pow x1 Pow x0 tan x0 Mul x0 Mul Pow x1 Add Pow x0 tan x0 -1 Mul Mul x1 log x1 Mul Pow x0 Add tan x0 -1 Add tan x0 Mul Mul x0 log x0 Pow sec x0 2 Pow sqrt Add 1 Mul sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 sqrt Add sec x0 Add x3 Add x3 Mul x0 Pow x1 Pow x0 tan x0 -1 