Add acot x5 Mul sin Pow Pow Mul Mul acoth x7 x0 sin x2 4 x0 x2 
Mul x2 Mul cos Pow Pow Mul Mul acoth x7 x0 sin x2 4 x0 Mul Pow Pow Mul Mul acoth x7 x0 sin x2 4 Add x0 -1 Add Mul x0 Mul Pow Mul Mul acoth x7 x0 sin x2 3 Mul 4 Mul sin x2 acoth x7 Mul Pow Mul Mul acoth x7 x0 sin x2 4 log Pow Mul Mul acoth x7 x0 sin x2 4 