Mul Pow acsch sqrt x0 Add x0 Mul x1 x4 sec Mul Pow x4 tan x1 Add Add 2 x0 E 
Add Mul sec Mul Pow x4 tan x1 Add Add 2 x0 E Mul Pow acsch sqrt x0 Add Add x0 Mul x1 x4 -1 Add Mul Add x0 Mul x1 x4 Mul Mul -1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul acsch sqrt x0 log acsch sqrt x0 Mul Pow acsch sqrt x0 Add x0 Mul x1 x4 Mul Mul tan Mul Pow x4 tan x1 Add Add 2 x0 E sec Mul Pow x4 tan x1 Add Add 2 x0 E Pow x4 tan x1 