asinh asec Pow sec x0 acoth tan x1 
Mul Mul Mul Pow sec x0 Add acoth tan x1 -1 Mul acoth tan x1 Mul tan x0 sec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow sec x0 acoth tan x1 Pow sec x0 acoth tan x1 -1 Pow sec x0 acoth tan x1 Pow sec x0 acoth tan x1 -1 Pow sqrt Add 1 Mul asec Pow sec x0 acoth tan x1 asec Pow sec x0 acoth tan x1 -1 