Pow exp acoth x2 Mul Pow x0 0.0625000000000000 sin x7 
Mul Pow exp acoth x2 Add Mul Pow x0 0.0625000000000000 sin x7 -1 Mul Mul exp acoth x2 log exp acoth x2 Mul sin x7 Mul Pow x0 -0.937500000000000 0.0625000000000000 