acot Mul Pow Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi x0 x0 
Mul -1 Mul Add Mul x0 Mul Pow Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi Add x0 -1 Add Mul x0 Mul pi Mul cos Pow Add x0 acosh x0 acos Mul log x2 tan x2 Mul Pow Add x0 acosh x0 Add acos Mul log x2 tan x2 -1 Mul acos Mul log x2 tan x2 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi log Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi Pow Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi x0 Pow Add 1 Mul Mul Pow Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi x0 x0 Mul Pow Mul sin Pow Add x0 acosh x0 acos Mul log x2 tan x2 pi x0 x0 -1 