Mul Pow Add 3 x0 tan Add x0 acsch acot tan x0 5 
Mul 5 Mul Pow Add 3 x0 Add tan Add x0 acsch acot tan x0 -1 Add tan Add x0 acsch acot tan x0 Mul Mul Add 3 x0 log Add 3 x0 Mul Pow sec Add x0 acsch acot tan x0 2 Add 1 Mul Mul -1 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Pow Mul Mul acot tan x0 acot tan x0 sqrt Add 1 Mul -1 Pow Mul acot tan x0 acot tan x0 -1 -1 