cot Mul acsc Add x0 Mul tan tan x1 x0 pi 
Mul Mul -1 Pow csc Mul acsc Add x0 Mul tan tan x1 x0 pi 2 Mul pi Mul -1 Mul Add 1 tan tan x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Mul tan tan x1 x0 Add x0 Mul tan tan x1 x0 -1 Add x0 Mul tan tan x1 x0 Add x0 Mul tan tan x1 x0 -1 