acot Mul Mul atanh tan x0 x0 asech Pow Pow Mul acosh x0 -4 x0 Mul E 4 
Mul -1 Mul Add Mul asech Pow Pow Mul acosh x0 -4 x0 Mul E 4 Add Mul x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 atanh tan x0 Mul Mul atanh tan x0 x0 Mul Mul Pow Pow Mul acosh x0 -4 x0 Add Mul E 4 -1 Mul Mul E 4 Mul Pow Mul acosh x0 -4 Add x0 -1 Add Mul x0 Mul -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 -4 log Mul acosh x0 -4 Pow Mul Mul Pow Pow Mul acosh x0 -4 x0 Mul E 4 Pow Pow Mul acosh x0 -4 x0 Mul E 4 sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul acosh x0 -4 x0 Mul E 4 Pow Pow Mul acosh x0 -4 x0 Mul E 4 -1 -1 Pow Add 1 Mul Mul Mul atanh tan x0 x0 asech Pow Pow Mul acosh x0 -4 x0 Mul E 4 Mul Mul atanh tan x0 x0 asech Pow Pow Mul acosh x0 -4 x0 Mul E 4 -1 