Add sec x0 Mul asech Add x1 Pow sqrt Mul acsch x0 x3 -4 -3 
Add Mul tan x0 sec x0 Mul -3 Mul Mul Pow sqrt Mul acsch x0 x3 5 Mul -4 Mul Pow Mul 2 sqrt Mul acsch x0 x3 -1 Mul x3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul Add x1 Pow sqrt Mul acsch x0 x3 -4 Add x1 Pow sqrt Mul acsch x0 x3 -4 sqrt Add 1 Mul -1 Pow Mul Add x1 Pow sqrt Mul acsch x0 x3 -4 Add x1 Pow sqrt Mul acsch x0 x3 -4 -1 -1 