Add Pow acoth Pow exp tan x0 Pow Mul Mul 2 Add x0 x0 x2 x1 x2 Add x2 x0 
Add Mul Pow acoth Pow exp tan x0 Pow Mul Mul 2 Add x0 x0 x2 x1 Add x2 -1 Mul x2 Mul Mul Pow exp tan x0 Add Pow Mul Mul 2 Add x0 x0 x2 x1 -1 Add Mul Pow Mul Mul 2 Add x0 x0 x2 x1 Mul exp tan x0 Pow sec x0 2 Mul Mul exp tan x0 log exp tan x0 Mul Pow Mul Mul 2 Add x0 x0 x2 Add x1 -1 Mul x1 Mul x2 4 Pow Add 1 Mul -1 Mul Pow exp tan x0 Pow Mul Mul 2 Add x0 x0 x2 x1 Pow exp tan x0 Pow Mul Mul 2 Add x0 x0 x2 x1 -1 1 