28.382 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: Extracting # 3 : cost 0 0.022 * * [simplify]: Extracting # 4 : cost 0 0.022 * * [simplify]: Extracting # 5 : cost 0 0.022 * * [simplify]: Extracting # 6 : cost 0 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 3 : 208 enodes (cost 9 ) 0.126 * * [simplify]: Extracting # 0 : cost 0 0.126 * * [simplify]: Extracting # 1 : cost 0 0.127 * * [simplify]: Extracting # 2 : cost 0 0.127 * * [simplify]: Extracting # 3 : cost 0 0.127 * * [simplify]: iteration 4 : 419 enodes (cost 8 ) 0.257 * * [simplify]: Extracting # 0 : cost 0 0.258 * * [simplify]: Extracting # 1 : cost 0 0.258 * * [simplify]: iteration 5 : 469 enodes (cost 7 ) 0.372 * * [simplify]: Extracting # 0 : cost 0 0.372 * * [simplify]: iteration 6 : 475 enodes (cost 7 ) 0.490 * * [simplify]: Extracting # 0 : cost 0 0.491 * * [simplify]: iteration done: 475 enodes (cost 7 ) 0.491 * [simplify]: Simplified to: (fma y 2 (fma 3 x z)) 0.496 * * [progress]: iteration 1 / 4 0.496 * * * [progress]: picking best candidate 0.503 * * * * [pick]: Picked # 0.503 * * * [progress]: localizing error 0.523 * * * [progress]: generating rewritten candidates 0.523 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 0.524 * * * [progress]: generating series expansions 0.524 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 0.524 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 0.524 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 0.524 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.524 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.524 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.524 * [taylor]: Taking taylor expansion of 3 in z 0.524 * [backup-simplify]: Simplify 3 into 3 0.524 * [taylor]: Taking taylor expansion of x in z 0.524 * [backup-simplify]: Simplify x into x 0.524 * [taylor]: Taking taylor expansion of z in z 0.524 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify 1 into 1 0.525 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.525 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.525 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.525 * [taylor]: Taking taylor expansion of 3 in x 0.525 * [backup-simplify]: Simplify 3 into 3 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify 1 into 1 0.525 * [taylor]: Taking taylor expansion of z in x 0.525 * [backup-simplify]: Simplify z into z 0.525 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.525 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.525 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.525 * [taylor]: Taking taylor expansion of 3 in x 0.525 * [backup-simplify]: Simplify 3 into 3 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify 1 into 1 0.525 * [taylor]: Taking taylor expansion of z in x 0.525 * [backup-simplify]: Simplify z into z 0.526 * [backup-simplify]: Simplify (* 3 0) into 0 0.526 * [backup-simplify]: Simplify (+ 0 z) into z 0.526 * [taylor]: Taking taylor expansion of z in z 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 1 into 1 0.526 * [backup-simplify]: Simplify 0 into 0 0.527 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.528 * [backup-simplify]: Simplify (+ 3 0) into 3 0.528 * [taylor]: Taking taylor expansion of 3 in z 0.528 * [backup-simplify]: Simplify 3 into 3 0.528 * [backup-simplify]: Simplify 3 into 3 0.528 * [backup-simplify]: Simplify 1 into 1 0.529 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 0.529 * [backup-simplify]: Simplify (+ 0 0) into 0 0.529 * [taylor]: Taking taylor expansion of 0 in z 0.529 * [backup-simplify]: Simplify 0 into 0 0.529 * [backup-simplify]: Simplify 0 into 0 0.529 * [backup-simplify]: Simplify 0 into 0 0.530 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.531 * [backup-simplify]: Simplify (+ 0 0) into 0 0.531 * [taylor]: Taking taylor expansion of 0 in z 0.531 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 0.532 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 0.532 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 0.532 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.532 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.532 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.532 * [taylor]: Taking taylor expansion of 3 in z 0.532 * [backup-simplify]: Simplify 3 into 3 0.532 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.532 * [taylor]: Taking taylor expansion of x in z 0.532 * [backup-simplify]: Simplify x into x 0.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.532 * [taylor]: Taking taylor expansion of z in z 0.532 * [backup-simplify]: Simplify 0 into 0 0.532 * [backup-simplify]: Simplify 1 into 1 0.533 * [backup-simplify]: Simplify (/ 1 1) into 1 0.533 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.533 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.533 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.533 * [taylor]: Taking taylor expansion of 3 in x 0.533 * [backup-simplify]: Simplify 3 into 3 0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.533 * [taylor]: Taking taylor expansion of x in x 0.533 * [backup-simplify]: Simplify 0 into 0 0.533 * [backup-simplify]: Simplify 1 into 1 0.534 * [backup-simplify]: Simplify (/ 1 1) into 1 0.534 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.534 * [taylor]: Taking taylor expansion of z in x 0.534 * [backup-simplify]: Simplify z into z 0.534 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.534 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.534 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.534 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.534 * [taylor]: Taking taylor expansion of 3 in x 0.534 * [backup-simplify]: Simplify 3 into 3 0.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [backup-simplify]: Simplify 0 into 0 0.534 * [backup-simplify]: Simplify 1 into 1 0.534 * [backup-simplify]: Simplify (/ 1 1) into 1 0.535 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.535 * [taylor]: Taking taylor expansion of z in x 0.535 * [backup-simplify]: Simplify z into z 0.535 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.535 * [backup-simplify]: Simplify (* 3 1) into 3 0.536 * [backup-simplify]: Simplify (+ 3 0) into 3 0.536 * [taylor]: Taking taylor expansion of 3 in z 0.536 * [backup-simplify]: Simplify 3 into 3 0.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.537 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.537 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.537 * [taylor]: Taking taylor expansion of z in z 0.537 * [backup-simplify]: Simplify 0 into 0 0.537 * [backup-simplify]: Simplify 1 into 1 0.538 * [backup-simplify]: Simplify (/ 1 1) into 1 0.538 * [backup-simplify]: Simplify 1 into 1 0.538 * [backup-simplify]: Simplify 3 into 3 0.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.540 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.540 * [backup-simplify]: Simplify (+ 0 0) into 0 0.540 * [taylor]: Taking taylor expansion of 0 in z 0.541 * [backup-simplify]: Simplify 0 into 0 0.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.541 * [backup-simplify]: Simplify 0 into 0 0.541 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.544 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.544 * [backup-simplify]: Simplify (+ 0 0) into 0 0.544 * [taylor]: Taking taylor expansion of 0 in z 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.545 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify 0 into 0 0.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.548 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.548 * [backup-simplify]: Simplify (+ 0 0) into 0 0.548 * [taylor]: Taking taylor expansion of 0 in z 0.548 * [backup-simplify]: Simplify 0 into 0 0.548 * [backup-simplify]: Simplify 0 into 0 0.549 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 0.549 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 0.549 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 0.549 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.549 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.549 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.549 * [taylor]: Taking taylor expansion of 3 in z 0.549 * [backup-simplify]: Simplify 3 into 3 0.549 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.549 * [taylor]: Taking taylor expansion of -1 in z 0.549 * [backup-simplify]: Simplify -1 into -1 0.549 * [taylor]: Taking taylor expansion of x in z 0.549 * [backup-simplify]: Simplify x into x 0.549 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.549 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.549 * [taylor]: Taking taylor expansion of -1 in z 0.549 * [backup-simplify]: Simplify -1 into -1 0.550 * [taylor]: Taking taylor expansion of z in z 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [backup-simplify]: Simplify (/ -1 1) into -1 0.550 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.550 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.550 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.550 * [taylor]: Taking taylor expansion of 3 in x 0.550 * [backup-simplify]: Simplify 3 into 3 0.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.550 * [taylor]: Taking taylor expansion of -1 in x 0.550 * [backup-simplify]: Simplify -1 into -1 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [backup-simplify]: Simplify (/ -1 1) into -1 0.551 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.551 * [taylor]: Taking taylor expansion of -1 in x 0.551 * [backup-simplify]: Simplify -1 into -1 0.551 * [taylor]: Taking taylor expansion of z in x 0.551 * [backup-simplify]: Simplify z into z 0.551 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.551 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.551 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.551 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.551 * [taylor]: Taking taylor expansion of 3 in x 0.551 * [backup-simplify]: Simplify 3 into 3 0.551 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.552 * [taylor]: Taking taylor expansion of -1 in x 0.552 * [backup-simplify]: Simplify -1 into -1 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify 1 into 1 0.552 * [backup-simplify]: Simplify (/ -1 1) into -1 0.552 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.552 * [taylor]: Taking taylor expansion of -1 in x 0.552 * [backup-simplify]: Simplify -1 into -1 0.552 * [taylor]: Taking taylor expansion of z in x 0.552 * [backup-simplify]: Simplify z into z 0.552 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.553 * [backup-simplify]: Simplify (* 3 -1) into -3 0.553 * [backup-simplify]: Simplify (+ -3 0) into -3 0.553 * [taylor]: Taking taylor expansion of -3 in z 0.553 * [backup-simplify]: Simplify -3 into -3 0.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.555 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 0.555 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 0.555 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.555 * [taylor]: Taking taylor expansion of z in z 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 1 into 1 0.555 * [backup-simplify]: Simplify (/ 1 1) into 1 0.556 * [backup-simplify]: Simplify (- 1) into -1 0.556 * [backup-simplify]: Simplify -1 into -1 0.556 * [backup-simplify]: Simplify -3 into -3 0.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.558 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 0.558 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.559 * [backup-simplify]: Simplify (+ 0 0) into 0 0.559 * [taylor]: Taking taylor expansion of 0 in z 0.559 * [backup-simplify]: Simplify 0 into 0 0.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.560 * [backup-simplify]: Simplify (- 0) into 0 0.560 * [backup-simplify]: Simplify 0 into 0 0.560 * [backup-simplify]: Simplify 0 into 0 0.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.562 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.562 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.563 * [backup-simplify]: Simplify (+ 0 0) into 0 0.563 * [taylor]: Taking taylor expansion of 0 in z 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.564 * [backup-simplify]: Simplify (- 0) into 0 0.564 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.566 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.567 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.567 * [backup-simplify]: Simplify (+ 0 0) into 0 0.567 * [taylor]: Taking taylor expansion of 0 in z 0.567 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 0.568 * * * [progress]: simplifying candidates 0.568 * [simplify]: Simplifying: (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)) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) 0.569 * * [simplify]: Extracting # 0 : cost 0 0.569 * * [simplify]: Extracting # 1 : cost 0 0.569 * * [simplify]: Extracting # 2 : cost 0 0.569 * * [simplify]: Extracting # 3 : cost 0 0.569 * * [simplify]: Extracting # 4 : cost 0 0.569 * * [simplify]: iteration 0 : 15 enodes (cost 78 ) 0.574 * * [simplify]: Extracting # 0 : cost 0 0.574 * * [simplify]: Extracting # 1 : cost 0 0.575 * * [simplify]: Extracting # 2 : cost 0 0.575 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.583 * * [simplify]: Extracting # 0 : cost 0 0.583 * * [simplify]: Extracting # 1 : cost 0 0.583 * * [simplify]: Extracting # 2 : cost 0 0.583 * * [simplify]: iteration 2 : 58 enodes (cost 67 ) 0.604 * * [simplify]: Extracting # 0 : cost 0 0.604 * * [simplify]: Extracting # 1 : cost 0 0.604 * * [simplify]: Extracting # 2 : cost 0 0.604 * * [simplify]: Extracting # 3 : cost 0 0.605 * * [simplify]: iteration 3 : 207 enodes (cost 67 ) 0.749 * * [simplify]: Extracting # 0 : cost 0 0.750 * * [simplify]: Extracting # 1 : cost 0 0.750 * * [simplify]: Extracting # 2 : cost 0 0.751 * * [simplify]: Extracting # 3 : cost 0 0.752 * * [simplify]: Extracting # 4 : cost 0 0.752 * * [simplify]: Extracting # 5 : cost 0 0.753 * * [simplify]: iteration 4 : 785 enodes (cost 67 ) 2.575 * * [simplify]: Extracting # 0 : cost 0 2.585 * * [simplify]: Extracting # 1 : cost 0 2.590 * * [simplify]: Extracting # 2 : cost 0 2.595 * * [simplify]: Extracting # 3 : cost 0 2.603 * * [simplify]: Extracting # 4 : cost 0 2.610 * * [simplify]: iteration 5 : 4817 enodes (cost 67 ) 5.558 * * [simplify]: Extracting # 0 : cost 0 5.562 * * [simplify]: Extracting # 1 : cost 0 5.569 * * [simplify]: iteration done: 5000 enodes (cost 67 ) 5.569 * [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)) (fma 3 x z) (fma 3 x z) (fma 3 x z) 5.569 * * * [progress]: adding candidates to table 5.630 * * [progress]: iteration 2 / 4 5.630 * * * [progress]: picking best candidate 5.634 * * * * [pick]: Picked # 5.634 * * * [progress]: localizing error 5.641 * * * [progress]: generating rewritten candidates 5.641 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 5.650 * * * [progress]: generating series expansions 5.650 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 5.650 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 5.650 * [approximate]: Taking taylor expansion of (+ (* 3 x) z) in (x z) around 0 5.650 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in z 5.650 * [taylor]: Taking taylor expansion of (* 3 x) in z 5.650 * [taylor]: Taking taylor expansion of 3 in z 5.650 * [backup-simplify]: Simplify 3 into 3 5.650 * [taylor]: Taking taylor expansion of x in z 5.650 * [backup-simplify]: Simplify x into x 5.650 * [taylor]: Taking taylor expansion of z in z 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify 1 into 1 5.650 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 5.650 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.650 * [taylor]: Taking taylor expansion of 3 in x 5.650 * [backup-simplify]: Simplify 3 into 3 5.650 * [taylor]: Taking taylor expansion of x in x 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify 1 into 1 5.650 * [taylor]: Taking taylor expansion of z in x 5.650 * [backup-simplify]: Simplify z into z 5.650 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 5.650 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.650 * [taylor]: Taking taylor expansion of 3 in x 5.650 * [backup-simplify]: Simplify 3 into 3 5.650 * [taylor]: Taking taylor expansion of x in x 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify 1 into 1 5.650 * [taylor]: Taking taylor expansion of z in x 5.651 * [backup-simplify]: Simplify z into z 5.651 * [backup-simplify]: Simplify (* 3 0) into 0 5.651 * [backup-simplify]: Simplify (+ 0 z) into z 5.651 * [taylor]: Taking taylor expansion of z in z 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify 1 into 1 5.651 * [backup-simplify]: Simplify 0 into 0 5.652 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.652 * [backup-simplify]: Simplify (+ 3 0) into 3 5.652 * [taylor]: Taking taylor expansion of 3 in z 5.652 * [backup-simplify]: Simplify 3 into 3 5.652 * [backup-simplify]: Simplify 3 into 3 5.652 * [backup-simplify]: Simplify 1 into 1 5.652 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.653 * [backup-simplify]: Simplify (+ 0 0) into 0 5.653 * [taylor]: Taking taylor expansion of 0 in z 5.653 * [backup-simplify]: Simplify 0 into 0 5.653 * [backup-simplify]: Simplify 0 into 0 5.653 * [backup-simplify]: Simplify 0 into 0 5.653 * [backup-simplify]: Simplify 0 into 0 5.653 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.654 * [backup-simplify]: Simplify (+ 0 0) into 0 5.654 * [taylor]: Taking taylor expansion of 0 in z 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 5.654 * [backup-simplify]: Simplify (+ (* 3 (/ 1 x)) (/ 1 z)) into (+ (/ 1 z) (* 3 (/ 1 x))) 5.654 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in (x z) around 0 5.654 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 5.654 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.654 * [taylor]: Taking taylor expansion of z in z 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify 1 into 1 5.655 * [backup-simplify]: Simplify (/ 1 1) into 1 5.655 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 5.655 * [taylor]: Taking taylor expansion of 3 in z 5.655 * [backup-simplify]: Simplify 3 into 3 5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.655 * [taylor]: Taking taylor expansion of x in z 5.655 * [backup-simplify]: Simplify x into x 5.655 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.655 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.655 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.655 * [taylor]: Taking taylor expansion of z in x 5.655 * [backup-simplify]: Simplify z into z 5.655 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.655 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.655 * [taylor]: Taking taylor expansion of 3 in x 5.655 * [backup-simplify]: Simplify 3 into 3 5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.655 * [taylor]: Taking taylor expansion of x in x 5.655 * [backup-simplify]: Simplify 0 into 0 5.655 * [backup-simplify]: Simplify 1 into 1 5.655 * [backup-simplify]: Simplify (/ 1 1) into 1 5.655 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.655 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.655 * [taylor]: Taking taylor expansion of z in x 5.655 * [backup-simplify]: Simplify z into z 5.655 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.655 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.655 * [taylor]: Taking taylor expansion of 3 in x 5.655 * [backup-simplify]: Simplify 3 into 3 5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.655 * [taylor]: Taking taylor expansion of x in x 5.655 * [backup-simplify]: Simplify 0 into 0 5.655 * [backup-simplify]: Simplify 1 into 1 5.656 * [backup-simplify]: Simplify (/ 1 1) into 1 5.656 * [backup-simplify]: Simplify (* 3 1) into 3 5.656 * [backup-simplify]: Simplify (+ 0 3) into 3 5.656 * [taylor]: Taking taylor expansion of 3 in z 5.657 * [backup-simplify]: Simplify 3 into 3 5.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.657 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.657 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.657 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.657 * [taylor]: Taking taylor expansion of z in z 5.657 * [backup-simplify]: Simplify 0 into 0 5.657 * [backup-simplify]: Simplify 1 into 1 5.658 * [backup-simplify]: Simplify (/ 1 1) into 1 5.658 * [backup-simplify]: Simplify 1 into 1 5.658 * [backup-simplify]: Simplify 3 into 3 5.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.659 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.659 * [backup-simplify]: Simplify (+ 0 0) into 0 5.659 * [taylor]: Taking taylor expansion of 0 in z 5.659 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.660 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.661 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.661 * [backup-simplify]: Simplify (+ 0 0) into 0 5.661 * [taylor]: Taking taylor expansion of 0 in z 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.662 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.663 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.663 * [backup-simplify]: Simplify (+ 0 0) into 0 5.663 * [taylor]: Taking taylor expansion of 0 in z 5.663 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 5.664 * [backup-simplify]: Simplify (+ (* 3 (/ 1 (- x))) (/ 1 (- z))) into (- (+ (/ 1 z) (* 3 (/ 1 x)))) 5.664 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in (x z) around 0 5.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in z 5.664 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 5.664 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.664 * [taylor]: Taking taylor expansion of z in z 5.664 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify 1 into 1 5.664 * [backup-simplify]: Simplify (/ 1 1) into 1 5.664 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 5.664 * [taylor]: Taking taylor expansion of 3 in z 5.664 * [backup-simplify]: Simplify 3 into 3 5.664 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.664 * [taylor]: Taking taylor expansion of x in z 5.664 * [backup-simplify]: Simplify x into x 5.664 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 5.664 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.664 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.664 * [taylor]: Taking taylor expansion of z in x 5.664 * [backup-simplify]: Simplify z into z 5.664 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.664 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.664 * [taylor]: Taking taylor expansion of 3 in x 5.664 * [backup-simplify]: Simplify 3 into 3 5.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.664 * [taylor]: Taking taylor expansion of x in x 5.664 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify 1 into 1 5.665 * [backup-simplify]: Simplify (/ 1 1) into 1 5.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 5.665 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.665 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.665 * [taylor]: Taking taylor expansion of z in x 5.665 * [backup-simplify]: Simplify z into z 5.665 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.665 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.665 * [taylor]: Taking taylor expansion of 3 in x 5.665 * [backup-simplify]: Simplify 3 into 3 5.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.665 * [taylor]: Taking taylor expansion of x in x 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify 1 into 1 5.665 * [backup-simplify]: Simplify (/ 1 1) into 1 5.665 * [backup-simplify]: Simplify (* 3 1) into 3 5.666 * [backup-simplify]: Simplify (+ 0 3) into 3 5.666 * [backup-simplify]: Simplify (- 3) into -3 5.666 * [taylor]: Taking taylor expansion of -3 in z 5.666 * [backup-simplify]: Simplify -3 into -3 5.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.667 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.667 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.667 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.667 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.667 * [taylor]: Taking taylor expansion of z in z 5.667 * [backup-simplify]: Simplify 0 into 0 5.667 * [backup-simplify]: Simplify 1 into 1 5.667 * [backup-simplify]: Simplify (/ 1 1) into 1 5.668 * [backup-simplify]: Simplify (- 1) into -1 5.668 * [backup-simplify]: Simplify -1 into -1 5.668 * [backup-simplify]: Simplify -3 into -3 5.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.669 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.669 * [backup-simplify]: Simplify (+ 0 0) into 0 5.669 * [backup-simplify]: Simplify (- 0) into 0 5.669 * [taylor]: Taking taylor expansion of 0 in z 5.669 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.670 * [backup-simplify]: Simplify (- 0) into 0 5.670 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.671 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.671 * [backup-simplify]: Simplify (+ 0 0) into 0 5.672 * [backup-simplify]: Simplify (- 0) into 0 5.672 * [taylor]: Taking taylor expansion of 0 in z 5.672 * [backup-simplify]: Simplify 0 into 0 5.672 * [backup-simplify]: Simplify 0 into 0 5.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.672 * [backup-simplify]: Simplify (- 0) into 0 5.672 * [backup-simplify]: Simplify 0 into 0 5.673 * [backup-simplify]: Simplify 0 into 0 5.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.674 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.674 * [backup-simplify]: Simplify (+ 0 0) into 0 5.674 * [backup-simplify]: Simplify (- 0) into 0 5.674 * [taylor]: Taking taylor expansion of 0 in z 5.674 * [backup-simplify]: Simplify 0 into 0 5.674 * [backup-simplify]: Simplify 0 into 0 5.675 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 5.675 * * * [progress]: simplifying candidates 5.675 * [simplify]: Simplifying: (expm1 (+ (* 3 x) z)) (log1p (+ (* 3 x) z)) (* (exp (* 3 x)) (exp z)) (log (+ (* 3 x) z)) (exp (+ (* 3 x) z)) (* (cbrt (+ (* 3 x) z)) (cbrt (+ (* 3 x) z))) (cbrt (+ (* 3 x) z)) (* (* (+ (* 3 x) z) (+ (* 3 x) z)) (+ (* 3 x) z)) (sqrt (+ (* 3 x) z)) (sqrt (+ (* 3 x) z)) (+ (pow (* 3 x) 3) (pow z 3)) (+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z))) (- (* (* 3 x) (* 3 x)) (* z z)) (- (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) 5.675 * * [simplify]: Extracting # 0 : cost 0 5.675 * * [simplify]: Extracting # 1 : cost 0 5.675 * * [simplify]: Extracting # 2 : cost 0 5.675 * * [simplify]: Extracting # 3 : cost 0 5.675 * * [simplify]: Extracting # 4 : cost 0 5.675 * * [simplify]: Extracting # 5 : cost 0 5.676 * * [simplify]: iteration 0 : 27 enodes (cost 136 ) 5.682 * * [simplify]: Extracting # 0 : cost 0 5.682 * * [simplify]: Extracting # 1 : cost 0 5.682 * * [simplify]: Extracting # 2 : cost 0 5.682 * * [simplify]: Extracting # 3 : cost 0 5.682 * * [simplify]: iteration 1 : 89 enodes (cost 113 ) 5.727 * * [simplify]: Extracting # 0 : cost 0 5.727 * * [simplify]: Extracting # 1 : cost 0 5.728 * * [simplify]: Extracting # 2 : cost 0 5.728 * * [simplify]: Extracting # 3 : cost 0 5.729 * * [simplify]: Extracting # 4 : cost 0 5.729 * * [simplify]: iteration 2 : 262 enodes (cost 103 ) 5.946 * * [simplify]: Extracting # 0 : cost 0 5.948 * * [simplify]: Extracting # 1 : cost 0 5.949 * * [simplify]: Extracting # 2 : cost 0 5.950 * * [simplify]: Extracting # 3 : cost 0 5.951 * * [simplify]: iteration 3 : 802 enodes (cost 103 ) 6.975 * * [simplify]: Extracting # 0 : cost 0 6.980 * * [simplify]: Extracting # 1 : cost 0 6.983 * * [simplify]: Extracting # 2 : cost 0 6.987 * * [simplify]: Extracting # 3 : cost 0 6.990 * * [simplify]: Extracting # 4 : cost 0 6.994 * * [simplify]: iteration 4 : 2596 enodes (cost 102 ) 8.188 * * [simplify]: Extracting # 0 : cost 0 8.194 * * [simplify]: Extracting # 1 : cost 0 8.198 * * [simplify]: Extracting # 2 : cost 0 8.202 * * [simplify]: Extracting # 3 : cost 0 8.211 * * [simplify]: iteration done: 5000 enodes (cost 102 ) 8.211 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (exp (fma 3 x z)) (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)) (fma 27 (pow x 3) (pow z 3)) (fma (fma -3 x z) z (* 9 (* x x))) (- (* 9 (* x x)) (* z z)) (- (* 3 x) z) (fma 3 x z) (fma 3 x z) (fma 3 x z) 8.212 * * * [progress]: adding candidates to table 8.264 * * [progress]: iteration 3 / 4 8.264 * * * [progress]: picking best candidate 8.266 * * * * [pick]: Picked # 8.266 * * * [progress]: localizing error 8.276 * * * [progress]: generating rewritten candidates 8.277 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3) 8.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 1) 8.300 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1) 8.301 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2) 8.307 * * * [progress]: generating series expansions 8.307 * * * * [progress]: [ 1 / 4 ] generating series at (2 3) 8.307 * [backup-simplify]: Simplify (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) into (fma 3 x z) 8.307 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 8.307 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 8.308 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.308 * [taylor]: Taking taylor expansion of (* 3 x) in z 8.308 * [taylor]: Taking taylor expansion of 3 in z 8.308 * [backup-simplify]: Simplify 3 into 3 8.308 * [taylor]: Taking taylor expansion of x in z 8.308 * [backup-simplify]: Simplify x into x 8.308 * [taylor]: Taking taylor expansion of z in z 8.308 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify 1 into 1 8.308 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.308 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.308 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.308 * [taylor]: Taking taylor expansion of 3 in x 8.308 * [backup-simplify]: Simplify 3 into 3 8.308 * [taylor]: Taking taylor expansion of x in x 8.308 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify 1 into 1 8.308 * [taylor]: Taking taylor expansion of z in x 8.308 * [backup-simplify]: Simplify z into z 8.308 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.308 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.308 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.308 * [taylor]: Taking taylor expansion of 3 in x 8.308 * [backup-simplify]: Simplify 3 into 3 8.308 * [taylor]: Taking taylor expansion of x in x 8.308 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify 1 into 1 8.308 * [taylor]: Taking taylor expansion of z in x 8.308 * [backup-simplify]: Simplify z into z 8.309 * [backup-simplify]: Simplify (* 3 0) into 0 8.309 * [backup-simplify]: Simplify (+ 0 z) into z 8.309 * [taylor]: Taking taylor expansion of z in z 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 1 into 1 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.310 * [backup-simplify]: Simplify (+ 3 0) into 3 8.310 * [taylor]: Taking taylor expansion of 3 in z 8.310 * [backup-simplify]: Simplify 3 into 3 8.310 * [backup-simplify]: Simplify 3 into 3 8.310 * [backup-simplify]: Simplify 1 into 1 8.311 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 8.312 * [backup-simplify]: Simplify (+ 0 0) into 0 8.312 * [taylor]: Taking taylor expansion of 0 in z 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.313 * [backup-simplify]: Simplify (+ 0 0) into 0 8.313 * [taylor]: Taking taylor expansion of 0 in z 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 8.314 * [backup-simplify]: Simplify (* (sqrt (fma 3 (/ 1 x) (/ 1 z))) (sqrt (fma 3 (/ 1 x) (/ 1 z)))) into (fma 3 (/ 1 x) (/ 1 z)) 8.314 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 8.314 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 8.314 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.314 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 8.314 * [taylor]: Taking taylor expansion of 3 in z 8.314 * [backup-simplify]: Simplify 3 into 3 8.314 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.314 * [taylor]: Taking taylor expansion of x in z 8.314 * [backup-simplify]: Simplify x into x 8.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.314 * [taylor]: Taking taylor expansion of z in z 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 1 into 1 8.315 * [backup-simplify]: Simplify (/ 1 1) into 1 8.315 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.315 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.315 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.315 * [taylor]: Taking taylor expansion of 3 in x 8.315 * [backup-simplify]: Simplify 3 into 3 8.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.315 * [taylor]: Taking taylor expansion of x in x 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.315 * [backup-simplify]: Simplify (/ 1 1) into 1 8.315 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.315 * [taylor]: Taking taylor expansion of z in x 8.315 * [backup-simplify]: Simplify z into z 8.315 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.315 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.316 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.316 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.316 * [taylor]: Taking taylor expansion of 3 in x 8.316 * [backup-simplify]: Simplify 3 into 3 8.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.316 * [taylor]: Taking taylor expansion of x in x 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify 1 into 1 8.316 * [backup-simplify]: Simplify (/ 1 1) into 1 8.316 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.316 * [taylor]: Taking taylor expansion of z in x 8.316 * [backup-simplify]: Simplify z into z 8.316 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.317 * [backup-simplify]: Simplify (* 3 1) into 3 8.317 * [backup-simplify]: Simplify (+ 3 0) into 3 8.317 * [taylor]: Taking taylor expansion of 3 in z 8.317 * [backup-simplify]: Simplify 3 into 3 8.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.318 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 8.318 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 8.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.319 * [taylor]: Taking taylor expansion of z in z 8.319 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify 1 into 1 8.319 * [backup-simplify]: Simplify (/ 1 1) into 1 8.319 * [backup-simplify]: Simplify 1 into 1 8.319 * [backup-simplify]: Simplify 3 into 3 8.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.321 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 8.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.321 * [backup-simplify]: Simplify (+ 0 0) into 0 8.321 * [taylor]: Taking taylor expansion of 0 in z 8.321 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.322 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.324 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.324 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.324 * [backup-simplify]: Simplify (+ 0 0) into 0 8.324 * [taylor]: Taking taylor expansion of 0 in z 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.327 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.328 * [backup-simplify]: Simplify (+ 0 0) into 0 8.328 * [taylor]: Taking taylor expansion of 0 in z 8.328 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 8.328 * [backup-simplify]: Simplify (* (sqrt (fma 3 (/ 1 (- x)) (/ 1 (- z)))) (sqrt (fma 3 (/ 1 (- x)) (/ 1 (- z))))) into (fma 3 (/ -1 x) (/ -1 z)) 8.328 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 8.328 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 8.328 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.328 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 8.328 * [taylor]: Taking taylor expansion of 3 in z 8.328 * [backup-simplify]: Simplify 3 into 3 8.328 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.328 * [taylor]: Taking taylor expansion of -1 in z 8.328 * [backup-simplify]: Simplify -1 into -1 8.328 * [taylor]: Taking taylor expansion of x in z 8.328 * [backup-simplify]: Simplify x into x 8.328 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.328 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.328 * [taylor]: Taking taylor expansion of -1 in z 8.328 * [backup-simplify]: Simplify -1 into -1 8.328 * [taylor]: Taking taylor expansion of z in z 8.328 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify 1 into 1 8.329 * [backup-simplify]: Simplify (/ -1 1) into -1 8.329 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.329 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.329 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.329 * [taylor]: Taking taylor expansion of 3 in x 8.329 * [backup-simplify]: Simplify 3 into 3 8.329 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.329 * [taylor]: Taking taylor expansion of -1 in x 8.329 * [backup-simplify]: Simplify -1 into -1 8.329 * [taylor]: Taking taylor expansion of x in x 8.329 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify 1 into 1 8.329 * [backup-simplify]: Simplify (/ -1 1) into -1 8.329 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.329 * [taylor]: Taking taylor expansion of -1 in x 8.329 * [backup-simplify]: Simplify -1 into -1 8.329 * [taylor]: Taking taylor expansion of z in x 8.329 * [backup-simplify]: Simplify z into z 8.329 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.329 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.330 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.330 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.330 * [taylor]: Taking taylor expansion of 3 in x 8.330 * [backup-simplify]: Simplify 3 into 3 8.330 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.330 * [taylor]: Taking taylor expansion of -1 in x 8.330 * [backup-simplify]: Simplify -1 into -1 8.330 * [taylor]: Taking taylor expansion of x in x 8.330 * [backup-simplify]: Simplify 0 into 0 8.330 * [backup-simplify]: Simplify 1 into 1 8.330 * [backup-simplify]: Simplify (/ -1 1) into -1 8.330 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.330 * [taylor]: Taking taylor expansion of -1 in x 8.330 * [backup-simplify]: Simplify -1 into -1 8.330 * [taylor]: Taking taylor expansion of z in x 8.330 * [backup-simplify]: Simplify z into z 8.330 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.331 * [backup-simplify]: Simplify (* 3 -1) into -3 8.331 * [backup-simplify]: Simplify (+ -3 0) into -3 8.331 * [taylor]: Taking taylor expansion of -3 in z 8.331 * [backup-simplify]: Simplify -3 into -3 8.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.332 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 8.332 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 8.332 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.332 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.332 * [taylor]: Taking taylor expansion of z in z 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify 1 into 1 8.332 * [backup-simplify]: Simplify (/ 1 1) into 1 8.332 * [backup-simplify]: Simplify (- 1) into -1 8.333 * [backup-simplify]: Simplify -1 into -1 8.333 * [backup-simplify]: Simplify -3 into -3 8.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.334 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 8.334 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 8.334 * [backup-simplify]: Simplify (+ 0 0) into 0 8.334 * [taylor]: Taking taylor expansion of 0 in z 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.335 * [backup-simplify]: Simplify (- 0) into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.336 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 8.336 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.336 * [backup-simplify]: Simplify (+ 0 0) into 0 8.336 * [taylor]: Taking taylor expansion of 0 in z 8.336 * [backup-simplify]: Simplify 0 into 0 8.336 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.337 * [backup-simplify]: Simplify (- 0) into 0 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.338 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 8.339 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.339 * [backup-simplify]: Simplify (+ 0 0) into 0 8.339 * [taylor]: Taking taylor expansion of 0 in z 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 8.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 1) 8.339 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 8.339 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 8.339 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 8.339 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.339 * [taylor]: Taking taylor expansion of (* 3 x) in z 8.340 * [taylor]: Taking taylor expansion of 3 in z 8.340 * [backup-simplify]: Simplify 3 into 3 8.340 * [taylor]: Taking taylor expansion of x in z 8.340 * [backup-simplify]: Simplify x into x 8.340 * [taylor]: Taking taylor expansion of z in z 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 1 into 1 8.340 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.340 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.340 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.340 * [taylor]: Taking taylor expansion of 3 in x 8.340 * [backup-simplify]: Simplify 3 into 3 8.340 * [taylor]: Taking taylor expansion of x in x 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 1 into 1 8.340 * [taylor]: Taking taylor expansion of z in x 8.340 * [backup-simplify]: Simplify z into z 8.340 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.340 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.340 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.340 * [taylor]: Taking taylor expansion of 3 in x 8.340 * [backup-simplify]: Simplify 3 into 3 8.340 * [taylor]: Taking taylor expansion of x in x 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 1 into 1 8.340 * [taylor]: Taking taylor expansion of z in x 8.340 * [backup-simplify]: Simplify z into z 8.340 * [backup-simplify]: Simplify (* 3 0) into 0 8.340 * [backup-simplify]: Simplify (+ 0 z) into z 8.340 * [taylor]: Taking taylor expansion of z in z 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 1 into 1 8.341 * [backup-simplify]: Simplify 0 into 0 8.341 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.341 * [backup-simplify]: Simplify (+ 3 0) into 3 8.341 * [taylor]: Taking taylor expansion of 3 in z 8.341 * [backup-simplify]: Simplify 3 into 3 8.341 * [backup-simplify]: Simplify 3 into 3 8.341 * [backup-simplify]: Simplify 1 into 1 8.342 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 8.342 * [backup-simplify]: Simplify (+ 0 0) into 0 8.342 * [taylor]: Taking taylor expansion of 0 in z 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.343 * [backup-simplify]: Simplify (+ 0 0) into 0 8.343 * [taylor]: Taking taylor expansion of 0 in z 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 8.343 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 8.343 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 8.343 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 8.344 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.344 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 8.344 * [taylor]: Taking taylor expansion of 3 in z 8.344 * [backup-simplify]: Simplify 3 into 3 8.344 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.344 * [taylor]: Taking taylor expansion of x in z 8.344 * [backup-simplify]: Simplify x into x 8.344 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.344 * [taylor]: Taking taylor expansion of z in z 8.344 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (/ 1 1) into 1 8.344 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.344 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.344 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.344 * [taylor]: Taking taylor expansion of 3 in x 8.344 * [backup-simplify]: Simplify 3 into 3 8.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.344 * [taylor]: Taking taylor expansion of x in x 8.344 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (/ 1 1) into 1 8.345 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.345 * [taylor]: Taking taylor expansion of z in x 8.345 * [backup-simplify]: Simplify z into z 8.345 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.345 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.345 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.345 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.345 * [taylor]: Taking taylor expansion of 3 in x 8.345 * [backup-simplify]: Simplify 3 into 3 8.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.345 * [taylor]: Taking taylor expansion of x in x 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [backup-simplify]: Simplify (/ 1 1) into 1 8.345 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.345 * [taylor]: Taking taylor expansion of z in x 8.345 * [backup-simplify]: Simplify z into z 8.345 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.345 * [backup-simplify]: Simplify (* 3 1) into 3 8.346 * [backup-simplify]: Simplify (+ 3 0) into 3 8.346 * [taylor]: Taking taylor expansion of 3 in z 8.346 * [backup-simplify]: Simplify 3 into 3 8.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.347 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 8.347 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 8.347 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.347 * [taylor]: Taking taylor expansion of z in z 8.347 * [backup-simplify]: Simplify 0 into 0 8.347 * [backup-simplify]: Simplify 1 into 1 8.347 * [backup-simplify]: Simplify (/ 1 1) into 1 8.347 * [backup-simplify]: Simplify 1 into 1 8.347 * [backup-simplify]: Simplify 3 into 3 8.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.348 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 8.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.348 * [backup-simplify]: Simplify (+ 0 0) into 0 8.348 * [taylor]: Taking taylor expansion of 0 in z 8.348 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.350 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.350 * [backup-simplify]: Simplify (+ 0 0) into 0 8.350 * [taylor]: Taking taylor expansion of 0 in z 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.352 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.353 * [backup-simplify]: Simplify (+ 0 0) into 0 8.353 * [taylor]: Taking taylor expansion of 0 in z 8.353 * [backup-simplify]: Simplify 0 into 0 8.353 * [backup-simplify]: Simplify 0 into 0 8.353 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 8.353 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 8.353 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 8.353 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 8.353 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.353 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 8.353 * [taylor]: Taking taylor expansion of 3 in z 8.353 * [backup-simplify]: Simplify 3 into 3 8.353 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.353 * [taylor]: Taking taylor expansion of -1 in z 8.353 * [backup-simplify]: Simplify -1 into -1 8.353 * [taylor]: Taking taylor expansion of x in z 8.353 * [backup-simplify]: Simplify x into x 8.353 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.353 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.353 * [taylor]: Taking taylor expansion of -1 in z 8.353 * [backup-simplify]: Simplify -1 into -1 8.353 * [taylor]: Taking taylor expansion of z in z 8.353 * [backup-simplify]: Simplify 0 into 0 8.353 * [backup-simplify]: Simplify 1 into 1 8.354 * [backup-simplify]: Simplify (/ -1 1) into -1 8.354 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.354 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.354 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.354 * [taylor]: Taking taylor expansion of 3 in x 8.354 * [backup-simplify]: Simplify 3 into 3 8.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.354 * [taylor]: Taking taylor expansion of -1 in x 8.354 * [backup-simplify]: Simplify -1 into -1 8.354 * [taylor]: Taking taylor expansion of x in x 8.354 * [backup-simplify]: Simplify 0 into 0 8.354 * [backup-simplify]: Simplify 1 into 1 8.354 * [backup-simplify]: Simplify (/ -1 1) into -1 8.354 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.354 * [taylor]: Taking taylor expansion of -1 in x 8.354 * [backup-simplify]: Simplify -1 into -1 8.354 * [taylor]: Taking taylor expansion of z in x 8.354 * [backup-simplify]: Simplify z into z 8.354 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.354 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.354 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.354 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.354 * [taylor]: Taking taylor expansion of 3 in x 8.354 * [backup-simplify]: Simplify 3 into 3 8.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.355 * [taylor]: Taking taylor expansion of -1 in x 8.355 * [backup-simplify]: Simplify -1 into -1 8.355 * [taylor]: Taking taylor expansion of x in x 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 1 into 1 8.355 * [backup-simplify]: Simplify (/ -1 1) into -1 8.355 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.355 * [taylor]: Taking taylor expansion of -1 in x 8.355 * [backup-simplify]: Simplify -1 into -1 8.355 * [taylor]: Taking taylor expansion of z in x 8.355 * [backup-simplify]: Simplify z into z 8.355 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.355 * [backup-simplify]: Simplify (* 3 -1) into -3 8.356 * [backup-simplify]: Simplify (+ -3 0) into -3 8.356 * [taylor]: Taking taylor expansion of -3 in z 8.356 * [backup-simplify]: Simplify -3 into -3 8.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.357 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 8.357 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 8.358 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.358 * [taylor]: Taking taylor expansion of z in z 8.358 * [backup-simplify]: Simplify 0 into 0 8.358 * [backup-simplify]: Simplify 1 into 1 8.358 * [backup-simplify]: Simplify (/ 1 1) into 1 8.358 * [backup-simplify]: Simplify (- 1) into -1 8.358 * [backup-simplify]: Simplify -1 into -1 8.358 * [backup-simplify]: Simplify -3 into -3 8.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.361 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 8.361 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 8.361 * [backup-simplify]: Simplify (+ 0 0) into 0 8.361 * [taylor]: Taking taylor expansion of 0 in z 8.361 * [backup-simplify]: Simplify 0 into 0 8.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.362 * [backup-simplify]: Simplify (- 0) into 0 8.362 * [backup-simplify]: Simplify 0 into 0 8.362 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.365 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 8.365 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.365 * [backup-simplify]: Simplify (+ 0 0) into 0 8.365 * [taylor]: Taking taylor expansion of 0 in z 8.366 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.367 * [backup-simplify]: Simplify (- 0) into 0 8.367 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify 0 into 0 8.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.370 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 8.370 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.371 * [backup-simplify]: Simplify (+ 0 0) into 0 8.371 * [taylor]: Taking taylor expansion of 0 in z 8.371 * [backup-simplify]: Simplify 0 into 0 8.371 * [backup-simplify]: Simplify 0 into 0 8.371 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 8.371 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1) 8.371 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 8.371 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 8.371 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 8.372 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.372 * [taylor]: Taking taylor expansion of (* 3 x) in z 8.372 * [taylor]: Taking taylor expansion of 3 in z 8.372 * [backup-simplify]: Simplify 3 into 3 8.372 * [taylor]: Taking taylor expansion of x in z 8.372 * [backup-simplify]: Simplify x into x 8.372 * [taylor]: Taking taylor expansion of z in z 8.372 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify 1 into 1 8.372 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.372 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.372 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.372 * [taylor]: Taking taylor expansion of 3 in x 8.372 * [backup-simplify]: Simplify 3 into 3 8.372 * [taylor]: Taking taylor expansion of x in x 8.372 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify 1 into 1 8.372 * [taylor]: Taking taylor expansion of z in x 8.372 * [backup-simplify]: Simplify z into z 8.372 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.372 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.372 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.372 * [taylor]: Taking taylor expansion of 3 in x 8.372 * [backup-simplify]: Simplify 3 into 3 8.372 * [taylor]: Taking taylor expansion of x in x 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify 1 into 1 8.373 * [taylor]: Taking taylor expansion of z in x 8.373 * [backup-simplify]: Simplify z into z 8.373 * [backup-simplify]: Simplify (* 3 0) into 0 8.373 * [backup-simplify]: Simplify (+ 0 z) into z 8.373 * [taylor]: Taking taylor expansion of z in z 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify 1 into 1 8.373 * [backup-simplify]: Simplify 0 into 0 8.374 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.374 * [backup-simplify]: Simplify (+ 3 0) into 3 8.374 * [taylor]: Taking taylor expansion of 3 in z 8.374 * [backup-simplify]: Simplify 3 into 3 8.375 * [backup-simplify]: Simplify 3 into 3 8.375 * [backup-simplify]: Simplify 1 into 1 8.376 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 8.376 * [backup-simplify]: Simplify (+ 0 0) into 0 8.376 * [taylor]: Taking taylor expansion of 0 in z 8.376 * [backup-simplify]: Simplify 0 into 0 8.376 * [backup-simplify]: Simplify 0 into 0 8.376 * [backup-simplify]: Simplify 0 into 0 8.376 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.378 * [backup-simplify]: Simplify (+ 0 0) into 0 8.378 * [taylor]: Taking taylor expansion of 0 in z 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 8.378 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 8.378 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 8.378 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 8.378 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.378 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 8.378 * [taylor]: Taking taylor expansion of 3 in z 8.379 * [backup-simplify]: Simplify 3 into 3 8.379 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.379 * [taylor]: Taking taylor expansion of x in z 8.379 * [backup-simplify]: Simplify x into x 8.379 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.379 * [taylor]: Taking taylor expansion of z in z 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 1 into 1 8.379 * [backup-simplify]: Simplify (/ 1 1) into 1 8.379 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.379 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.379 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.379 * [taylor]: Taking taylor expansion of 3 in x 8.379 * [backup-simplify]: Simplify 3 into 3 8.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.380 * [taylor]: Taking taylor expansion of x in x 8.380 * [backup-simplify]: Simplify 0 into 0 8.380 * [backup-simplify]: Simplify 1 into 1 8.380 * [backup-simplify]: Simplify (/ 1 1) into 1 8.380 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.380 * [taylor]: Taking taylor expansion of z in x 8.380 * [backup-simplify]: Simplify z into z 8.380 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.380 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.380 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.380 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.380 * [taylor]: Taking taylor expansion of 3 in x 8.380 * [backup-simplify]: Simplify 3 into 3 8.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.380 * [taylor]: Taking taylor expansion of x in x 8.380 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify 1 into 1 8.381 * [backup-simplify]: Simplify (/ 1 1) into 1 8.381 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.381 * [taylor]: Taking taylor expansion of z in x 8.381 * [backup-simplify]: Simplify z into z 8.381 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.382 * [backup-simplify]: Simplify (* 3 1) into 3 8.382 * [backup-simplify]: Simplify (+ 3 0) into 3 8.382 * [taylor]: Taking taylor expansion of 3 in z 8.382 * [backup-simplify]: Simplify 3 into 3 8.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.384 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 8.384 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 8.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.384 * [taylor]: Taking taylor expansion of z in z 8.384 * [backup-simplify]: Simplify 0 into 0 8.384 * [backup-simplify]: Simplify 1 into 1 8.384 * [backup-simplify]: Simplify (/ 1 1) into 1 8.384 * [backup-simplify]: Simplify 1 into 1 8.384 * [backup-simplify]: Simplify 3 into 3 8.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.386 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 8.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.387 * [backup-simplify]: Simplify (+ 0 0) into 0 8.387 * [taylor]: Taking taylor expansion of 0 in z 8.387 * [backup-simplify]: Simplify 0 into 0 8.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.388 * [backup-simplify]: Simplify 0 into 0 8.388 * [backup-simplify]: Simplify 0 into 0 8.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.389 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.389 * [backup-simplify]: Simplify (+ 0 0) into 0 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [backup-simplify]: Simplify 0 into 0 8.389 * [backup-simplify]: Simplify 0 into 0 8.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.390 * [backup-simplify]: Simplify 0 into 0 8.390 * [backup-simplify]: Simplify 0 into 0 8.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.391 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.391 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.391 * [backup-simplify]: Simplify (+ 0 0) into 0 8.391 * [taylor]: Taking taylor expansion of 0 in z 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 8.392 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 8.392 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 8.392 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 8.392 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.392 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 8.392 * [taylor]: Taking taylor expansion of 3 in z 8.392 * [backup-simplify]: Simplify 3 into 3 8.392 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.392 * [taylor]: Taking taylor expansion of -1 in z 8.392 * [backup-simplify]: Simplify -1 into -1 8.392 * [taylor]: Taking taylor expansion of x in z 8.392 * [backup-simplify]: Simplify x into x 8.392 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.392 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.392 * [taylor]: Taking taylor expansion of -1 in z 8.392 * [backup-simplify]: Simplify -1 into -1 8.392 * [taylor]: Taking taylor expansion of z in z 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.392 * [backup-simplify]: Simplify (/ -1 1) into -1 8.392 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.392 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.392 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.392 * [taylor]: Taking taylor expansion of 3 in x 8.392 * [backup-simplify]: Simplify 3 into 3 8.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.392 * [taylor]: Taking taylor expansion of -1 in x 8.392 * [backup-simplify]: Simplify -1 into -1 8.392 * [taylor]: Taking taylor expansion of x in x 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify 1 into 1 8.393 * [backup-simplify]: Simplify (/ -1 1) into -1 8.393 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.393 * [taylor]: Taking taylor expansion of -1 in x 8.393 * [backup-simplify]: Simplify -1 into -1 8.393 * [taylor]: Taking taylor expansion of z in x 8.393 * [backup-simplify]: Simplify z into z 8.393 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.393 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.393 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.393 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.393 * [taylor]: Taking taylor expansion of 3 in x 8.393 * [backup-simplify]: Simplify 3 into 3 8.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.393 * [taylor]: Taking taylor expansion of -1 in x 8.393 * [backup-simplify]: Simplify -1 into -1 8.393 * [taylor]: Taking taylor expansion of x in x 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify 1 into 1 8.393 * [backup-simplify]: Simplify (/ -1 1) into -1 8.393 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.393 * [taylor]: Taking taylor expansion of -1 in x 8.393 * [backup-simplify]: Simplify -1 into -1 8.394 * [taylor]: Taking taylor expansion of z in x 8.394 * [backup-simplify]: Simplify z into z 8.394 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.394 * [backup-simplify]: Simplify (* 3 -1) into -3 8.394 * [backup-simplify]: Simplify (+ -3 0) into -3 8.394 * [taylor]: Taking taylor expansion of -3 in z 8.394 * [backup-simplify]: Simplify -3 into -3 8.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.395 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 8.395 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 8.395 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.395 * [taylor]: Taking taylor expansion of z in z 8.395 * [backup-simplify]: Simplify 0 into 0 8.395 * [backup-simplify]: Simplify 1 into 1 8.395 * [backup-simplify]: Simplify (/ 1 1) into 1 8.396 * [backup-simplify]: Simplify (- 1) into -1 8.396 * [backup-simplify]: Simplify -1 into -1 8.396 * [backup-simplify]: Simplify -3 into -3 8.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.397 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 8.397 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 8.397 * [backup-simplify]: Simplify (+ 0 0) into 0 8.397 * [taylor]: Taking taylor expansion of 0 in z 8.397 * [backup-simplify]: Simplify 0 into 0 8.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.398 * [backup-simplify]: Simplify (- 0) into 0 8.398 * [backup-simplify]: Simplify 0 into 0 8.398 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.399 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 8.399 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.400 * [backup-simplify]: Simplify (+ 0 0) into 0 8.400 * [taylor]: Taking taylor expansion of 0 in z 8.400 * [backup-simplify]: Simplify 0 into 0 8.400 * [backup-simplify]: Simplify 0 into 0 8.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.400 * [backup-simplify]: Simplify (- 0) into 0 8.400 * [backup-simplify]: Simplify 0 into 0 8.400 * [backup-simplify]: Simplify 0 into 0 8.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.402 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 8.402 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.402 * [backup-simplify]: Simplify (+ 0 0) into 0 8.402 * [taylor]: Taking taylor expansion of 0 in z 8.402 * [backup-simplify]: Simplify 0 into 0 8.402 * [backup-simplify]: Simplify 0 into 0 8.402 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 8.403 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2) 8.403 * [backup-simplify]: Simplify (sqrt (fma 3 x z)) into (sqrt (fma 3 x z)) 8.403 * [approximate]: Taking taylor expansion of (sqrt (fma 3 x z)) in (x z) around 0 8.403 * [taylor]: Taking taylor expansion of (sqrt (fma 3 x z)) in z 8.403 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 8.403 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.403 * [taylor]: Taking taylor expansion of (* 3 x) in z 8.403 * [taylor]: Taking taylor expansion of 3 in z 8.403 * [backup-simplify]: Simplify 3 into 3 8.403 * [taylor]: Taking taylor expansion of x in z 8.403 * [backup-simplify]: Simplify x into x 8.403 * [taylor]: Taking taylor expansion of z in z 8.403 * [backup-simplify]: Simplify 0 into 0 8.403 * [backup-simplify]: Simplify 1 into 1 8.403 * [backup-simplify]: Simplify (* 3 x) into (* 3 x) 8.403 * [backup-simplify]: Simplify (+ (* 3 x) 0) into (* 3 x) 8.403 * [backup-simplify]: Simplify (sqrt (* 3 x)) into (* (sqrt 3) (sqrt x)) 8.403 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x)) into 0 8.404 * [backup-simplify]: Simplify (+ 0 1) into 1 8.404 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (* 3 x)))) into (* 1/2 (* (/ 1 (sqrt 3)) (sqrt (/ 1 x)))) 8.404 * [taylor]: Taking taylor expansion of (sqrt (fma 3 x z)) in x 8.404 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.404 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.404 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.404 * [taylor]: Taking taylor expansion of 3 in x 8.404 * [backup-simplify]: Simplify 3 into 3 8.404 * [taylor]: Taking taylor expansion of x in x 8.404 * [backup-simplify]: Simplify 0 into 0 8.404 * [backup-simplify]: Simplify 1 into 1 8.404 * [taylor]: Taking taylor expansion of z in x 8.404 * [backup-simplify]: Simplify z into z 8.404 * [backup-simplify]: Simplify (* 3 0) into 0 8.404 * [backup-simplify]: Simplify (+ 0 z) into z 8.404 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 8.405 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.405 * [backup-simplify]: Simplify (+ 3 0) into 3 8.405 * [backup-simplify]: Simplify (/ 3 (* 2 (sqrt z))) into (* 3/2 (sqrt (/ 1 z))) 8.405 * [taylor]: Taking taylor expansion of (sqrt (fma 3 x z)) in x 8.405 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 8.405 * [taylor]: Rewrote expression to (+ (* 3 x) z) 8.405 * [taylor]: Taking taylor expansion of (* 3 x) in x 8.405 * [taylor]: Taking taylor expansion of 3 in x 8.405 * [backup-simplify]: Simplify 3 into 3 8.405 * [taylor]: Taking taylor expansion of x in x 8.405 * [backup-simplify]: Simplify 0 into 0 8.405 * [backup-simplify]: Simplify 1 into 1 8.405 * [taylor]: Taking taylor expansion of z in x 8.405 * [backup-simplify]: Simplify z into z 8.409 * [backup-simplify]: Simplify (* 3 0) into 0 8.409 * [backup-simplify]: Simplify (+ 0 z) into z 8.409 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 8.409 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.410 * [backup-simplify]: Simplify (+ 3 0) into 3 8.410 * [backup-simplify]: Simplify (/ 3 (* 2 (sqrt z))) into (* 3/2 (sqrt (/ 1 z))) 8.410 * [taylor]: Taking taylor expansion of (sqrt z) in z 8.410 * [taylor]: Taking taylor expansion of z in z 8.410 * [backup-simplify]: Simplify 0 into 0 8.410 * [backup-simplify]: Simplify 1 into 1 8.410 * [backup-simplify]: Simplify (sqrt 0) into 0 8.411 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.411 * [backup-simplify]: Simplify 0 into 0 8.411 * [taylor]: Taking taylor expansion of (* 3/2 (sqrt (/ 1 z))) in z 8.411 * [taylor]: Taking taylor expansion of 3/2 in z 8.411 * [backup-simplify]: Simplify 3/2 into 3/2 8.411 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 8.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.411 * [taylor]: Taking taylor expansion of z in z 8.411 * [backup-simplify]: Simplify 0 into 0 8.411 * [backup-simplify]: Simplify 1 into 1 8.412 * [backup-simplify]: Simplify (/ 1 1) into 1 8.412 * [backup-simplify]: Simplify (sqrt 0) into 0 8.413 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.413 * [backup-simplify]: Simplify (+ (* 3/2 +nan.0) (* 0 0)) into (- +nan.0) 8.414 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.414 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.414 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 8.414 * [backup-simplify]: Simplify (+ 0 0) into 0 8.415 * [backup-simplify]: Simplify (/ (- 0 (pow (* 3/2 (sqrt (/ 1 z))) 2) (+)) (* 2 (sqrt z))) into (* -9/8 (sqrt (/ 1 (pow z 3)))) 8.415 * [taylor]: Taking taylor expansion of (* -9/8 (sqrt (/ 1 (pow z 3)))) in z 8.415 * [taylor]: Taking taylor expansion of -9/8 in z 8.415 * [backup-simplify]: Simplify -9/8 into -9/8 8.415 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z 8.415 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 8.415 * [taylor]: Taking taylor expansion of (pow z 3) in z 8.415 * [taylor]: Taking taylor expansion of z in z 8.415 * [backup-simplify]: Simplify 0 into 0 8.415 * [backup-simplify]: Simplify 1 into 1 8.415 * [backup-simplify]: Simplify (* 1 1) into 1 8.416 * [backup-simplify]: Simplify (* 1 1) into 1 8.416 * [backup-simplify]: Simplify (/ 1 1) into 1 8.417 * [backup-simplify]: Simplify (sqrt 0) into 0 8.418 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.419 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.423 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.425 * [backup-simplify]: Simplify (+ (* -9/8 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 8.425 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.427 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* +nan.0 (* z 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) 8.427 * [backup-simplify]: Simplify (sqrt (fma 3 (/ 1 x) (/ 1 z))) into (sqrt (fma 3 (/ 1 x) (/ 1 z))) 8.427 * [approximate]: Taking taylor expansion of (sqrt (fma 3 (/ 1 x) (/ 1 z))) in (x z) around 0 8.427 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ 1 x) (/ 1 z))) in z 8.427 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 8.427 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.427 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 8.427 * [taylor]: Taking taylor expansion of 3 in z 8.427 * [backup-simplify]: Simplify 3 into 3 8.427 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.427 * [taylor]: Taking taylor expansion of x in z 8.427 * [backup-simplify]: Simplify x into x 8.427 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.427 * [taylor]: Taking taylor expansion of z in z 8.428 * [backup-simplify]: Simplify 0 into 0 8.428 * [backup-simplify]: Simplify 1 into 1 8.428 * [backup-simplify]: Simplify (/ 1 1) into 1 8.428 * [backup-simplify]: Simplify (+ 0 1) into 1 8.429 * [backup-simplify]: Simplify (sqrt 0) into 0 8.430 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.430 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ 1 x) (/ 1 z))) in x 8.430 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.430 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.430 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.430 * [taylor]: Taking taylor expansion of 3 in x 8.430 * [backup-simplify]: Simplify 3 into 3 8.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.430 * [taylor]: Taking taylor expansion of x in x 8.430 * [backup-simplify]: Simplify 0 into 0 8.431 * [backup-simplify]: Simplify 1 into 1 8.431 * [backup-simplify]: Simplify (/ 1 1) into 1 8.431 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.431 * [taylor]: Taking taylor expansion of z in x 8.431 * [backup-simplify]: Simplify z into z 8.431 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.432 * [backup-simplify]: Simplify (* 3 1) into 3 8.432 * [backup-simplify]: Simplify (+ 3 0) into 3 8.433 * [backup-simplify]: Simplify (sqrt 0) into 0 8.434 * [backup-simplify]: Simplify (/ 3 (* 2 (sqrt 0))) into +nan.0 8.434 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ 1 x) (/ 1 z))) in x 8.434 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 8.434 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 8.434 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 8.434 * [taylor]: Taking taylor expansion of 3 in x 8.434 * [backup-simplify]: Simplify 3 into 3 8.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.434 * [taylor]: Taking taylor expansion of x in x 8.434 * [backup-simplify]: Simplify 0 into 0 8.435 * [backup-simplify]: Simplify 1 into 1 8.435 * [backup-simplify]: Simplify (/ 1 1) into 1 8.435 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.435 * [taylor]: Taking taylor expansion of z in x 8.435 * [backup-simplify]: Simplify z into z 8.435 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.436 * [backup-simplify]: Simplify (* 3 1) into 3 8.436 * [backup-simplify]: Simplify (+ 3 0) into 3 8.436 * [backup-simplify]: Simplify (sqrt 0) into 0 8.438 * [backup-simplify]: Simplify (/ 3 (* 2 (sqrt 0))) into +nan.0 8.438 * [taylor]: Taking taylor expansion of 0 in z 8.438 * [backup-simplify]: Simplify 0 into 0 8.438 * [taylor]: Taking taylor expansion of +nan.0 in z 8.438 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.438 * [backup-simplify]: Simplify 0 into 0 8.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.439 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 8.439 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 8.440 * [backup-simplify]: Simplify (/ (- (/ 1 z) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 z) +nan.0)) 8.440 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 z) +nan.0)) in z 8.440 * [taylor]: Taking taylor expansion of +nan.0 in z 8.440 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.440 * [taylor]: Taking taylor expansion of (- (/ 1 z) +nan.0) in z 8.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.440 * [taylor]: Taking taylor expansion of z in z 8.440 * [backup-simplify]: Simplify 0 into 0 8.440 * [backup-simplify]: Simplify 1 into 1 8.441 * [backup-simplify]: Simplify (/ 1 1) into 1 8.441 * [taylor]: Taking taylor expansion of +nan.0 in z 8.441 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.441 * [backup-simplify]: Simplify (+ 1 0) into 1 8.441 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.441 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.441 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.441 * [backup-simplify]: Simplify 0 into 0 8.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.442 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 8.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.443 * [backup-simplify]: Simplify (+ 0 0) into 0 8.443 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 z) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) 8.443 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 8.443 * [taylor]: Taking taylor expansion of +nan.0 in z 8.443 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.443 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 8.443 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 8.443 * [taylor]: Taking taylor expansion of +nan.0 in z 8.443 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.443 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.443 * [taylor]: Taking taylor expansion of z in z 8.443 * [backup-simplify]: Simplify 0 into 0 8.443 * [backup-simplify]: Simplify 1 into 1 8.443 * [backup-simplify]: Simplify (/ 1 1) into 1 8.443 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.443 * [taylor]: Taking taylor expansion of +nan.0 in z 8.443 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.444 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.444 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.445 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.445 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.445 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 z)) (pow (/ 1 x) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 z)) (/ 1 x))))) into (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) 8.445 * [backup-simplify]: Simplify (sqrt (fma 3 (/ 1 (- x)) (/ 1 (- z)))) into (sqrt (fma 3 (/ -1 x) (/ -1 z))) 8.445 * [approximate]: Taking taylor expansion of (sqrt (fma 3 (/ -1 x) (/ -1 z))) in (x z) around 0 8.445 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ -1 x) (/ -1 z))) in z 8.445 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 8.445 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.445 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 8.445 * [taylor]: Taking taylor expansion of 3 in z 8.445 * [backup-simplify]: Simplify 3 into 3 8.445 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.445 * [taylor]: Taking taylor expansion of -1 in z 8.445 * [backup-simplify]: Simplify -1 into -1 8.445 * [taylor]: Taking taylor expansion of x in z 8.445 * [backup-simplify]: Simplify x into x 8.445 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.445 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.445 * [taylor]: Taking taylor expansion of -1 in z 8.445 * [backup-simplify]: Simplify -1 into -1 8.445 * [taylor]: Taking taylor expansion of z in z 8.445 * [backup-simplify]: Simplify 0 into 0 8.445 * [backup-simplify]: Simplify 1 into 1 8.446 * [backup-simplify]: Simplify (/ -1 1) into -1 8.446 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.446 * [backup-simplify]: Simplify (sqrt 0) into 0 8.447 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.447 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ -1 x) (/ -1 z))) in x 8.447 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.447 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.447 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.447 * [taylor]: Taking taylor expansion of 3 in x 8.447 * [backup-simplify]: Simplify 3 into 3 8.447 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.447 * [taylor]: Taking taylor expansion of -1 in x 8.447 * [backup-simplify]: Simplify -1 into -1 8.447 * [taylor]: Taking taylor expansion of x in x 8.447 * [backup-simplify]: Simplify 0 into 0 8.447 * [backup-simplify]: Simplify 1 into 1 8.448 * [backup-simplify]: Simplify (/ -1 1) into -1 8.448 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.448 * [taylor]: Taking taylor expansion of -1 in x 8.448 * [backup-simplify]: Simplify -1 into -1 8.448 * [taylor]: Taking taylor expansion of z in x 8.448 * [backup-simplify]: Simplify z into z 8.448 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.448 * [backup-simplify]: Simplify (* 3 -1) into -3 8.448 * [backup-simplify]: Simplify (+ -3 0) into -3 8.448 * [backup-simplify]: Simplify (sqrt 0) into 0 8.449 * [backup-simplify]: Simplify (/ -3 (* 2 (sqrt 0))) into +nan.0 8.449 * [taylor]: Taking taylor expansion of (sqrt (fma 3 (/ -1 x) (/ -1 z))) in x 8.449 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 8.449 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 8.449 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 8.449 * [taylor]: Taking taylor expansion of 3 in x 8.449 * [backup-simplify]: Simplify 3 into 3 8.449 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.449 * [taylor]: Taking taylor expansion of -1 in x 8.449 * [backup-simplify]: Simplify -1 into -1 8.449 * [taylor]: Taking taylor expansion of x in x 8.449 * [backup-simplify]: Simplify 0 into 0 8.450 * [backup-simplify]: Simplify 1 into 1 8.450 * [backup-simplify]: Simplify (/ -1 1) into -1 8.450 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.450 * [taylor]: Taking taylor expansion of -1 in x 8.450 * [backup-simplify]: Simplify -1 into -1 8.450 * [taylor]: Taking taylor expansion of z in x 8.450 * [backup-simplify]: Simplify z into z 8.450 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.450 * [backup-simplify]: Simplify (* 3 -1) into -3 8.450 * [backup-simplify]: Simplify (+ -3 0) into -3 8.451 * [backup-simplify]: Simplify (sqrt 0) into 0 8.451 * [backup-simplify]: Simplify (/ -3 (* 2 (sqrt 0))) into +nan.0 8.451 * [taylor]: Taking taylor expansion of 0 in z 8.452 * [backup-simplify]: Simplify 0 into 0 8.452 * [taylor]: Taking taylor expansion of +nan.0 in z 8.452 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.452 * [backup-simplify]: Simplify 0 into 0 8.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.453 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 8.453 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 8.453 * [backup-simplify]: Simplify (/ (- (- (/ 1 z)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 z) (- +nan.0))) 8.453 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 8.453 * [taylor]: Taking taylor expansion of +nan.0 in z 8.453 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.453 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 8.453 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.454 * [taylor]: Taking taylor expansion of z in z 8.454 * [backup-simplify]: Simplify 0 into 0 8.454 * [backup-simplify]: Simplify 1 into 1 8.454 * [backup-simplify]: Simplify (/ 1 1) into 1 8.454 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.454 * [taylor]: Taking taylor expansion of +nan.0 in z 8.454 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.454 * [backup-simplify]: Simplify (+ 1 0) into 1 8.454 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.454 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.454 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.454 * [backup-simplify]: Simplify 0 into 0 8.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.456 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 8.456 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 8.456 * [backup-simplify]: Simplify (+ 0 0) into 0 8.457 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 z) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) 8.457 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 8.457 * [taylor]: Taking taylor expansion of +nan.0 in z 8.457 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.457 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 8.457 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 8.457 * [taylor]: Taking taylor expansion of +nan.0 in z 8.457 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.457 * [taylor]: Taking taylor expansion of z in z 8.457 * [backup-simplify]: Simplify 0 into 0 8.457 * [backup-simplify]: Simplify 1 into 1 8.457 * [backup-simplify]: Simplify (/ 1 1) into 1 8.457 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.457 * [taylor]: Taking taylor expansion of +nan.0 in z 8.457 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.457 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.458 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.458 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.458 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.459 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 (- z))) (pow (/ 1 (- x)) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 (- z))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) 8.459 * * * [progress]: simplifying candidates 8.460 * [simplify]: Simplifying: (expm1 (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (log1p (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fma 3 x z) (fma 3 x z)) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (* (fma 3 x z) (fma 3 x z)) (+ 1 1) (+ (log (sqrt (fma 3 x z))) (log (sqrt (fma 3 x z)))) (log (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (exp (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (* (* (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (sqrt (fma 3 x z))) (* (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (sqrt (fma 3 x z)))) (* (cbrt (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (cbrt (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))))) (cbrt (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (* (* (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (* (fma 3 x z) (fma 3 x z)) (sqrt (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (sqrt (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z)))) (* (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z)))) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z))))) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z)))) (* (sqrt (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))) (sqrt (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))))) (* (sqrt (cbrt (fma 3 x z))) (sqrt (cbrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* 1 1) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fma 3 x z)) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z))))) (* (sqrt (fma 3 x z)) (sqrt (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))))) (* (sqrt (fma 3 x z)) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (fma 3 x z)) (sqrt 1)) (* (sqrt (fma 3 x z)) (sqrt (sqrt (fma 3 x z)))) (* (sqrt (fma 3 x z)) 1) (* (cbrt (sqrt (fma 3 x z))) (sqrt (fma 3 x z))) (* (sqrt (cbrt (fma 3 x z))) (sqrt (fma 3 x z))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (fma 3 x z))) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (* (sqrt (sqrt (fma 3 x z))) (sqrt (fma 3 x z))) (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (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 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 (sqrt (fma 3 x z))) (log1p (sqrt (fma 3 x z))) (log (sqrt (fma 3 x z))) (exp (sqrt (fma 3 x z))) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z)))) (cbrt (sqrt (fma 3 x z))) (* (* (sqrt (fma 3 x z)) (sqrt (fma 3 x z))) (sqrt (fma 3 x z))) (sqrt (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))) (sqrt (cbrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) (sqrt 1) (sqrt (fma 3 x z)) (/ 1 2) (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) 8.461 * * [simplify]: Extracting # 0 : cost 0 8.462 * * [simplify]: Extracting # 1 : cost 0 8.462 * * [simplify]: Extracting # 2 : cost 0 8.462 * * [simplify]: Extracting # 3 : cost 0 8.462 * * [simplify]: Extracting # 4 : cost 0 8.462 * * [simplify]: Extracting # 5 : cost 0 8.462 * * [simplify]: Extracting # 6 : cost 0 8.462 * * [simplify]: Extracting # 7 : cost 0 8.462 * * [simplify]: Extracting # 8 : cost 0 8.462 * * [simplify]: iteration 0 : 83 enodes (cost 1064 ) 8.488 * * [simplify]: Extracting # 0 : cost 0 8.488 * * [simplify]: Extracting # 1 : cost 0 8.488 * * [simplify]: Extracting # 2 : cost 0 8.488 * * [simplify]: iteration 1 : 172 enodes (cost 690 ) 8.554 * * [simplify]: Extracting # 0 : cost 0 8.555 * * [simplify]: Extracting # 1 : cost 0 8.555 * * [simplify]: Extracting # 2 : cost 0 8.556 * * [simplify]: Extracting # 3 : cost 0 8.556 * * [simplify]: iteration 2 : 549 enodes (cost 625 ) 8.993 * * [simplify]: Extracting # 0 : cost 0 8.999 * * [simplify]: Extracting # 1 : cost 0 9.002 * * [simplify]: Extracting # 2 : cost 0 9.005 * * [simplify]: Extracting # 3 : cost 0 9.009 * * [simplify]: Extracting # 4 : cost 0 9.012 * * [simplify]: iteration 3 : 3012 enodes (cost 598 ) 10.439 * * [simplify]: Extracting # 0 : cost 0 10.449 * * [simplify]: Extracting # 1 : cost 0 10.454 * * [simplify]: Extracting # 2 : cost 0 10.459 * * [simplify]: iteration done: 5000 enodes (cost 595 ) 10.460 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) 1 1 2 1 1 (pow (sqrt (fma 3 x z)) 4) (fma 3 x z) (pow (sqrt (fma 3 x z)) 4) 2 (log (fma 3 x z)) (log (fma 3 x z)) (exp (fma 3 x z)) (pow (fma 3 x z) 3) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (pow (fma 3 x z) 3) (pow (sqrt (fma 3 x z)) 4) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (pow (cbrt (sqrt (fma 3 x z))) 4) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z)))) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) 1 (fma 3 x z) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) 1 (fma 3 x z) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) 1 2 1 (* (pow (cbrt (sqrt (fma 3 x z))) 4) (cbrt (sqrt (fma 3 x z)))) (* (fabs (cbrt (fma 3 x z))) (sqrt (fma 3 x z))) (pow (sqrt (sqrt (fma 3 x z))) 3) (sqrt (fma 3 x z)) (pow (sqrt (sqrt (fma 3 x z))) 3) (sqrt (fma 3 x z)) (pow (cbrt (sqrt (fma 3 x z))) 4) (* (sqrt (cbrt (fma 3 x z))) (sqrt (fma 3 x z))) (pow (sqrt (sqrt (fma 3 x z))) 3) (fma 3 x z) (pow (sqrt (sqrt (fma 3 x z))) 3) (fma 3 x z) (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 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 (sqrt (fma 3 x z))) (log1p (sqrt (fma 3 x z))) (log (sqrt (fma 3 x z))) (exp (sqrt (fma 3 x z))) (* (cbrt (sqrt (fma 3 x z))) (cbrt (sqrt (fma 3 x z)))) (cbrt (sqrt (fma 3 x z))) (pow (sqrt (fma 3 x z)) 3) (fabs (cbrt (fma 3 x z))) (sqrt (cbrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) 1 (sqrt (fma 3 x z)) 1/2 (sqrt (sqrt (fma 3 x z))) (sqrt (sqrt (fma 3 x z))) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 3 x z) (* +nan.0 (fma (- x) x (- x z))) (- (fma +nan.0 (- (/ z (pow x 2)) (/ z x)) +nan.0)) (- (fma +nan.0 (- (/ z (pow x 2)) (/ z x)) +nan.0)) 10.461 * * * [progress]: adding candidates to table 10.758 * [progress]: [Phase 3 of 3] Extracting. 10.758 * * [regime]: Finding splitpoints for: (# # #) 10.759 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 10.759 * * * * [regimes]: Trying to branch on z from (# # #) 10.780 * * * * [regimes]: Trying to branch on y from (# # #) 10.800 * * * * [regimes]: Trying to branch on x from (# # #) 10.822 * * * [regime]: Found split indices: #