Pow Mul Pow x2 acot Mul x0 x0 acosh tan x0 -5 
Mul Pow Mul Pow x2 acot Mul x0 x0 acosh tan x0 6 Mul -5 Add Mul acosh tan x0 Mul Pow x2 Add acot Mul x0 x0 -1 Mul Mul x2 log x2 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Pow x2 acot Mul x0 x0 Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 