acot atanh sec Add x0 Mul 2 Add x0 tan x1 
Mul -1 Mul Mul Mul Mul tan Add x0 Mul 2 Add x0 tan x1 sec Add x0 Mul 2 Add x0 tan x1 3 Pow Add 1 Mul -1 Mul sec Add x0 Mul 2 Add x0 tan x1 sec Add x0 Mul 2 Add x0 tan x1 -1 Pow Add 1 Mul atanh sec Add x0 Mul 2 Add x0 tan x1 atanh sec Add x0 Mul 2 Add x0 tan x1 -1 