Add Pow tan Mul Add Pow x1 -3 x0 5 acoth x0 tan Mul x0 csc E 
Add Mul Pow tan Mul Add Pow x1 -3 x0 5 Add acoth x0 -1 Add Mul acoth x0 Mul Pow sec Mul Add Pow x1 -3 x0 5 2 5 Mul Mul tan Mul Add Pow x1 -3 x0 5 log tan Mul Add Pow x1 -3 x0 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sec Mul x0 csc E 2 csc E 