Exception for (- (- (- (- (+ (+ (+ (+ (+ (- (+ (- (- (- (+ (+ (* hDD02 tmp512) (* lambdaU_dD00 tmp513)) (* (* (* (/ 1 2) lambdaU_dD10) tmp14) tmp158)) (* tmp100 (+ (- (+ (* (- f0_of_xx0) hDD_dD110) (* f0_of_xx0 hDD_dDD0101)) (* tmp158 tmp307)) tmp305))) (* tmp100 (- (+ (+ (+ (+ (* f0_of_xx0 hDD_dDD0101) hDD00) hDD11) hDD_dD011) tmp309) tmp373))) (* tmp116 (- (+ (+ (* f0_of_xx0 hDD_dDD0100) (* hDD01 tmp158)) hDD_dD010) (* tmp158 tmp311)))) (* tmp157 tmp479)) (* tmp192 (+ tmp476 tmp510))) (* tmp288 (+ tmp260 tmp269))) (* tmp290 (+ tmp349 tmp352))) (* tmp291 (+ tmp322 tmp346))) (* (* (/ 1 2) tmp3) tmp360)) (* tmp361 tmp513)) (* tmp81 (+ tmp461 tmp549))) (* tmp92 (+ (+ (+ (+ (- (* f0_of_xx0 hDD_dD001) (* f0_of_xx0 hDD_dD111)) (* f0_of_xx0 hDD_dDD0111)) (* f0_of_xx0 tmp298)) (* hDD_dD010 tmp0)) tmp371))) (* tmp98 (+ tmp303 tmp475))) (* tmp98 (- (+ (* (- tmp158) tmp301) tmp471) tmp473)))

Math

\[\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(hDD02 \cdot tmp512 + lambdaU_dD00 \cdot tmp513\right) + \left(\left(\frac{1}{2} \cdot lambdaU_dD10\right) \cdot tmp14\right) \cdot tmp158\right) - tmp100 \cdot \left(\left(\left(\left(-f0_of_xx0\right) \cdot hDD_dD110 + f0_of_xx0 \cdot hDD_dDD0101\right) - tmp158 \cdot tmp307\right) + tmp305\right)\right) - tmp100 \cdot \left(\left(\left(\left(\left(f0_of_xx0 \cdot hDD_dDD0101 + hDD00\right) + hDD11\right) + hDD_dD011\right) + tmp309\right) - tmp373\right)\right) - tmp116 \cdot \left(\left(\left(f0_of_xx0 \cdot hDD_dDD0100 + hDD01 \cdot tmp158\right) + hDD_dD010\right) - tmp158 \cdot tmp311\right)\right) + tmp157 \cdot tmp479\right) - tmp192 \cdot \left(tmp476 + tmp510\right)\right) + tmp288 \cdot \left(tmp260 + tmp269\right)\right) + tmp290 \cdot \left(tmp349 + tmp352\right)\right) + tmp291 \cdot \left(tmp322 + tmp346\right)\right) + \left(\frac{1}{2} \cdot tmp3\right) \cdot tmp360\right) + tmp361 \cdot tmp513\right) - tmp81 \cdot \left(tmp461 + tmp549\right)\right) - tmp92 \cdot \left(\left(\left(\left(\left(f0_of_xx0 \cdot hDD_dD001 - f0_of_xx0 \cdot hDD_dD111\right) + f0_of_xx0 \cdot hDD_dDD0111\right) + f0_of_xx0 \cdot tmp298\right) + hDD_dD010 \cdot tmp0\right) + tmp371\right)\right) - tmp98 \cdot \left(tmp303 + tmp475\right)\right) - tmp98 \cdot \left(\left(\left(-tmp158\right) \cdot tmp301 + tmp471\right) - tmp473\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (hDD02 tmp512 lambdaU_dD00 tmp513 lambdaU_dD10 tmp14 tmp158 tmp100 f0_of_xx0 hDD_dD110 hDD_dDD0101 tmp307 tmp305 hDD00 hDD11 hDD_dD011 tmp309 tmp373 tmp116 hDD_dDD0100 hDD01 hDD_dD010 tmp311 tmp157 tmp479 tmp192 tmp476 tmp510 tmp288 tmp260 tmp269 tmp290 tmp349 tmp352 tmp291 tmp322 tmp346 tmp3 tmp360 tmp361 tmp81 tmp461 tmp549 tmp92 hDD_dD001 hDD_dD111 hDD_dDD0111 tmp298 tmp0 tmp371 tmp98 tmp303 tmp475 tmp301 tmp471 tmp473)
  :name "(- (- (- (- (+ (+ (+ (+ (+ (- (+ (- (- (- (+ (+ (* hDD02 tmp512) (* lambdaU_dD00 tmp513)) (* (* (* (/ 1 2) lambdaU_dD10) tmp14) tmp158)) (* tmp100 (+ (- (+ (* (- f0_of_xx0) hDD_dD110) (* f0_of_xx0 hDD_dDD0101)) (* tmp158 tmp307)) tmp305))) (* tmp100 (- (+ (+ (+ (+ (* f0_of_xx0 hDD_dDD0101) hDD00) hDD11) hDD_dD011) tmp309) tmp373))) (* tmp116 (- (+ (+ (* f0_of_xx0 hDD_dDD0100) (* hDD01 tmp158)) hDD_dD010) (* tmp158 tmp311)))) (* tmp157 tmp479)) (* tmp192 (+ tmp476 tmp510))) (* tmp288 (+ tmp260 tmp269))) (* tmp290 (+ tmp349 tmp352))) (* tmp291 (+ tmp322 tmp346))) (* (* (/ 1 2) tmp3) tmp360)) (* tmp361 tmp513)) (* tmp81 (+ tmp461 tmp549))) (* tmp92 (+ (+ (+ (+ (- (* f0_of_xx0 hDD_dD001) (* f0_of_xx0 hDD_dD111)) (* f0_of_xx0 hDD_dDD0111)) (* f0_of_xx0 tmp298)) (* hDD_dD010 tmp0)) tmp371))) (* tmp98 (+ tmp303 tmp475))) (* tmp98 (- (+ (* (- tmp158) tmp301) tmp471) tmp473)))"
  :precision binary64
  (- (- (- (- (+ (+ (+ (+ (+ (- (+ (- (- (- (+ (+ (* hDD02 tmp512) (* lambdaU_dD00 tmp513)) (* (* (* (/ 1.0 2.0) lambdaU_dD10) tmp14) tmp158)) (* tmp100 (+ (- (+ (* (neg f0_of_xx0) hDD_dD110) (* f0_of_xx0 hDD_dDD0101)) (* tmp158 tmp307)) tmp305))) (* tmp100 (- (+ (+ (+ (+ (* f0_of_xx0 hDD_dDD0101) hDD00) hDD11) hDD_dD011) tmp309) tmp373))) (* tmp116 (- (+ (+ (* f0_of_xx0 hDD_dDD0100) (* hDD01 tmp158)) hDD_dD010) (* tmp158 tmp311)))) (* tmp157 tmp479)) (* tmp192 (+ tmp476 tmp510))) (* tmp288 (+ tmp260 tmp269))) (* tmp290 (+ tmp349 tmp352))) (* tmp291 (+ tmp322 tmp346))) (* (* (/ 1.0 2.0) tmp3) tmp360)) (* tmp361 tmp513)) (* tmp81 (+ tmp461 tmp549))) (* tmp92 (+ (+ (+ (+ (- (* f0_of_xx0 hDD_dD001) (* f0_of_xx0 hDD_dD111)) (* f0_of_xx0 hDD_dDD0111)) (* f0_of_xx0 tmp298)) (* hDD_dD010 tmp0)) tmp371))) (* tmp98 (+ tmp303 tmp475))) (* tmp98 (- (+ (* (neg tmp158) tmp301) tmp471) tmp473))))