27.424 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ x y) y) x) z) x) 0.018 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.019 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.023 * * [simplify]: iteration 2 : 57 enodes (cost 9 ) 0.035 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 0.080 * * [simplify]: iteration 4 : 212 enodes (cost 8 ) 0.135 * * [simplify]: iteration 5 : 240 enodes (cost 7 ) 0.197 * * [simplify]: iteration 6 : 246 enodes (cost 7 ) 0.258 * * [simplify]: iteration done : 246 enodes (cost 7 ) 0.258 * [simplify]: Simplified to: (fma y 2 (fma 3 x z)) 0.261 * * [progress]: iteration 1 / 4 0.261 * * * [progress]: picking best candidate 0.264 * * * * [pick]: Picked # 0.264 * * * [progress]: localizing error 0.273 * * * [progress]: generating rewritten candidates 0.273 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.274 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.274 * * * [progress]: generating series expansions 0.274 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.275 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 0.275 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.275 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.275 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.275 * [taylor]: Taking taylor expansion of 3 in z 0.275 * [taylor]: Taking taylor expansion of x in z 0.275 * [taylor]: Taking taylor expansion of z in z 0.275 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.275 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.275 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.275 * [taylor]: Taking taylor expansion of 3 in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of z in x 0.275 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.275 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.275 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.275 * [taylor]: Taking taylor expansion of 3 in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of z in x 0.276 * [taylor]: Taking taylor expansion of z in z 0.277 * [taylor]: Taking taylor expansion of 3 in z 0.277 * [taylor]: Taking taylor expansion of 0 in z 0.278 * [taylor]: Taking taylor expansion of 0 in z 0.278 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 0.278 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.279 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.279 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.279 * [taylor]: Taking taylor expansion of 3 in z 0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.279 * [taylor]: Taking taylor expansion of x in z 0.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.279 * [taylor]: Taking taylor expansion of z in z 0.279 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.279 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.279 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.279 * [taylor]: Taking taylor expansion of 3 in x 0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.280 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.280 * [taylor]: Taking taylor expansion of z in x 0.280 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.280 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.280 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.280 * [taylor]: Taking taylor expansion of 3 in x 0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.280 * [taylor]: Taking taylor expansion of x in x 0.280 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.280 * [taylor]: Taking taylor expansion of z in x 0.281 * [taylor]: Taking taylor expansion of 3 in z 0.282 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.282 * [taylor]: Taking taylor expansion of z in z 0.283 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [taylor]: Taking taylor expansion of 0 in z 0.287 * [taylor]: Taking taylor expansion of 0 in z 0.287 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 0.287 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.287 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.287 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.287 * [taylor]: Taking taylor expansion of 3 in z 0.287 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.287 * [taylor]: Taking taylor expansion of -1 in z 0.287 * [taylor]: Taking taylor expansion of x in z 0.287 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.287 * [taylor]: Taking taylor expansion of -1 in z 0.287 * [taylor]: Taking taylor expansion of z in z 0.288 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.288 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.288 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.288 * [taylor]: Taking taylor expansion of 3 in x 0.288 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.288 * [taylor]: Taking taylor expansion of -1 in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.288 * [taylor]: Taking taylor expansion of -1 in x 0.288 * [taylor]: Taking taylor expansion of z in x 0.288 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.288 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.288 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.288 * [taylor]: Taking taylor expansion of 3 in x 0.288 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.288 * [taylor]: Taking taylor expansion of -1 in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of z in x 0.289 * [taylor]: Taking taylor expansion of -3 in z 0.290 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.290 * [taylor]: Taking taylor expansion of z in z 0.292 * [taylor]: Taking taylor expansion of 0 in z 0.294 * [taylor]: Taking taylor expansion of 0 in z 0.296 * [taylor]: Taking taylor expansion of 0 in z 0.297 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.297 * [approximate]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in (y x z) around 0 0.297 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in z 0.297 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.297 * [taylor]: Taking taylor expansion of (* y 2) in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of 2 in z 0.297 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.297 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.297 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.297 * [taylor]: Taking taylor expansion of 3 in z 0.297 * [taylor]: Taking taylor expansion of x in z 0.297 * [taylor]: Taking taylor expansion of z in z 0.297 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in x 0.297 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.297 * [taylor]: Taking taylor expansion of (* y 2) in x 0.297 * [taylor]: Taking taylor expansion of y in x 0.297 * [taylor]: Taking taylor expansion of 2 in x 0.297 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.297 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.297 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.297 * [taylor]: Taking taylor expansion of 3 in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of z in x 0.297 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in y 0.298 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.298 * [taylor]: Taking taylor expansion of (* y 2) in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of 2 in y 0.298 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.298 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.298 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.298 * [taylor]: Taking taylor expansion of 3 in y 0.298 * [taylor]: Taking taylor expansion of x in y 0.298 * [taylor]: Taking taylor expansion of z in y 0.298 * [taylor]: Taking taylor expansion of (fma y 2 (fma 3 x z)) in y 0.298 * [taylor]: Rewrote expression to (+ (* y 2) (fma 3 x z)) 0.298 * [taylor]: Taking taylor expansion of (* y 2) in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of 2 in y 0.298 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.298 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.298 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.298 * [taylor]: Taking taylor expansion of 3 in y 0.298 * [taylor]: Taking taylor expansion of x in y 0.298 * [taylor]: Taking taylor expansion of z in y 0.299 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 0.299 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.299 * [taylor]: Taking taylor expansion of 3 in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of z in x 0.299 * [taylor]: Taking taylor expansion of z in z 0.300 * [taylor]: Taking taylor expansion of 2 in x 0.300 * [taylor]: Taking taylor expansion of 2 in z 0.301 * [taylor]: Taking taylor expansion of 3 in z 0.301 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in (y x z) around 0 0.301 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in z 0.301 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.301 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.301 * [taylor]: Taking taylor expansion of y in z 0.302 * [taylor]: Taking taylor expansion of 2 in z 0.302 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.302 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.302 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.302 * [taylor]: Taking taylor expansion of 3 in z 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.302 * [taylor]: Taking taylor expansion of x in z 0.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.302 * [taylor]: Taking taylor expansion of z in z 0.302 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in x 0.302 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.302 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.302 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of 2 in x 0.302 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.302 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.302 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.302 * [taylor]: Taking taylor expansion of 3 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.303 * [taylor]: Taking taylor expansion of z in x 0.303 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in y 0.303 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.303 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of 2 in y 0.303 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.303 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.303 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.303 * [taylor]: Taking taylor expansion of 3 in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.303 * [taylor]: Taking taylor expansion of x in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.303 * [taylor]: Taking taylor expansion of z in y 0.303 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma 3 (/ 1 x) (/ 1 z))) in y 0.303 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma 3 (/ 1 x) (/ 1 z))) 0.304 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of 2 in y 0.304 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.304 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.304 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.304 * [taylor]: Taking taylor expansion of 3 in y 0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.304 * [taylor]: Taking taylor expansion of x in y 0.304 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.304 * [taylor]: Taking taylor expansion of z in y 0.305 * [taylor]: Taking taylor expansion of 2 in x 0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.306 * [taylor]: Taking taylor expansion of z in x 0.306 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.306 * [taylor]: Taking taylor expansion of 3 in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of 3 in z 0.307 * [taylor]: Taking taylor expansion of 2 in z 0.308 * [taylor]: Taking taylor expansion of 0 in x 0.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.309 * [taylor]: Taking taylor expansion of z in z 0.309 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [approximate]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in (y x z) around 0 0.310 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in z 0.310 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.310 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 0.310 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.310 * [taylor]: Taking taylor expansion of -1 in z 0.310 * [taylor]: Taking taylor expansion of y in z 0.310 * [taylor]: Taking taylor expansion of 2 in z 0.310 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.310 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.310 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.310 * [taylor]: Taking taylor expansion of 3 in z 0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.311 * [taylor]: Taking taylor expansion of -1 in z 0.311 * [taylor]: Taking taylor expansion of x in z 0.311 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.311 * [taylor]: Taking taylor expansion of -1 in z 0.311 * [taylor]: Taking taylor expansion of z in z 0.311 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in x 0.311 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.311 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of 2 in x 0.311 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.311 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.311 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.311 * [taylor]: Taking taylor expansion of 3 in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.312 * [taylor]: Taking taylor expansion of -1 in x 0.312 * [taylor]: Taking taylor expansion of z in x 0.312 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in y 0.312 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.312 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.312 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.312 * [taylor]: Taking taylor expansion of -1 in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of 2 in y 0.312 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.312 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.312 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.312 * [taylor]: Taking taylor expansion of 3 in y 0.312 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.312 * [taylor]: Taking taylor expansion of -1 in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.312 * [taylor]: Taking taylor expansion of -1 in y 0.312 * [taylor]: Taking taylor expansion of z in y 0.312 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma 3 (/ -1 x) (/ -1 z))) in y 0.313 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma 3 (/ -1 x) (/ -1 z))) 0.313 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of 2 in y 0.313 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.313 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.313 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.313 * [taylor]: Taking taylor expansion of 3 in y 0.313 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.313 * [taylor]: Taking taylor expansion of z in y 0.314 * [taylor]: Taking taylor expansion of -2 in x 0.315 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 0.315 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.315 * [taylor]: Taking taylor expansion of z in x 0.315 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.315 * [taylor]: Taking taylor expansion of 3 in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.315 * [taylor]: Taking taylor expansion of x in x 0.316 * [taylor]: Taking taylor expansion of -3 in z 0.316 * [taylor]: Taking taylor expansion of -2 in z 0.318 * [taylor]: Taking taylor expansion of 0 in x 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.319 * [taylor]: Taking taylor expansion of z in z 0.319 * [taylor]: Taking taylor expansion of 0 in z 0.320 * * * [progress]: simplifying candidates 0.320 * [simplify]: Simplifying using # : (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* 3 x) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (expm1 (fma y 2 (fma 3 x z))) (log1p (fma y 2 (fma 3 x z))) (* y 2) (log (fma y 2 (fma 3 x z))) (exp (fma y 2 (fma 3 x z))) (* (cbrt (fma y 2 (fma 3 x z))) (cbrt (fma y 2 (fma 3 x z)))) (cbrt (fma y 2 (fma 3 x z))) (* (* (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z))) (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 0.322 * * [simplify]: iteration 0 : 31 enodes (cost 204 ) 0.325 * * [simplify]: iteration 1 : 40 enodes (cost 198 ) 0.330 * * [simplify]: iteration 2 : 87 enodes (cost 173 ) 0.350 * * [simplify]: iteration 3 : 290 enodes (cost 173 ) 0.460 * * [simplify]: iteration 4 : 1222 enodes (cost 173 ) 1.165 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 1.165 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* 3 x) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (pow (fma 3 x z) 3) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (expm1 (fma y 2 (fma 3 x z))) (log1p (fma y 2 (fma 3 x z))) (+ y y) (log (fma y 2 (fma 3 x z))) (exp (fma y 2 (fma 3 x z))) (* (cbrt (fma y 2 (fma 3 x z))) (cbrt (fma y 2 (fma 3 x z)))) (cbrt (fma y 2 (fma 3 x z))) (pow (fma y 2 (fma 3 x z)) 3) (sqrt (fma y 2 (fma 3 x z))) (sqrt (fma y 2 (fma 3 x z))) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z)) 1.165 * * * [progress]: adding candidates to table 1.229 * * [progress]: iteration 2 / 4 1.229 * * * [progress]: picking best candidate 1.233 * * * * [pick]: Picked # 1.233 * * * [progress]: localizing error 1.242 * * * [progress]: generating rewritten candidates 1.242 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.312 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.495 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 2.515 * * * [progress]: generating series expansions 2.515 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 2.515 * [approximate]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in (x y) around 0 2.515 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in y 2.515 * [taylor]: Taking taylor expansion of (* 2 x) in y 2.515 * [taylor]: Taking taylor expansion of 2 in y 2.515 * [taylor]: Taking taylor expansion of x in y 2.515 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.515 * [taylor]: Taking taylor expansion of 2 in y 2.515 * [taylor]: Taking taylor expansion of y in y 2.515 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 2.515 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.515 * [taylor]: Taking taylor expansion of 2 in x 2.515 * [taylor]: Taking taylor expansion of x in x 2.515 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.515 * [taylor]: Taking taylor expansion of 2 in x 2.515 * [taylor]: Taking taylor expansion of y in x 2.515 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 2.515 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.515 * [taylor]: Taking taylor expansion of 2 in x 2.515 * [taylor]: Taking taylor expansion of x in x 2.515 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.515 * [taylor]: Taking taylor expansion of 2 in x 2.515 * [taylor]: Taking taylor expansion of y in x 2.516 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.516 * [taylor]: Taking taylor expansion of 2 in y 2.516 * [taylor]: Taking taylor expansion of y in y 2.517 * [taylor]: Taking taylor expansion of 2 in y 2.519 * [taylor]: Taking taylor expansion of 0 in y 2.521 * [taylor]: Taking taylor expansion of 0 in y 2.521 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in (x y) around 0 2.521 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 2.521 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.521 * [taylor]: Taking taylor expansion of 2 in y 2.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.521 * [taylor]: Taking taylor expansion of y in y 2.521 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 2.521 * [taylor]: Taking taylor expansion of 2 in y 2.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.522 * [taylor]: Taking taylor expansion of x in y 2.522 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 2.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.522 * [taylor]: Taking taylor expansion of 2 in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.522 * [taylor]: Taking taylor expansion of y in x 2.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.522 * [taylor]: Taking taylor expansion of 2 in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.522 * [taylor]: Taking taylor expansion of x in x 2.522 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 2.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.522 * [taylor]: Taking taylor expansion of 2 in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.522 * [taylor]: Taking taylor expansion of y in x 2.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.522 * [taylor]: Taking taylor expansion of 2 in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.522 * [taylor]: Taking taylor expansion of x in x 2.523 * [taylor]: Taking taylor expansion of 2 in y 2.524 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.524 * [taylor]: Taking taylor expansion of 2 in y 2.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.524 * [taylor]: Taking taylor expansion of y in y 2.526 * [taylor]: Taking taylor expansion of 0 in y 2.528 * [taylor]: Taking taylor expansion of 0 in y 2.532 * [taylor]: Taking taylor expansion of 0 in y 2.532 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in (x y) around 0 2.532 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in y 2.532 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 2.532 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.532 * [taylor]: Taking taylor expansion of 2 in y 2.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.532 * [taylor]: Taking taylor expansion of y in y 2.532 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 2.532 * [taylor]: Taking taylor expansion of 2 in y 2.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.532 * [taylor]: Taking taylor expansion of x in y 2.532 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 2.533 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 2.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.533 * [taylor]: Taking taylor expansion of 2 in x 2.533 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.533 * [taylor]: Taking taylor expansion of y in x 2.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.533 * [taylor]: Taking taylor expansion of 2 in x 2.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.533 * [taylor]: Taking taylor expansion of x in x 2.533 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 2.533 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 2.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.533 * [taylor]: Taking taylor expansion of 2 in x 2.533 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.533 * [taylor]: Taking taylor expansion of y in x 2.533 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.533 * [taylor]: Taking taylor expansion of 2 in x 2.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.533 * [taylor]: Taking taylor expansion of x in x 2.534 * [taylor]: Taking taylor expansion of -2 in y 2.535 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 2.535 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.535 * [taylor]: Taking taylor expansion of 2 in y 2.535 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.535 * [taylor]: Taking taylor expansion of y in y 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.541 * [taylor]: Taking taylor expansion of 0 in y 2.544 * [taylor]: Taking taylor expansion of 0 in y 2.544 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.545 * [approximate]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in (x y z) around 0 2.545 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in z 2.545 * [taylor]: Taking taylor expansion of (* 3 x) in z 2.545 * [taylor]: Taking taylor expansion of 3 in z 2.545 * [taylor]: Taking taylor expansion of x in z 2.545 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in z 2.545 * [taylor]: Taking taylor expansion of z in z 2.545 * [taylor]: Taking taylor expansion of (* 2 y) in z 2.545 * [taylor]: Taking taylor expansion of 2 in z 2.545 * [taylor]: Taking taylor expansion of y in z 2.545 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in y 2.545 * [taylor]: Taking taylor expansion of (* 3 x) in y 2.545 * [taylor]: Taking taylor expansion of 3 in y 2.545 * [taylor]: Taking taylor expansion of x in y 2.545 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 2.545 * [taylor]: Taking taylor expansion of z in y 2.545 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.545 * [taylor]: Taking taylor expansion of 2 in y 2.545 * [taylor]: Taking taylor expansion of y in y 2.545 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 2.545 * [taylor]: Taking taylor expansion of (* 3 x) in x 2.545 * [taylor]: Taking taylor expansion of 3 in x 2.545 * [taylor]: Taking taylor expansion of x in x 2.545 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 2.545 * [taylor]: Taking taylor expansion of z in x 2.545 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.545 * [taylor]: Taking taylor expansion of 2 in x 2.545 * [taylor]: Taking taylor expansion of y in x 2.545 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 2.545 * [taylor]: Taking taylor expansion of (* 3 x) in x 2.545 * [taylor]: Taking taylor expansion of 3 in x 2.545 * [taylor]: Taking taylor expansion of x in x 2.545 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 2.545 * [taylor]: Taking taylor expansion of z in x 2.545 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.545 * [taylor]: Taking taylor expansion of 2 in x 2.545 * [taylor]: Taking taylor expansion of y in x 2.546 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 2.546 * [taylor]: Taking taylor expansion of z in y 2.546 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.546 * [taylor]: Taking taylor expansion of 2 in y 2.546 * [taylor]: Taking taylor expansion of y in y 2.546 * [taylor]: Taking taylor expansion of z in z 2.547 * [taylor]: Taking taylor expansion of 3 in y 2.547 * [taylor]: Taking taylor expansion of 3 in z 2.548 * [taylor]: Taking taylor expansion of 2 in z 2.549 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in (x y z) around 0 2.549 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 2.549 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 2.549 * [taylor]: Taking taylor expansion of 2 in z 2.549 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.549 * [taylor]: Taking taylor expansion of y in z 2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 2.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.549 * [taylor]: Taking taylor expansion of z in z 2.549 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 2.549 * [taylor]: Taking taylor expansion of 3 in z 2.549 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.549 * [taylor]: Taking taylor expansion of x in z 2.549 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 2.549 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.550 * [taylor]: Taking taylor expansion of 2 in y 2.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.550 * [taylor]: Taking taylor expansion of y in y 2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 2.550 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.550 * [taylor]: Taking taylor expansion of z in y 2.550 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 2.550 * [taylor]: Taking taylor expansion of 3 in y 2.550 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.550 * [taylor]: Taking taylor expansion of x in y 2.550 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 2.550 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.550 * [taylor]: Taking taylor expansion of 2 in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.550 * [taylor]: Taking taylor expansion of y in x 2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.550 * [taylor]: Taking taylor expansion of z in x 2.550 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 2.550 * [taylor]: Taking taylor expansion of 3 in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.550 * [taylor]: Taking taylor expansion of x in x 2.550 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 2.551 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.551 * [taylor]: Taking taylor expansion of 2 in x 2.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.551 * [taylor]: Taking taylor expansion of y in x 2.551 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 2.551 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.551 * [taylor]: Taking taylor expansion of z in x 2.551 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 2.551 * [taylor]: Taking taylor expansion of 3 in x 2.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.551 * [taylor]: Taking taylor expansion of x in x 2.552 * [taylor]: Taking taylor expansion of 3 in y 2.553 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 2.553 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.553 * [taylor]: Taking taylor expansion of z in y 2.553 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.553 * [taylor]: Taking taylor expansion of 2 in y 2.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.553 * [taylor]: Taking taylor expansion of y in y 2.554 * [taylor]: Taking taylor expansion of 2 in z 2.554 * [taylor]: Taking taylor expansion of 3 in z 2.556 * [taylor]: Taking taylor expansion of 0 in y 2.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.557 * [taylor]: Taking taylor expansion of z in z 2.557 * [taylor]: Taking taylor expansion of 0 in z 2.558 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in (x y z) around 0 2.558 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in z 2.558 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 2.558 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 2.558 * [taylor]: Taking taylor expansion of 2 in z 2.558 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.558 * [taylor]: Taking taylor expansion of y in z 2.558 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 2.558 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.558 * [taylor]: Taking taylor expansion of z in z 2.558 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 2.558 * [taylor]: Taking taylor expansion of 3 in z 2.558 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.558 * [taylor]: Taking taylor expansion of x in z 2.558 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in y 2.558 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 2.558 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.558 * [taylor]: Taking taylor expansion of 2 in y 2.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.558 * [taylor]: Taking taylor expansion of y in y 2.559 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.559 * [taylor]: Taking taylor expansion of z in y 2.559 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 2.559 * [taylor]: Taking taylor expansion of 3 in y 2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.559 * [taylor]: Taking taylor expansion of x in y 2.559 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 2.559 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 2.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.559 * [taylor]: Taking taylor expansion of 2 in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.559 * [taylor]: Taking taylor expansion of y in x 2.559 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.559 * [taylor]: Taking taylor expansion of z in x 2.559 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 2.559 * [taylor]: Taking taylor expansion of 3 in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.559 * [taylor]: Taking taylor expansion of x in x 2.559 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 2.559 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 2.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.559 * [taylor]: Taking taylor expansion of 2 in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.559 * [taylor]: Taking taylor expansion of y in x 2.559 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.559 * [taylor]: Taking taylor expansion of z in x 2.559 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 2.559 * [taylor]: Taking taylor expansion of 3 in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.559 * [taylor]: Taking taylor expansion of x in x 2.561 * [taylor]: Taking taylor expansion of -3 in y 2.562 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 2 (/ 1 y)))) in y 2.562 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 2.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.562 * [taylor]: Taking taylor expansion of z in y 2.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.562 * [taylor]: Taking taylor expansion of 2 in y 2.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.562 * [taylor]: Taking taylor expansion of y in y 2.563 * [taylor]: Taking taylor expansion of -2 in z 2.563 * [taylor]: Taking taylor expansion of -3 in z 2.565 * [taylor]: Taking taylor expansion of 0 in y 2.566 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.566 * [taylor]: Taking taylor expansion of z in z 2.566 * [taylor]: Taking taylor expansion of 0 in z 2.567 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 2.567 * [approximate]: Taking taylor expansion of (+ x (* 2 y)) in (x y) around 0 2.567 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in y 2.567 * [taylor]: Taking taylor expansion of x in y 2.567 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.567 * [taylor]: Taking taylor expansion of 2 in y 2.567 * [taylor]: Taking taylor expansion of y in y 2.567 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 2.567 * [taylor]: Taking taylor expansion of x in x 2.567 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.567 * [taylor]: Taking taylor expansion of 2 in x 2.567 * [taylor]: Taking taylor expansion of y in x 2.567 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 2.567 * [taylor]: Taking taylor expansion of x in x 2.567 * [taylor]: Taking taylor expansion of (* 2 y) in x 2.567 * [taylor]: Taking taylor expansion of 2 in x 2.567 * [taylor]: Taking taylor expansion of y in x 2.567 * [taylor]: Taking taylor expansion of (* 2 y) in y 2.567 * [taylor]: Taking taylor expansion of 2 in y 2.567 * [taylor]: Taking taylor expansion of y in y 2.568 * [taylor]: Taking taylor expansion of 1 in y 2.569 * [taylor]: Taking taylor expansion of 0 in y 2.571 * [taylor]: Taking taylor expansion of 0 in y 2.571 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in (x y) around 0 2.571 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 2.571 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.571 * [taylor]: Taking taylor expansion of 2 in y 2.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.571 * [taylor]: Taking taylor expansion of y in y 2.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.571 * [taylor]: Taking taylor expansion of x in y 2.571 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 2.571 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.571 * [taylor]: Taking taylor expansion of 2 in x 2.571 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.571 * [taylor]: Taking taylor expansion of y in x 2.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.571 * [taylor]: Taking taylor expansion of x in x 2.572 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 2.572 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.572 * [taylor]: Taking taylor expansion of 2 in x 2.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.572 * [taylor]: Taking taylor expansion of y in x 2.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.572 * [taylor]: Taking taylor expansion of x in x 2.572 * [taylor]: Taking taylor expansion of 1 in y 2.573 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.573 * [taylor]: Taking taylor expansion of 2 in y 2.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.573 * [taylor]: Taking taylor expansion of y in y 2.574 * [taylor]: Taking taylor expansion of 0 in y 2.576 * [taylor]: Taking taylor expansion of 0 in y 2.579 * [taylor]: Taking taylor expansion of 0 in y 2.579 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in (x y) around 0 2.579 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in y 2.579 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 2.579 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.579 * [taylor]: Taking taylor expansion of 2 in y 2.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.579 * [taylor]: Taking taylor expansion of y in y 2.580 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.580 * [taylor]: Taking taylor expansion of x in y 2.580 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 2.580 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 2.580 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.580 * [taylor]: Taking taylor expansion of 2 in x 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.580 * [taylor]: Taking taylor expansion of y in x 2.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.580 * [taylor]: Taking taylor expansion of x in x 2.580 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 2.580 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 2.580 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 2.580 * [taylor]: Taking taylor expansion of 2 in x 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.580 * [taylor]: Taking taylor expansion of y in x 2.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.580 * [taylor]: Taking taylor expansion of x in x 2.581 * [taylor]: Taking taylor expansion of -1 in y 2.582 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 2.582 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 2.582 * [taylor]: Taking taylor expansion of 2 in y 2.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.582 * [taylor]: Taking taylor expansion of y in y 2.584 * [taylor]: Taking taylor expansion of 0 in y 2.586 * [taylor]: Taking taylor expansion of 0 in y 2.589 * [taylor]: Taking taylor expansion of 0 in y 2.589 * * * [progress]: simplifying candidates 2.593 * [simplify]: Simplifying using # : (expm1 (+ (+ (+ x y) y) x)) (log1p (+ (+ (+ x y) y) x)) (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (* (* (exp (+ x y)) (exp y)) (exp x)) (* (exp (+ (+ x y) y)) (exp x)) (log (+ (+ (+ x y) y) x)) (exp (+ (+ (+ x y) y) x)) (* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x))) (cbrt (+ (+ (+ x y) y) x)) (* (* (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x)) (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (+ (pow (+ (+ x y) y) 3) (pow x 3)) (+ (* (+ (+ x y) y) (+ (+ x y) y)) (- (* x x) (* (+ (+ x y) y) x))) (- (* (+ (+ x y) y) (+ (+ x y) y)) (* x x)) (- (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ y x) (expm1 (+ (+ (+ (+ (+ x y) y) x) z) x)) (log1p (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (* (exp (+ x y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (exp (+ (+ x y) y)) (exp x)) (exp z)) (exp x)) (* (* (exp (+ (+ (+ x y) y) x)) (exp z)) (exp x)) (* (exp (+ (+ (+ (+ x y) y) x) z)) (exp x)) (log (+ (+ (+ (+ (+ x y) y) x) z) x)) (exp (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x))) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (pow (+ (+ (+ (+ x y) y) x) z) 3) (pow x 3)) (+ (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (- (* x x) (* (+ (+ (+ (+ x y) y) x) z) x))) (- (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (* x x)) (- (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ z x) (expm1 (+ (+ x y) y)) (log1p (+ (+ x y) y)) (* (* (exp x) (exp y)) (exp y)) (* (exp (+ x y)) (exp y)) (log (+ (+ x y) y)) (exp (+ (+ x y) y)) (* (cbrt (+ (+ x y) y)) (cbrt (+ (+ x y) y))) (cbrt (+ (+ x y) y)) (* (* (+ (+ x y) y) (+ (+ x y) y)) (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (+ (pow (+ x y) 3) (pow y 3)) (+ (* (+ x y) (+ x y)) (- (* y y) (* (+ x y) y))) (- (* (+ x y) (+ x y)) (* y y)) (- (+ x y) y) (+ (+ x y) y) (+ (+ x y) y) (+ y y) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ x (* 2 y)) (+ x (* 2 y)) (+ x (* 2 y)) 2.595 * * [simplify]: iteration 0 : 94 enodes (cost 772 ) 2.611 * * [simplify]: iteration 1 : 267 enodes (cost 720 ) 2.665 * * [simplify]: iteration 2 : 867 enodes (cost 563 ) 3.350 * * [simplify]: iteration 3 : 4447 enodes (cost 514 ) 4.473 * * [simplify]: iteration done : 5000 enodes (cost 514 ) 4.474 * [simplify]: Simplified to: (expm1 (* 2 (+ x y))) (log1p (* 2 (+ x y))) (exp (* 2 (+ x y))) (exp (* 2 (+ x y))) (exp (* 2 (+ x y))) (log (* 2 (+ x y))) (exp (* 2 (+ x y))) (* (cbrt (* 2 (+ x y))) (cbrt (* 2 (+ x y)))) (cbrt (* 2 (+ x y))) (pow (* 2 (+ x y)) 3) (sqrt (* 2 (+ x y))) (sqrt (* 2 (+ x y))) (+ (pow (fma 2 y x) 3) (pow x 3)) (fma x x (* (fma 2 y x) (fma y 2 0))) (* (fma y 2 0) (* 2 (+ x y))) (fma y 2 0) (* 2 (+ x y)) (* 2 (+ x y)) (* 2 (+ x y)) (+ y x) (expm1 (+ z (fma 2 (+ y x) x))) (log1p (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (log (+ z (fma 2 (+ y x) x))) (exp (+ z (fma 2 (+ y x) x))) (* (cbrt (+ z (fma 2 (+ y x) x))) (cbrt (+ z (fma 2 (+ y x) x)))) (cbrt (+ z (fma 2 (+ y x) x))) (pow (+ z (fma 2 (+ y x) x)) 3) (sqrt (+ z (fma 2 (+ y x) x))) (sqrt (+ z (fma 2 (+ y x) x))) (+ (pow (fma 2 (+ y x) z) 3) (pow x 3)) (fma x x (* (fma 2 (+ y x) z) (- z (- 0 (fma 2 y x))))) (fma (fma 2 (+ y x) z) (fma 2 (+ y x) z) (- (* x x))) (- z (- 0 (fma 2 y x))) (+ z (fma 2 (+ y x) x)) (+ z (fma 2 (+ y x) x)) (+ z (fma 2 (+ y x) x)) (+ z (fma 2 (+ y x) x)) (+ z (fma 2 (+ y x) x)) (+ z x) (expm1 (fma 2 y x)) (log1p (fma 2 y x)) (exp (fma 2 y x)) (exp (fma 2 y x)) (log (fma 2 y x)) (exp (fma 2 y x)) (* (cbrt (fma 2 y x)) (cbrt (fma 2 y x))) (cbrt (fma 2 y x)) (pow (fma 2 y x) 3) (sqrt (fma 2 y x)) (sqrt (fma 2 y x)) (+ (pow (+ x y) 3) (pow y 3)) (fma y y (* x (+ y x))) (* x (fma 2 y x)) x (fma 2 y x) (fma 2 y x) (+ y y) (* 2 (+ x y)) (* 2 (+ x y)) (* 2 (+ x y)) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) (fma 2 y x) (fma 2 y x) (fma 2 y x) 4.474 * * * [progress]: adding candidates to table 4.638 * * [progress]: iteration 3 / 4 4.638 * * * [progress]: picking best candidate 4.640 * * * * [pick]: Picked # 4.640 * * * [progress]: localizing error 4.646 * * * [progress]: generating rewritten candidates 4.646 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.647 * * * [progress]: generating series expansions 4.647 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.647 * [approximate]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in (x y z) around 0 4.647 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in z 4.647 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.647 * [taylor]: Taking taylor expansion of (* x 3) in z 4.647 * [taylor]: Taking taylor expansion of x in z 4.647 * [taylor]: Taking taylor expansion of 3 in z 4.647 * [taylor]: Taking taylor expansion of (fma 2 y z) in z 4.647 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.647 * [taylor]: Taking taylor expansion of (* 2 y) in z 4.648 * [taylor]: Taking taylor expansion of 2 in z 4.648 * [taylor]: Taking taylor expansion of y in z 4.648 * [taylor]: Taking taylor expansion of z in z 4.648 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in y 4.648 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.648 * [taylor]: Taking taylor expansion of (* x 3) in y 4.648 * [taylor]: Taking taylor expansion of x in y 4.648 * [taylor]: Taking taylor expansion of 3 in y 4.648 * [taylor]: Taking taylor expansion of (fma 2 y z) in y 4.648 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.648 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.648 * [taylor]: Taking taylor expansion of 2 in y 4.648 * [taylor]: Taking taylor expansion of y in y 4.648 * [taylor]: Taking taylor expansion of z in y 4.648 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x 4.648 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.648 * [taylor]: Taking taylor expansion of (* x 3) in x 4.648 * [taylor]: Taking taylor expansion of x in x 4.648 * [taylor]: Taking taylor expansion of 3 in x 4.648 * [taylor]: Taking taylor expansion of (fma 2 y z) in x 4.648 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.648 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.648 * [taylor]: Taking taylor expansion of 2 in x 4.648 * [taylor]: Taking taylor expansion of y in x 4.648 * [taylor]: Taking taylor expansion of z in x 4.648 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x 4.648 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.648 * [taylor]: Taking taylor expansion of (* x 3) in x 4.648 * [taylor]: Taking taylor expansion of x in x 4.648 * [taylor]: Taking taylor expansion of 3 in x 4.648 * [taylor]: Taking taylor expansion of (fma 2 y z) in x 4.648 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.648 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.648 * [taylor]: Taking taylor expansion of 2 in x 4.648 * [taylor]: Taking taylor expansion of y in x 4.648 * [taylor]: Taking taylor expansion of z in x 4.649 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 4.649 * [taylor]: Taking taylor expansion of z in y 4.649 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.649 * [taylor]: Taking taylor expansion of 2 in y 4.649 * [taylor]: Taking taylor expansion of y in y 4.649 * [taylor]: Taking taylor expansion of z in z 4.651 * [taylor]: Taking taylor expansion of 3 in y 4.651 * [taylor]: Taking taylor expansion of 3 in z 4.651 * [taylor]: Taking taylor expansion of 2 in z 4.652 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in (x y z) around 0 4.652 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in z 4.652 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.652 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z 4.652 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.652 * [taylor]: Taking taylor expansion of x in z 4.652 * [taylor]: Taking taylor expansion of 3 in z 4.652 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in z 4.652 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 4.652 * [taylor]: Taking taylor expansion of 2 in z 4.652 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.652 * [taylor]: Taking taylor expansion of y in z 4.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.652 * [taylor]: Taking taylor expansion of z in z 4.653 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in y 4.653 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.653 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y 4.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.653 * [taylor]: Taking taylor expansion of x in y 4.653 * [taylor]: Taking taylor expansion of 3 in y 4.653 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in y 4.653 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.653 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.653 * [taylor]: Taking taylor expansion of 2 in y 4.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.653 * [taylor]: Taking taylor expansion of y in y 4.653 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.653 * [taylor]: Taking taylor expansion of z in y 4.653 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x 4.653 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.653 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 4.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.653 * [taylor]: Taking taylor expansion of x in x 4.654 * [taylor]: Taking taylor expansion of 3 in x 4.654 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x 4.654 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.654 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.654 * [taylor]: Taking taylor expansion of 2 in x 4.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.654 * [taylor]: Taking taylor expansion of y in x 4.654 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.654 * [taylor]: Taking taylor expansion of z in x 4.654 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x 4.654 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.654 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.654 * [taylor]: Taking taylor expansion of x in x 4.654 * [taylor]: Taking taylor expansion of 3 in x 4.654 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x 4.654 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.654 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.654 * [taylor]: Taking taylor expansion of 2 in x 4.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.655 * [taylor]: Taking taylor expansion of y in x 4.655 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.655 * [taylor]: Taking taylor expansion of z in x 4.655 * [taylor]: Taking taylor expansion of 3 in y 4.656 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 4.656 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.656 * [taylor]: Taking taylor expansion of z in y 4.656 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.656 * [taylor]: Taking taylor expansion of 2 in y 4.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.656 * [taylor]: Taking taylor expansion of y in y 4.657 * [taylor]: Taking taylor expansion of 2 in z 4.657 * [taylor]: Taking taylor expansion of 3 in z 4.659 * [taylor]: Taking taylor expansion of 0 in y 4.660 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.660 * [taylor]: Taking taylor expansion of z in z 4.660 * [taylor]: Taking taylor expansion of 0 in z 4.661 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in (x y z) around 0 4.661 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in z 4.661 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.661 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z 4.661 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.661 * [taylor]: Taking taylor expansion of -1 in z 4.661 * [taylor]: Taking taylor expansion of x in z 4.661 * [taylor]: Taking taylor expansion of 3 in z 4.661 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in z 4.661 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.661 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in z 4.661 * [taylor]: Taking taylor expansion of 2 in z 4.661 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.661 * [taylor]: Taking taylor expansion of -1 in z 4.661 * [taylor]: Taking taylor expansion of y in z 4.661 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.661 * [taylor]: Taking taylor expansion of -1 in z 4.661 * [taylor]: Taking taylor expansion of z in z 4.661 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in y 4.661 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.661 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y 4.662 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.662 * [taylor]: Taking taylor expansion of -1 in y 4.662 * [taylor]: Taking taylor expansion of x in y 4.662 * [taylor]: Taking taylor expansion of 3 in y 4.662 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in y 4.662 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.662 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y 4.662 * [taylor]: Taking taylor expansion of 2 in y 4.662 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.662 * [taylor]: Taking taylor expansion of -1 in y 4.662 * [taylor]: Taking taylor expansion of y in y 4.662 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.662 * [taylor]: Taking taylor expansion of -1 in y 4.662 * [taylor]: Taking taylor expansion of z in y 4.662 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x 4.662 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.662 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 4.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.662 * [taylor]: Taking taylor expansion of -1 in x 4.662 * [taylor]: Taking taylor expansion of x in x 4.663 * [taylor]: Taking taylor expansion of 3 in x 4.663 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x 4.663 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.663 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x 4.663 * [taylor]: Taking taylor expansion of 2 in x 4.663 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.663 * [taylor]: Taking taylor expansion of -1 in x 4.663 * [taylor]: Taking taylor expansion of y in x 4.663 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.663 * [taylor]: Taking taylor expansion of -1 in x 4.663 * [taylor]: Taking taylor expansion of z in x 4.663 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x 4.663 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.663 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 4.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.663 * [taylor]: Taking taylor expansion of -1 in x 4.663 * [taylor]: Taking taylor expansion of x in x 4.663 * [taylor]: Taking taylor expansion of 3 in x 4.663 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x 4.664 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.664 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x 4.664 * [taylor]: Taking taylor expansion of 2 in x 4.664 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.664 * [taylor]: Taking taylor expansion of -1 in x 4.664 * [taylor]: Taking taylor expansion of y in x 4.664 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.664 * [taylor]: Taking taylor expansion of -1 in x 4.664 * [taylor]: Taking taylor expansion of z in x 4.664 * [taylor]: Taking taylor expansion of -3 in y 4.665 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y 4.665 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y 4.665 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.665 * [taylor]: Taking taylor expansion of 2 in y 4.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.666 * [taylor]: Taking taylor expansion of y in y 4.666 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.666 * [taylor]: Taking taylor expansion of z in y 4.667 * [taylor]: Taking taylor expansion of -2 in z 4.667 * [taylor]: Taking taylor expansion of -3 in z 4.668 * [taylor]: Taking taylor expansion of 0 in y 4.669 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.669 * [taylor]: Taking taylor expansion of z in z 4.670 * [taylor]: Taking taylor expansion of 0 in z 4.670 * * * [progress]: simplifying candidates 4.671 * [simplify]: Simplifying using # : (expm1 (fma x 3 (fma 2 y z))) (log1p (fma x 3 (fma 2 y z))) (* x 3) (log (fma x 3 (fma 2 y z))) (exp (fma x 3 (fma 2 y z))) (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z)))) (cbrt (fma x 3 (fma 2 y z))) (* (* (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z))) (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 4.672 * * [simplify]: iteration 0 : 21 enodes (cost 126 ) 4.675 * * [simplify]: iteration 1 : 28 enodes (cost 120 ) 4.678 * * [simplify]: iteration 2 : 73 enodes (cost 106 ) 4.697 * * [simplify]: iteration 3 : 323 enodes (cost 106 ) 4.884 * * [simplify]: iteration 4 : 1737 enodes (cost 106 ) 5.837 * * [simplify]: iteration done : 5001 enodes (cost 106 ) 5.837 * [simplify]: Simplified to: (expm1 (fma x 3 (fma 2 y z))) (log1p (fma x 3 (fma 2 y z))) (* x 3) (log (fma x 3 (fma 2 y z))) (exp (fma x 3 (fma 2 y z))) (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z)))) (cbrt (fma x 3 (fma 2 y z))) (pow (fma x 3 (fma 2 y z)) 3) (sqrt (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) 5.837 * * * [progress]: adding candidates to table 5.868 * [progress]: [Phase 3 of 3] Extracting. 5.870 * [simplify]: Simplifying using # : (fma x 3 (fma 2 y z)) 5.870 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 5.870 * * [simplify]: iteration done : 7 enodes (cost 7 ) 5.870 * [simplify]: Simplified to: (fma x 3 (fma 2 y z)) 6.383 * [regime-testing]: End program error score: 0.0012501562695336917