Mul x0 Pow Mul Add sec sin x0 x0 acoth x4 x0 
Add Pow Mul Add sec sin x0 x0 acoth x4 x0 Mul x0 Mul Pow Mul Add sec sin x0 x0 acoth x4 Add x0 -1 Add Mul x0 Mul acoth x4 Add Mul Mul tan sin x0 sec sin x0 cos x0 1 Mul Mul Add sec sin x0 x0 acoth x4 log Mul Add sec sin x0 x0 acoth x4 