Add acoth Pow Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 x0 pi 
Mul Mul Pow Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow sec asech Mul x0 2 2 Mul 2 Pow Mul Mul Mul x0 2 Mul x0 2 sqrt Add 1 Mul -1 Pow Mul Mul x0 2 Mul x0 2 -1 -1 Add x0 Add Pow x1 tan x7 x0 Mul Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 log Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 Pow Add 1 Mul -1 Mul Pow Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 x0 Pow Add tan asech Mul x0 2 Mul Add Pow x1 tan x7 x0 x0 x0 -1 