Pow Mul x5 Pow cos x0 cot x4 acoth Add x0 3 
Mul Pow Mul x5 Pow cos x0 cot x4 Add acoth Add x0 3 -1 Add Mul acoth Add x0 3 Mul x5 Mul Pow cos x0 Add cot x4 -1 Mul cot x4 Mul -1 sin x0 Mul Mul Mul x5 Pow cos x0 cot x4 log Mul x5 Pow cos x0 cot x4 Pow Add 1 Mul -1 Mul Add x0 3 Add x0 3 -1 