Add Pow sqrt coth E x0 Pow Add Mul x0 3 -4 Add Add Mul Add sec x0 x0 -3 x0 -2 
Add Mul Pow sqrt coth E Add x0 -1 Mul sqrt coth E log sqrt coth E Mul Pow Add Mul x0 3 -4 Add Add Add Mul Add sec x0 x0 -3 x0 -2 -1 Add Mul Add Add Mul Add sec x0 x0 -3 x0 -2 3 Mul Mul Add Mul x0 3 -4 log Add Mul x0 3 -4 Add Mul -3 Add Mul tan x0 sec x0 1 1 