Pow Mul E x0 asinh Mul acot Mul tan x1 Add -2 x0 Mul x2 2 
Mul Pow Mul E x0 Add asinh Mul acot Mul tan x1 Add -2 x0 Mul x2 2 -1 Add Mul asinh Mul acot Mul tan x1 Add -2 x0 Mul x2 2 E Mul Mul Mul E x0 log Mul E x0 Mul Mul Mul x2 2 Mul -1 Mul tan x1 Pow Add 1 Mul Mul tan x1 Add -2 x0 Mul tan x1 Add -2 x0 -1 Pow sqrt Add 1 Mul Mul acot Mul tan x1 Add -2 x0 Mul x2 2 Mul acot Mul tan x1 Add -2 x0 Mul x2 2 -1 