Pow Pow log acot tan x2 tan Add Add atanh x0 Pow Mul 3 x7 x0 x0 Add acoth x1 0.457657554360286 
Mul Pow Pow log acot tan x2 tan Add Add atanh x0 Pow Mul 3 x7 x0 x0 Add Add acoth x1 0.457657554360286 -1 Mul Add acoth x1 0.457657554360286 Mul Pow log acot tan x2 Add tan Add Add atanh x0 Pow Mul 3 x7 x0 x0 -1 Mul Mul log acot tan x2 log log acot tan x2 Mul Pow sec Add Add atanh x0 Pow Mul 3 x7 x0 x0 2 Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul 3 x7 Add x0 -1 Mul Mul 3 x7 log Mul 3 x7 1 