Pow atan x0 Add Mul acosh Mul sec tan x2 E x0 Mul -1 Pow Add x6 cos acoth x0 Mul Add x0 x0 x0 
Mul Pow atan x0 Add Add Mul acosh Mul sec tan x2 E x0 Mul -1 Pow Add x6 cos acoth x0 Mul Add x0 x0 x0 -1 Add Mul Add Mul acosh Mul sec tan x2 E x0 Mul -1 Pow Add x6 cos acoth x0 Mul Add x0 x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Add acosh Mul sec tan x2 E Mul -1 Mul Pow Add x6 cos acoth x0 Add Mul Add x0 x0 x0 -1 Add Mul Mul Add x0 x0 x0 Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add x6 cos acoth x0 log Add x6 cos acoth x0 Add Mul x0 2 Add x0 x0 