Pow Mul Mul Add x0 1 acot x0 Pow sech tan x7 acoth Mul -3 x7 asec acosh sin sin x0 
Mul Pow Mul Mul Add x0 1 acot x0 Pow sech tan x7 acoth Mul -3 x7 Add asec acosh sin sin x0 -1 Add Mul asec acosh sin sin x0 Mul Pow sech tan x7 acoth Mul -3 x7 Add acot x0 Mul Add x0 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul Mul Add x0 1 acot x0 Pow sech tan x7 acoth Mul -3 x7 log Mul Mul Add x0 1 acot x0 Pow sech tan x7 acoth Mul -3 x7 Mul Mul Mul cos sin x0 cos x0 Pow Mul sqrt Add sin sin x0 -1 sqrt Add 1 sin sin x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh sin sin x0 acosh sin sin x0 -1 acosh sin sin x0 acosh sin sin x0 -1 