Mul Pow exp acoth x7 tan log sin x0 Mul x0 Pow Pow Add x0 Pow Add x4 -1 exp x0 x0 5 
Add Mul Mul x0 Pow Pow Add x0 Pow Add x4 -1 exp x0 x0 5 Mul Pow exp acoth x7 Add tan log sin x0 -1 Mul Mul exp acoth x7 log exp acoth x7 Mul Pow sec log sin x0 2 Mul cos x0 Pow sin x0 -1 Mul Pow exp acoth x7 tan log sin x0 Add Pow Pow Add x0 Pow Add x4 -1 exp x0 x0 5 Mul x0 Mul Pow Pow Add x0 Pow Add x4 -1 exp x0 x0 4 Mul 5 Mul Pow Add x0 Pow Add x4 -1 exp x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow Add x4 -1 Add exp x0 -1 Mul Mul Add x4 -1 log Add x4 -1 exp x0 Mul Add x0 Pow Add x4 -1 exp x0 log Add x0 Pow Add x4 -1 exp x0 