23.808 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.050 * [progress]: [Phase 2 of 3] Improving. 0.050 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: Extracting # 3 : cost 0 0.051 * * [simplify]: Extracting # 4 : cost 0 0.051 * * [simplify]: Extracting # 5 : cost 0 0.051 * * [simplify]: Extracting # 6 : cost 0 0.051 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: iteration 3 : 208 enodes (cost 9 ) 0.211 * * [simplify]: Extracting # 0 : cost 0 0.212 * * [simplify]: Extracting # 1 : cost 0 0.212 * * [simplify]: Extracting # 2 : cost 0 0.212 * * [simplify]: Extracting # 3 : cost 0 0.212 * * [simplify]: iteration 4 : 419 enodes (cost 8 ) 0.358 * * [simplify]: Extracting # 0 : cost 0 0.359 * * [simplify]: Extracting # 1 : cost 0 0.359 * * [simplify]: iteration 5 : 469 enodes (cost 7 ) 0.472 * * [simplify]: Extracting # 0 : cost 0 0.472 * * [simplify]: iteration 6 : 475 enodes (cost 7 ) 0.613 * * [simplify]: Extracting # 0 : cost 0 0.614 * * [simplify]: iteration done: 475 enodes (cost 7 ) 0.614 * [simplify]: Simplified to: (fma y 2 (fma 3 x z)) 0.619 * * [progress]: iteration 1 / 4 0.619 * * * [progress]: picking best candidate 0.625 * * * * [pick]: Picked # 0.625 * * * [progress]: localizing error 0.640 * * * [progress]: generating rewritten candidates 0.640 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 0.641 * * * [progress]: generating series expansions 0.641 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 0.641 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 0.641 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 0.641 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.642 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.642 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.642 * [taylor]: Taking taylor expansion of 3 in z 0.642 * [backup-simplify]: Simplify 3 into 3 0.642 * [taylor]: Taking taylor expansion of x in z 0.642 * [backup-simplify]: Simplify x into x 0.642 * [taylor]: Taking taylor expansion of z in z 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.642 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.642 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.642 * [taylor]: Taking taylor expansion of 3 in x 0.642 * [backup-simplify]: Simplify 3 into 3 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [taylor]: Taking taylor expansion of z in x 0.642 * [backup-simplify]: Simplify z into z 0.642 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.642 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.642 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.642 * [taylor]: Taking taylor expansion of 3 in x 0.642 * [backup-simplify]: Simplify 3 into 3 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.643 * [taylor]: Taking taylor expansion of z in x 0.643 * [backup-simplify]: Simplify z into z 0.643 * [backup-simplify]: Simplify (* 3 0) into 0 0.643 * [backup-simplify]: Simplify (+ 0 z) into z 0.643 * [taylor]: Taking taylor expansion of z in z 0.643 * [backup-simplify]: Simplify 0 into 0 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify 0 into 0 0.644 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.645 * [backup-simplify]: Simplify (+ 3 0) into 3 0.645 * [taylor]: Taking taylor expansion of 3 in z 0.645 * [backup-simplify]: Simplify 3 into 3 0.645 * [backup-simplify]: Simplify 3 into 3 0.645 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 0.646 * [backup-simplify]: Simplify (+ 0 0) into 0 0.646 * [taylor]: Taking taylor expansion of 0 in z 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.648 * [backup-simplify]: Simplify (+ 0 0) into 0 0.648 * [taylor]: Taking taylor expansion of 0 in z 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 0.649 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 0.649 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 0.649 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.649 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.649 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.649 * [taylor]: Taking taylor expansion of 3 in z 0.649 * [backup-simplify]: Simplify 3 into 3 0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.649 * [taylor]: Taking taylor expansion of x in z 0.649 * [backup-simplify]: Simplify x into x 0.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.649 * [taylor]: Taking taylor expansion of z in z 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (/ 1 1) into 1 0.650 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.650 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.650 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.650 * [taylor]: Taking taylor expansion of 3 in x 0.650 * [backup-simplify]: Simplify 3 into 3 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (/ 1 1) into 1 0.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.650 * [taylor]: Taking taylor expansion of z in x 0.650 * [backup-simplify]: Simplify z into z 0.650 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.650 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.651 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.651 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.651 * [taylor]: Taking taylor expansion of 3 in x 0.651 * [backup-simplify]: Simplify 3 into 3 0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (/ 1 1) into 1 0.651 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.651 * [taylor]: Taking taylor expansion of z in x 0.651 * [backup-simplify]: Simplify z into z 0.651 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.652 * [backup-simplify]: Simplify (* 3 1) into 3 0.652 * [backup-simplify]: Simplify (+ 3 0) into 3 0.652 * [taylor]: Taking taylor expansion of 3 in z 0.652 * [backup-simplify]: Simplify 3 into 3 0.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.654 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.654 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.654 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.654 * [taylor]: Taking taylor expansion of z in z 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify (/ 1 1) into 1 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify 3 into 3 0.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.656 * [backup-simplify]: Simplify (+ 0 0) into 0 0.656 * [taylor]: Taking taylor expansion of 0 in z 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.658 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.658 * [backup-simplify]: Simplify (+ 0 0) into 0 0.658 * [taylor]: Taking taylor expansion of 0 in z 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.660 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.661 * [backup-simplify]: Simplify (+ 0 0) into 0 0.661 * [taylor]: Taking taylor expansion of 0 in z 0.661 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 0.661 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 0.661 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 0.661 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.661 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.661 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.661 * [taylor]: Taking taylor expansion of 3 in z 0.661 * [backup-simplify]: Simplify 3 into 3 0.661 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.661 * [taylor]: Taking taylor expansion of -1 in z 0.661 * [backup-simplify]: Simplify -1 into -1 0.661 * [taylor]: Taking taylor expansion of x in z 0.661 * [backup-simplify]: Simplify x into x 0.662 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.662 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.662 * [taylor]: Taking taylor expansion of -1 in z 0.662 * [backup-simplify]: Simplify -1 into -1 0.662 * [taylor]: Taking taylor expansion of z in z 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [backup-simplify]: Simplify (/ -1 1) into -1 0.662 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.662 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.662 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.662 * [taylor]: Taking taylor expansion of 3 in x 0.662 * [backup-simplify]: Simplify 3 into 3 0.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.662 * [taylor]: Taking taylor expansion of -1 in x 0.662 * [backup-simplify]: Simplify -1 into -1 0.662 * [taylor]: Taking taylor expansion of x in x 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ -1 1) into -1 0.663 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.663 * [taylor]: Taking taylor expansion of -1 in x 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [taylor]: Taking taylor expansion of z in x 0.663 * [backup-simplify]: Simplify z into z 0.663 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.663 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.663 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.663 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.663 * [taylor]: Taking taylor expansion of 3 in x 0.663 * [backup-simplify]: Simplify 3 into 3 0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.663 * [taylor]: Taking taylor expansion of -1 in x 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ -1 1) into -1 0.663 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.663 * [taylor]: Taking taylor expansion of -1 in x 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [taylor]: Taking taylor expansion of z in x 0.663 * [backup-simplify]: Simplify z into z 0.663 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.664 * [backup-simplify]: Simplify (* 3 -1) into -3 0.664 * [backup-simplify]: Simplify (+ -3 0) into -3 0.664 * [taylor]: Taking taylor expansion of -3 in z 0.664 * [backup-simplify]: Simplify -3 into -3 0.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.665 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 0.665 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 0.665 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.665 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.665 * [taylor]: Taking taylor expansion of z in z 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [backup-simplify]: Simplify 1 into 1 0.666 * [backup-simplify]: Simplify (/ 1 1) into 1 0.666 * [backup-simplify]: Simplify (- 1) into -1 0.666 * [backup-simplify]: Simplify -1 into -1 0.666 * [backup-simplify]: Simplify -3 into -3 0.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.667 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 0.667 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.667 * [backup-simplify]: Simplify (+ 0 0) into 0 0.667 * [taylor]: Taking taylor expansion of 0 in z 0.667 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.668 * [backup-simplify]: Simplify (- 0) into 0 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.674 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.675 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.675 * [backup-simplify]: Simplify (+ 0 0) into 0 0.675 * [taylor]: Taking taylor expansion of 0 in z 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.677 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.677 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.678 * [backup-simplify]: Simplify (+ 0 0) into 0 0.678 * [taylor]: Taking taylor expansion of 0 in z 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 0.678 * * * [progress]: simplifying candidates 0.678 * [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.679 * * [simplify]: Extracting # 0 : cost 0 0.679 * * [simplify]: Extracting # 1 : cost 0 0.679 * * [simplify]: Extracting # 2 : cost 0 0.679 * * [simplify]: Extracting # 3 : cost 0 0.679 * * [simplify]: Extracting # 4 : cost 0 0.679 * * [simplify]: iteration 0 : 15 enodes (cost 78 ) 0.681 * * [simplify]: Extracting # 0 : cost 0 0.681 * * [simplify]: Extracting # 1 : cost 0 0.681 * * [simplify]: Extracting # 2 : cost 0 0.681 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.685 * * [simplify]: Extracting # 0 : cost 0 0.685 * * [simplify]: Extracting # 1 : cost 0 0.685 * * [simplify]: Extracting # 2 : cost 0 0.685 * * [simplify]: iteration 2 : 58 enodes (cost 67 ) 0.707 * * [simplify]: Extracting # 0 : cost 0 0.707 * * [simplify]: Extracting # 1 : cost 0 0.707 * * [simplify]: Extracting # 2 : cost 0 0.708 * * [simplify]: Extracting # 3 : cost 0 0.708 * * [simplify]: iteration 3 : 207 enodes (cost 67 ) 0.839 * * [simplify]: Extracting # 0 : cost 0 0.840 * * [simplify]: Extracting # 1 : cost 0 0.841 * * [simplify]: Extracting # 2 : cost 0 0.842 * * [simplify]: Extracting # 3 : cost 0 0.842 * * [simplify]: Extracting # 4 : cost 0 0.843 * * [simplify]: Extracting # 5 : cost 0 0.843 * * [simplify]: iteration 4 : 785 enodes (cost 67 ) 2.756 * * [simplify]: Extracting # 0 : cost 0 2.763 * * [simplify]: Extracting # 1 : cost 0 2.773 * * [simplify]: Extracting # 2 : cost 0 2.779 * * [simplify]: Extracting # 3 : cost 0 2.786 * * [simplify]: Extracting # 4 : cost 0 2.792 * * [simplify]: iteration 5 : 4817 enodes (cost 67 ) 5.144 * * [simplify]: Extracting # 0 : cost 0 5.152 * * [simplify]: Extracting # 1 : cost 0 5.159 * * [simplify]: iteration done: 5000 enodes (cost 67 ) 5.159 * [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.159 * * * [progress]: adding candidates to table 5.218 * * [progress]: iteration 2 / 4 5.218 * * * [progress]: picking best candidate 5.222 * * * * [pick]: Picked # 5.222 * * * [progress]: localizing error 5.230 * * * [progress]: generating rewritten candidates 5.230 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 5.244 * * * [progress]: generating series expansions 5.244 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 5.244 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 5.244 * [approximate]: Taking taylor expansion of (+ (* 3 x) z) in (x z) around 0 5.244 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in z 5.244 * [taylor]: Taking taylor expansion of (* 3 x) in z 5.244 * [taylor]: Taking taylor expansion of 3 in z 5.244 * [backup-simplify]: Simplify 3 into 3 5.244 * [taylor]: Taking taylor expansion of x in z 5.244 * [backup-simplify]: Simplify x into x 5.244 * [taylor]: Taking taylor expansion of z in z 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 1 into 1 5.244 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 5.244 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.244 * [taylor]: Taking taylor expansion of 3 in x 5.244 * [backup-simplify]: Simplify 3 into 3 5.244 * [taylor]: Taking taylor expansion of x in x 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 1 into 1 5.244 * [taylor]: Taking taylor expansion of z in x 5.244 * [backup-simplify]: Simplify z into z 5.244 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 5.244 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.244 * [taylor]: Taking taylor expansion of 3 in x 5.244 * [backup-simplify]: Simplify 3 into 3 5.244 * [taylor]: Taking taylor expansion of x in x 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 1 into 1 5.244 * [taylor]: Taking taylor expansion of z in x 5.244 * [backup-simplify]: Simplify z into z 5.245 * [backup-simplify]: Simplify (* 3 0) into 0 5.245 * [backup-simplify]: Simplify (+ 0 z) into z 5.245 * [taylor]: Taking taylor expansion of z in z 5.245 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify 1 into 1 5.245 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.246 * [backup-simplify]: Simplify (+ 3 0) into 3 5.246 * [taylor]: Taking taylor expansion of 3 in z 5.246 * [backup-simplify]: Simplify 3 into 3 5.246 * [backup-simplify]: Simplify 3 into 3 5.246 * [backup-simplify]: Simplify 1 into 1 5.246 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.247 * [backup-simplify]: Simplify (+ 0 0) into 0 5.247 * [taylor]: Taking taylor expansion of 0 in z 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.248 * [backup-simplify]: Simplify (+ 0 0) into 0 5.248 * [taylor]: Taking taylor expansion of 0 in z 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 5.248 * [backup-simplify]: Simplify (+ (* 3 (/ 1 x)) (/ 1 z)) into (+ (/ 1 z) (* 3 (/ 1 x))) 5.248 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in (x z) around 0 5.248 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 5.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.248 * [taylor]: Taking taylor expansion of z in z 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 1 into 1 5.248 * [backup-simplify]: Simplify (/ 1 1) into 1 5.248 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 5.248 * [taylor]: Taking taylor expansion of 3 in z 5.249 * [backup-simplify]: Simplify 3 into 3 5.249 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.249 * [taylor]: Taking taylor expansion of x in z 5.249 * [backup-simplify]: Simplify x into x 5.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.249 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.249 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.249 * [taylor]: Taking taylor expansion of z in x 5.249 * [backup-simplify]: Simplify z into z 5.249 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.249 * [taylor]: Taking taylor expansion of 3 in x 5.249 * [backup-simplify]: Simplify 3 into 3 5.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.249 * [taylor]: Taking taylor expansion of x in x 5.249 * [backup-simplify]: Simplify 0 into 0 5.249 * [backup-simplify]: Simplify 1 into 1 5.249 * [backup-simplify]: Simplify (/ 1 1) into 1 5.249 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.249 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.249 * [taylor]: Taking taylor expansion of z in x 5.249 * [backup-simplify]: Simplify z into z 5.249 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.249 * [taylor]: Taking taylor expansion of 3 in x 5.249 * [backup-simplify]: Simplify 3 into 3 5.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.249 * [taylor]: Taking taylor expansion of x in x 5.249 * [backup-simplify]: Simplify 0 into 0 5.249 * [backup-simplify]: Simplify 1 into 1 5.249 * [backup-simplify]: Simplify (/ 1 1) into 1 5.250 * [backup-simplify]: Simplify (* 3 1) into 3 5.250 * [backup-simplify]: Simplify (+ 0 3) into 3 5.250 * [taylor]: Taking taylor expansion of 3 in z 5.250 * [backup-simplify]: Simplify 3 into 3 5.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.252 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.252 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.252 * [taylor]: Taking taylor expansion of z in z 5.252 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify 1 into 1 5.252 * [backup-simplify]: Simplify (/ 1 1) into 1 5.252 * [backup-simplify]: Simplify 1 into 1 5.252 * [backup-simplify]: Simplify 3 into 3 5.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.255 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.255 * [backup-simplify]: Simplify (+ 0 0) into 0 5.255 * [taylor]: Taking taylor expansion of 0 in z 5.255 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.259 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.259 * [backup-simplify]: Simplify (+ 0 0) into 0 5.259 * [taylor]: Taking taylor expansion of 0 in z 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.260 * [backup-simplify]: Simplify 0 into 0 5.260 * [backup-simplify]: Simplify 0 into 0 5.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.263 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.263 * [backup-simplify]: Simplify (+ 0 0) into 0 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify 0 into 0 5.264 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 5.264 * [backup-simplify]: Simplify (+ (* 3 (/ 1 (- x))) (/ 1 (- z))) into (- (+ (/ 1 z) (* 3 (/ 1 x)))) 5.264 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in (x z) around 0 5.264 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in z 5.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 5.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.264 * [taylor]: Taking taylor expansion of z in z 5.264 * [backup-simplify]: Simplify 0 into 0 5.264 * [backup-simplify]: Simplify 1 into 1 5.264 * [backup-simplify]: Simplify (/ 1 1) into 1 5.264 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 5.264 * [taylor]: Taking taylor expansion of 3 in z 5.265 * [backup-simplify]: Simplify 3 into 3 5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.265 * [taylor]: Taking taylor expansion of x in z 5.265 * [backup-simplify]: Simplify x into x 5.265 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 5.265 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.265 * [taylor]: Taking taylor expansion of z in x 5.265 * [backup-simplify]: Simplify z into z 5.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.265 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.265 * [taylor]: Taking taylor expansion of 3 in x 5.265 * [backup-simplify]: Simplify 3 into 3 5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.265 * [taylor]: Taking taylor expansion of x in x 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify 1 into 1 5.265 * [backup-simplify]: Simplify (/ 1 1) into 1 5.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x 5.266 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 5.266 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.266 * [taylor]: Taking taylor expansion of z in x 5.266 * [backup-simplify]: Simplify z into z 5.266 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.266 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.266 * [taylor]: Taking taylor expansion of 3 in x 5.266 * [backup-simplify]: Simplify 3 into 3 5.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.266 * [taylor]: Taking taylor expansion of x in x 5.266 * [backup-simplify]: Simplify 0 into 0 5.266 * [backup-simplify]: Simplify 1 into 1 5.266 * [backup-simplify]: Simplify (/ 1 1) into 1 5.267 * [backup-simplify]: Simplify (* 3 1) into 3 5.267 * [backup-simplify]: Simplify (+ 0 3) into 3 5.268 * [backup-simplify]: Simplify (- 3) into -3 5.268 * [taylor]: Taking taylor expansion of -3 in z 5.268 * [backup-simplify]: Simplify -3 into -3 5.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.269 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.269 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.269 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.269 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.269 * [taylor]: Taking taylor expansion of z in z 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify 1 into 1 5.270 * [backup-simplify]: Simplify (/ 1 1) into 1 5.270 * [backup-simplify]: Simplify (- 1) into -1 5.270 * [backup-simplify]: Simplify -1 into -1 5.270 * [backup-simplify]: Simplify -3 into -3 5.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.272 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.273 * [backup-simplify]: Simplify (+ 0 0) into 0 5.273 * [backup-simplify]: Simplify (- 0) into 0 5.273 * [taylor]: Taking taylor expansion of 0 in z 5.273 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.274 * [backup-simplify]: Simplify (- 0) into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.274 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.277 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.277 * [backup-simplify]: Simplify (+ 0 0) into 0 5.277 * [backup-simplify]: Simplify (- 0) into 0 5.277 * [taylor]: Taking taylor expansion of 0 in z 5.277 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify (- 0) into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.281 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.282 * [backup-simplify]: Simplify (+ 0 0) into 0 5.282 * [backup-simplify]: Simplify (- 0) into 0 5.282 * [taylor]: Taking taylor expansion of 0 in z 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.283 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 5.283 * * * [progress]: simplifying candidates 5.283 * [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.284 * * [simplify]: Extracting # 0 : cost 0 5.284 * * [simplify]: Extracting # 1 : cost 0 5.284 * * [simplify]: Extracting # 2 : cost 0 5.284 * * [simplify]: Extracting # 3 : cost 0 5.284 * * [simplify]: Extracting # 4 : cost 0 5.284 * * [simplify]: Extracting # 5 : cost 0 5.284 * * [simplify]: iteration 0 : 27 enodes (cost 136 ) 5.298 * * [simplify]: Extracting # 0 : cost 0 5.298 * * [simplify]: Extracting # 1 : cost 0 5.298 * * [simplify]: Extracting # 2 : cost 0 5.298 * * [simplify]: Extracting # 3 : cost 0 5.298 * * [simplify]: iteration 1 : 89 enodes (cost 113 ) 5.326 * * [simplify]: Extracting # 0 : cost 0 5.326 * * [simplify]: Extracting # 1 : cost 0 5.327 * * [simplify]: Extracting # 2 : cost 0 5.327 * * [simplify]: Extracting # 3 : cost 0 5.327 * * [simplify]: Extracting # 4 : cost 0 5.327 * * [simplify]: iteration 2 : 262 enodes (cost 103 ) 5.543 * * [simplify]: Extracting # 0 : cost 0 5.544 * * [simplify]: Extracting # 1 : cost 0 5.546 * * [simplify]: Extracting # 2 : cost 0 5.547 * * [simplify]: Extracting # 3 : cost 0 5.548 * * [simplify]: iteration 3 : 802 enodes (cost 103 ) 6.529 * * [simplify]: Extracting # 0 : cost 0 6.531 * * [simplify]: Extracting # 1 : cost 0 6.533 * * [simplify]: Extracting # 2 : cost 0 6.535 * * [simplify]: Extracting # 3 : cost 0 6.536 * * [simplify]: Extracting # 4 : cost 0 6.538 * * [simplify]: iteration 4 : 2596 enodes (cost 102 ) 7.795 * * [simplify]: Extracting # 0 : cost 0 7.808 * * [simplify]: Extracting # 1 : cost 0 7.815 * * [simplify]: Extracting # 2 : cost 0 7.823 * * [simplify]: Extracting # 3 : cost 0 7.830 * * [simplify]: iteration done: 5000 enodes (cost 102 ) 7.830 * [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) 7.830 * * * [progress]: adding candidates to table 7.883 * [progress]: [Phase 3 of 3] Extracting. 7.883 * * [regime]: Finding splitpoints for: (# #) 7.884 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 7.884 * * * * [regimes]: Trying to branch on z from (# #) 7.907 * * * * [regimes]: Trying to branch on y from (# #) 7.930 * * * * [regimes]: Trying to branch on x from (# #) 7.949 * * * [regime]: Found split indices: #