Mul x0 Pow acosh Mul asec Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 2 x6 
Add Pow acosh Mul asec Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 2 x6 Mul x0 Mul Pow acosh Mul asec Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 2 Add x6 -1 Mul x6 Mul Mul 2 Mul Mul Pow Add x0 Pow 4 sec log Add 2 tan x4 Add Pow E -4 -1 Pow E -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 -1 Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 -1 Pow Mul sqrt Add Mul asec Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 2 -1 sqrt Add 1 Mul asec Pow Add x0 Pow 4 sec log Add 2 tan x4 Pow E -4 2 -1 