Pow coth x3 Add x0 Pow Add Add x0 Add sec x0 x0 acoth sin Pow 2 E 7 
Mul Pow coth x3 Add Add x0 Pow Add Add x0 Add sec x0 x0 acoth sin Pow 2 E 7 -1 Mul Mul coth x3 log coth x3 Add 1 Mul Pow Add Add x0 Add sec x0 x0 acoth sin Pow 2 E 6 Mul 7 Add 1 Add Mul tan x0 sec x0 1 