log atan Mul Add acosh sqrt cot tan x0 x5 Add 5 x0 
Mul Mul Add Mul Add 5 x0 Mul Mul Pow Mul 2 sqrt cot tan x0 -1 Mul Mul -1 Pow csc tan x0 2 Pow sec x0 2 Pow Mul sqrt Add sqrt cot tan x0 -1 sqrt Add 1 sqrt cot tan x0 -1 Add acosh sqrt cot tan x0 x5 Pow Add 1 Mul Mul Add acosh sqrt cot tan x0 x5 Add 5 x0 Mul Add acosh sqrt cot tan x0 x5 Add 5 x0 -1 Pow atan Mul Add acosh sqrt cot tan x0 x5 Add 5 x0 -1 