Metrics for FastMath test3

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 15 to 10 computations (33.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-add: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample865.0ms (24.5%)

Results

566.0ms	7769×	0	valid
54.0ms	381×	1	valid
22.0ms	106×	2	valid

Precisions

Click to see histograms. Total time spent on operations: 344.0ms

ival-mult: 236.0ms (68.5% of total)

ival-add: 85.0ms (24.7% of total)

backward-pass: 12.0ms (3.5% of total)

const: 11.0ms (3.2% of total)

Bogosity

preprocess75.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

2740×	`sum3-define`
1368×	`fnmadd-define`
1236×	`sum4-define`
1078×	`fma-define`
1046×	`sum5-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	98
1	136	74
2	449	66
3	1648	65
4	6380	65
5	7875	65
0	9	9
1	20	7
2	47	6
3	79	6
4	94	6
5	96	6
0	96	6

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

Outputs
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))

Call 2

Inputs
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3))
(+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3))
(+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3)))
(neg (+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3)))
(neg (+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3)))
(neg (+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3))))
(+ (+ (* d2 3) (* d2 d1)) (* d2 d3))
(+ (+ (* d3 3) (* d3 d2)) (* d3 d1))
(+ (+ (* d1 3) (* d1 d3)) (* d1 d2))

Outputs
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(* d1 (sum3 3 d2 d3))
(+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3))
(* d1 (- -3 (+ d2 d3)))
(+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3))
(* d1 (+ 3 (- d3 d2)))
(+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3)))
(* d1 (+ d2 (- 3 d3)))
(neg (+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3)))
(* d1 (sum3 3 d2 d3))
(neg (+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3)))
(* d1 (+ d2 (- -3 d3)))
(neg (+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3))))
(* d1 (+ d3 (- -3 d2)))
(+ (+ (* d2 3) (* d2 d1)) (* d2 d3))
(* d2 (sum3 d1 3 d3))
(+ (+ (* d3 3) (* d3 d2)) (* d3 d1))
(* d3 (sum3 d1 3 d2))
(+ (+ (* d1 3) (* d1 d3)) (* d1 d2))
(* d1 (sum3 3 d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

explain103.0ms (2.9%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
2	-	-	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
0	-	-	`d3`
0	-	-	`d1`
0	-	-	`d2`
0	-	-	`(*.f64 d1 d3)`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`#s(literal 3 binary64)`
0	-	-	`(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))`
0	-	-	`(*.f64 d1 #s(literal 3 binary64))`

Results

57.0ms	464×	0	valid
7.0ms	24×	1	valid
7.0ms	20×	2	valid
2.0ms	4×	3	valid

Compiler

Compiled 84 to 29 computations (65.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 20.0ms

ival-mult: 11.0ms (55.8% of total)

ival-add: 6.0ms (30.4% of total)

backward-pass: 2.0ms (10.1% of total)

const: 1.0ms (5.1% of total)

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
▶	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))

Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 d2)
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	128	(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
✓	cost-diff	128	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
✓	cost-diff	0	(+.f64 #s(literal 3 binary64) d3)
✓	cost-diff	0	(+.f64 d2 (+.f64 #s(literal 3 binary64) d3))
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))

Rules

52×	`fma-define`
48×	`fma-lowering-fma.f32`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	33	41
2	73	41
3	98	41
4	100	41
0	100	41

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 (+ d2 (+ 3 d3)))
d1
(+ d2 (+ 3 d3))
d2
(+ 3 d3)
3
d3
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(+ (* d1 3) (* d1 d2))
(* d1 3)
d1
3
(* d1 d2)
d2
(* d1 d3)
d3

Outputs
(* d1 (+ d2 (+ 3 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
d1
(+ d2 (+ 3 d3))
(+.f64 d2 (+.f64 #s(literal 3 binary64) d3))
d2
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
3
#s(literal 3 binary64)
d3
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(+ (* d1 3) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
d1
3
#s(literal 3 binary64)
(* d1 d2)
(*.f64 d1 d2)
d2
(* d1 d3)
(*.f64 d1 d3)
d3

localize62.0ms (1.8%)

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d2)
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	99.8%	(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
✓	accuracy	99.2%	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
✓	accuracy	100.0%	(+.f64 d2 (+.f64 #s(literal 3 binary64) d3))
✓	accuracy	100.0%	(+.f64 #s(literal 3 binary64) d3)
✓	accuracy	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))

Results

39.0ms	232×	0	valid
5.0ms	10×	2	valid
4.0ms	12×	1	valid
1.0ms	2×	3	valid

Compiler

Compiled 54 to 13 computations (75.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 17.0ms

ival-mult: 9.0ms (53.6% of total)

ival-add: 6.0ms (35.7% of total)

backward-pass: 1.0ms (6% of total)

const: 0.0ms (0% of total)

series12.0ms (0.3%)

Counts

7 → 168

Calls

Call 1

Inputs
#<alt (* d1 (+ d2 (+ 3 d3)))>
#<alt (+ d2 (+ 3 d3))>
#<alt (+ 3 d3)>
#<alt (+ (+ (* d1 3) (* d1 d2)) (* d1 d3))>
#<alt (+ (* d1 3) (* d1 d2))>
#<alt (* d1 3)>
#<alt (* d1 d2)>

Outputs
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 d3))>
#<alt (+ (* d1 d2) (* d1 (+ 3 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 3 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 3 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))>
#<alt (* d1 (+ 3 d2))>
#<alt (+ (* d1 d3) (* d1 (+ 3 d2)))>
#<alt (+ (* d1 d3) (* d1 (+ 3 d2)))>
#<alt (+ (* d1 d3) (* d1 (+ 3 d2)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))>
#<alt (+ 3 d3)>
#<alt (+ 3 (+ d2 d3))>
#<alt (+ 3 (+ d2 d3))>
#<alt (+ 3 (+ d2 d3))>
#<alt d2>
#<alt (* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))>
#<alt (* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))>
#<alt (* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))>
#<alt d2>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))>
#<alt (+ 3 d2)>
#<alt (+ 3 (+ d2 d3))>
#<alt (+ 3 (+ d2 d3))>
#<alt (+ 3 (+ d2 d3))>
#<alt d3>
#<alt (* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))>
#<alt (* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))>
#<alt (* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))>
#<alt d3>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))>
#<alt 3>
#<alt (+ 3 d3)>
#<alt (+ 3 d3)>
#<alt (+ 3 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt d3>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>

Calls

42 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	inf	(* d1 (+ d2 (+ 3 d3)))
1.0ms	d1	@	0	(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
1.0ms	d1	@	inf	(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
0.0ms	d1	@	0	(* d1 (+ d2 (+ 3 d3)))
0.0ms	d1	@	-inf	(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))

rewrite37.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

52×	`fma-define`
48×	`fma-lowering-fma.f32`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	33	30
2	73	30
3	98	30
4	100	30
0	100	30

Stop Event

1×	iter limit
1×	saturated

Counts

7 → 60

Calls

Call 1

Inputs
(* d1 (+ d2 (+ 3 d3)))
(+ d2 (+ 3 d3))
(+ 3 d3)
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
(+ (* d1 3) (* d1 d2))
(* d1 3)
(* d1 d2)

Outputs
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d3)) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d3) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 d2 #s(literal 3 binary64)) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 (+.f64 #s(literal 3 binary64) d3) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 d2 #s(literal 3 binary64)) d1 (*.f64 d1 d3))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(*.f64 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)) d1)
(+.f64 d2 (+.f64 #s(literal 3 binary64) d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+.f64 d3 (+.f64 d2 #s(literal 3 binary64)))
(+.f64 (+.f64 #s(literal 3 binary64) d3) d2)
(+.f64 (+.f64 d2 #s(literal 3 binary64)) d3)
(+.f64 (+.f64 d2 d3) #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) d3)
(+.f64 d3 #s(literal 3 binary64))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d3)) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d3) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 d2 #s(literal 3 binary64)) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 (+.f64 #s(literal 3 binary64) d3) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 d2 #s(literal 3 binary64)) d1 (*.f64 d1 d3))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(*.f64 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)) d1)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 (+.f64 d2 #s(literal 3 binary64)) d1)
(*.f64 d1 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)

simplify164.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

2330×	`-lowering-.f32`
2330×	`-lowering-.f64`
1732×	`fnmadd-define`
1378×	`sum5-define`
1040×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	99	816
1	349	738
2	936	738
3	2944	738
4	7981	738
0	8670	738

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 168

Calls

Call 1

Inputs
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 d3))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(* d1 (+ 3 d2))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(+ 3 d3)
(+ 3 (+ d2 d3))
(+ 3 (+ d2 d3))
(+ 3 (+ d2 d3))
d2
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
d2
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(+ 3 d2)
(+ 3 (+ d2 d3))
(+ 3 (+ d2 d3))
(+ 3 (+ d2 d3))
d3
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
d3
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
3
(+ 3 d3)
(+ 3 d3)
(+ 3 d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* 3 d1)
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)

Outputs
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* d1 d2) (* d1 (+ 3 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (/ (* d1 (+ 3 d3)) d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* d1 d3) (* d1 (+ 3 d2)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (/ (* d1 (+ 3 d2)) d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 3 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
d2
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* d2 (+ 1 (+ (* 3 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
d2
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* -1 (* d2 (- (* -1 (/ (+ 3 d3) d2)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+ 3 d2)
(+.f64 #s(literal 3 binary64) d2)
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(+ 3 (+ d2 d3))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
d3
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* d3 (+ 1 (+ (* 3 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
d3
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
(* -1 (* d3 (- (* -1 (/ (+ 3 d2) d3)) 1)))
(+.f64 #s(literal 3 binary64) (+.f64 d2 d3))
3
#s(literal 3 binary64)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)

eval22.0ms (0.6%)

Compiler: Compiled 1807 to 72 computations (96% saved)

prune11.0ms (0.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	219	9	228
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	220	10	230

Accuracy

100.0%

Counts

230 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
▶	100.0%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
▶	99.9%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
	66.5%	(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d3))
✓	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
▶	69.8%	(*.f64 d1 (+.f64 d2 d3))
	66.1%	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
▶	66.5%	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
	38.2%	(*.f64 d1 d3)
▶	36.0%	(*.f64 d1 d2)

Compiler

Compiled 170 to 115 computations (32.4% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	0	(+.f64 d2 d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 d3))
✓	cost-diff	128	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
✓	cost-diff	0	(+.f64 d2 d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 d3))
✓	cost-diff	0	(+.f64 #s(literal 3 binary64) d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
✓	cost-diff	0	(*.f64 d1 d2)
✓	cost-diff	0	(+.f64 d2 d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 d3))
✓	cost-diff	6400	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))

Rules

60×	`fma-define`
48×	`fma-lowering-fma.f32`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	68
1	32	66
2	61	66
3	90	66
4	104	66
0	104	66

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+ (* d1 3) (* d1 (+ d2 d3)))
d1
3
(* d1 (+ d2 d3))
(+ d2 d3)
d2
d3
(* d1 d2)
d1
d2
(* d1 (+ 3 d3))
d1
(+ 3 d3)
3
d3
(* d1 (+ d2 d3))
d1
(+ d2 d3)
d2
d3
(+ (* d1 (+ d2 d3)) (* d1 3))
(* d1 (+ d2 d3))
d1
(+ d2 d3)
d2
d3
(* d1 3)
3

Outputs
(+ (* d1 3) (* d1 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
d1
3
#s(literal 3 binary64)
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ d2 d3)
(+.f64 d2 d3)
d2
d3
(* d1 d2)
(*.f64 d1 d2)
d1
d2
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
d1
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
3
#s(literal 3 binary64)
d3
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
d1
(+ d2 d3)
(+.f64 d2 d3)
d2
d3
(+ (* d1 (+ d2 d3)) (* d1 3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
d1
(+ d2 d3)
(+.f64 d2 d3)
d2
d3
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
3
#s(literal 3 binary64)

localize89.0ms (2.5%)

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(+.f64 d2 d3)
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	accuracy	99.9%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
✓	accuracy	100.0%	(+.f64 d2 d3)
✓	accuracy	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	accuracy	100.0%	(+.f64 #s(literal 3 binary64) d3)
✓	accuracy	99.9%	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
✓	accuracy	100.0%	(*.f64 d1 d2)
✓	accuracy	100.0%	(+.f64 d2 d3)
✓	accuracy	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	accuracy	100.0%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))

Results

55.0ms	235×	0	valid
7.0ms	10×	2	valid
4.0ms	10×	1	valid
1.0ms	1×	5	exit

Compiler

Compiled 75 to 13 computations (82.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 20.0ms

ival-mult: 9.0ms (44% of total)

ival-add: 6.0ms (29.3% of total)

compiled-spec: 4.0ms (19.5% of total)

backward-pass: 2.0ms (9.8% of total)

const: 0.0ms (0% of total)

series7.0ms (0.2%)

Counts

8 → 204

Calls

Call 1

Inputs
#<alt (+ (* d1 3) (* d1 (+ d2 d3)))>
#<alt (* d1 (+ d2 d3))>
#<alt (+ d2 d3)>
#<alt (* d1 d2)>
#<alt (* d1 (+ 3 d3))>
#<alt (+ 3 d3)>
#<alt (+ (* d1 (+ d2 d3)) (* d1 3))>
#<alt (* d1 3)>

Outputs
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 d3)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* d1 d2)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt d3>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d2>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt d2>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt d2>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt d3>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt 3>
#<alt (+ 3 d3)>
#<alt (+ 3 d3)>
#<alt (+ 3 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt d3>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 3 (/ 1 d3))))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>

Calls

51 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	0	(+ (* d1 3) (* d1 (+ d2 d3)))
1.0ms	d1	@	-inf	(+ (* d1 3) (* d1 (+ d2 d3)))
0.0ms	d1	@	0	(* d1 (+ 3 d3))
0.0ms	d1	@	inf	(* d1 (+ 3 d3))
0.0ms	d1	@	-inf	(* d1 (+ 3 d3))

rewrite20.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

60×	`fma-define`
48×	`fma-lowering-fma.f32`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	32	34
2	61	34
3	90	34
4	104	34
0	104	34

Stop Event

1×	iter limit
1×	saturated

Counts

8 → 64

Calls

Call 1

Inputs
(+ (* d1 3) (* d1 (+ d2 d3)))
(* d1 (+ d2 d3))
(+ d2 d3)
(* d1 d2)
(* d1 (+ 3 d3))
(+ 3 d3)
(+ (* d1 (+ d2 d3)) (* d1 3))
(* d1 3)

Outputs
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d3)) (.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d2)) (.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d3) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d2) (*.f64 d1 d3))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 (+.f64 #s(literal 3 binary64) d3) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 #s(literal 3 binary64) d2) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(*.f64 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)) d1)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 d2 d3)
(+.f64 d3 d2)
(*.f64 d1 d2)
(*.f64 d2 d1)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 (+.f64 #s(literal 3 binary64) d3) d1)
(+.f64 #s(literal 3 binary64) d3)
(+.f64 d3 #s(literal 3 binary64))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d3)) (.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(+.f64 (.f64 d1 (+.f64 #s(literal 3 binary64) d2)) (.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d3) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 #s(literal 3 binary64) d2) (*.f64 d1 d3))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 #s(literal 3 binary64) d2)))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 (+.f64 #s(literal 3 binary64) d3) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 #s(literal 3 binary64) d2) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(*.f64 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)) d1)
(*.f64 d1 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) d1)

simplify181.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2122×	`-lowering-.f32`
2122×	`-lowering-.f64`
1574×	`sum3-define`
1424×	`--lowering--.f32`
1424×	`--lowering--.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	83	946
1	302	884
2	938	884
3	2966	884
4	6724	884
0	8129	884

Stop Event

1×	iter limit
1×	node limit

Counts

204 → 204

Calls

Call 1

Inputs
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* 3 d1)
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
3
(+ 3 d3)
(+ 3 d3)
(+ 3 d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d3 (+ 1 (* 3 (/ 1 d3))))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)

Outputs
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
d3
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
d2
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
d2
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
d3
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
3
#s(literal 3 binary64)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
(+ 3 d3)
(+.f64 #s(literal 3 binary64) d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
d3
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d3 (+ 1 (* 3 (/ 1 d3))))
(+.f64 #s(literal 3 binary64) d3)
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3)))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))

eval43.0ms (1.2%)

Compiler: Compiled 2717 to 73 computations (97.3% saved)

prune16.0ms (0.4%)

Pruning

12 alts after pruning (7 fresh and 5 done)

	Pruned	Kept	Total
New	404	4	408
Fresh	1	3	4
Picked	1	4	5
Done	0	1	1
Total	406	12	418

Accuracy

100.0%

Counts

418 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
	66.5%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d3))
	66.1%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
✓	99.9%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
▶	66.5%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
✓	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
✓	69.8%	(*.f64 d1 (+.f64 d2 d3))
▶	66.1%	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
✓	66.5%	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
▶	38.2%	(*.f64 d1 d3)
✓	36.0%	(*.f64 d1 d2)
▶	31.6%	(*.f64 d1 #s(literal 3 binary64))

Compiler

Compiled 162 to 112 computations (30.9% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	0	(*.f64 d1 d3)
✓	cost-diff	128	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
✓	cost-diff	0	(+.f64 d2 #s(literal 3 binary64))
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
✓	cost-diff	0	(*.f64 d1 d3)
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	0	(+.f64 d2 d3)
✓	cost-diff	6400	(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))

Rules

48×	`fma-lowering-fma.f32`
48×	`fma-define`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	53
1	29	52
2	50	51
3	69	51
4	85	51
0	85	51

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+ (* (+ d2 d3) d1) (* d1 3))
(+ d2 d3)
d2
d3
d1
(* d1 3)
3
(* d1 3)
d1
3
(* d1 d3)
d1
d3
(* d1 (+ d2 3))
d1
(+ d2 3)
d2
3
(+ (* d1 d3) (* d1 3))
(* d1 d3)
d1
d3
(* d1 3)
3

Outputs
(+ (* (+ d2 d3) d1) (* d1 3))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 3 binary64))))
(+ d2 d3)
(+.f64 d2 d3)
d2
d3
d1
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
3
#s(literal 3 binary64)
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
d1
3
#s(literal 3 binary64)
(* d1 d3)
(*.f64 d3 d1)
d1
d3
(* d1 (+ d2 3))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
d1
(+ d2 3)
(+.f64 d2 #s(literal 3 binary64))
d2
3
#s(literal 3 binary64)
(+ (* d1 d3) (* d1 3))
(*.f64 d1 (+.f64 d3 #s(literal 3 binary64)))
(* d1 d3)
(*.f64 d3 d1)
d1
d3
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
3
#s(literal 3 binary64)

localize90.0ms (2.6%)

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d3)
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	99.9%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
✓	accuracy	100.0%	(+.f64 d2 #s(literal 3 binary64))
✓	accuracy	99.9%	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
✓	accuracy	100.0%	(*.f64 d1 d3)
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	100.0%	(+.f64 d2 d3)
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	100.0%	(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))

Results

49.0ms	221×	0	valid
13.0ms	19×	2	valid
5.0ms	13×	1	valid
4.0ms	3×	5	exit

Compiler

Compiled 59 to 12 computations (79.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 23.0ms

ival-mult: 8.0ms (35.1% of total)

ival-add: 7.0ms (30.7% of total)

compiled-spec: 5.0ms (21.9% of total)

backward-pass: 3.0ms (13.2% of total)

const: 0.0ms (0% of total)

series4.0ms (0.1%)

Counts

7 → 156

Calls

Call 1

Inputs
#<alt (+ (* (+ d2 d3) d1) (* d1 3))>
#<alt (+ d2 d3)>
#<alt (* d1 3)>
#<alt (* d1 d3)>
#<alt (* d1 (+ d2 3))>
#<alt (+ d2 3)>
#<alt (+ (* d1 d3) (* d1 3))>

Outputs
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* d1 (+ 3 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))>
#<alt d3>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d2>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt d2>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt d2>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt d3>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt 3>
#<alt (+ 3 d2)>
#<alt (+ 3 d2)>
#<alt (+ 3 d2)>
#<alt d2>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt d2>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 3 (/ 1 d2))))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>

Calls

39 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(* d1 (+ d2 3))
0.0ms	d1	@	inf	(* d1 (+ d2 3))
0.0ms	d1	@	-inf	(* d1 (+ d2 3))
0.0ms	d2	@	-inf	(* d1 (+ d2 3))
0.0ms	d3	@	0	(* d1 d3)

rewrite17.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

48×	`fma-lowering-fma.f32`
48×	`fma-define`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	30
1	29	29
2	50	28
3	69	28
4	85	28
0	85	28

Stop Event

1×	iter limit
1×	saturated

Counts

7 → 44

Calls

Call 1

Inputs
(+ (* (+ d2 d3) d1) (* d1 3))
(+ d2 d3)
(* d1 3)
(* d1 d3)
(* d1 (+ d2 3))
(+ d2 3)
(+ (* d1 d3) (* d1 3))

Outputs
(+.f64 (.f64 (+.f64 d2 d3) d1) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 (+.f64 d2 d3) d1))
(+.f64 (.f64 d3 d1) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d3 d1))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 3 binary64))) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 d1 (+.f64 d3 #s(literal 3 binary64))))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 d3 #s(literal 3 binary64))))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 d3 #s(literal 3 binary64))))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 3 binary64))))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 (+.f64 d2 d3) d1))
(fma.f64 d1 (+.f64 d2 #s(literal 3 binary64)) (*.f64 d3 d1))
(fma.f64 d1 (+.f64 d3 #s(literal 3 binary64)) (*.f64 d2 d1))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 (+.f64 d2 d3) d1))
(fma.f64 (+.f64 d2 #s(literal 3 binary64)) d1 (*.f64 d3 d1))
(fma.f64 (+.f64 d3 #s(literal 3 binary64)) d1 (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 3 binary64))))
(*.f64 (+.f64 d2 (+.f64 d3 #s(literal 3 binary64))) d1)
(+.f64 d2 d3)
(+.f64 d3 d2)
(*.f64 d1 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) d1)
(*.f64 d3 d1)
(*.f64 d1 d3)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 (+.f64 d2 #s(literal 3 binary64)) d1)
(+.f64 d2 #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) d2)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d3 d1))
(+.f64 (.f64 d3 d1) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d3 d1))
(*.f64 d1 (+.f64 d3 #s(literal 3 binary64)))
(*.f64 (+.f64 d3 #s(literal 3 binary64)) d1)

simplify169.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

2310×	`-lowering-.f32`
2310×	`-lowering-.f64`
1700×	`sum4-define`
1240×	`sum5-define`
1060×	`sum3-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	658
1	286	628
2	859	628
3	2789	628
4	6533	628
0	8454	628

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 156

Calls

Call 1

Inputs
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 (+ d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* 3 d1)
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
3
(+ 3 d2)
(+ 3 d2)
(+ 3 d2)
d2
(* d2 (+ 1 (* 3 (/ 1 d2))))
(* d2 (+ 1 (* 3 (/ 1 d2))))
(* d2 (+ 1 (* 3 (/ 1 d2))))
d2
(* d2 (+ 1 (* 3 (/ 1 d2))))
(* d2 (+ 1 (* 3 (/ 1 d2))))
(* d2 (+ 1 (* 3 (/ 1 d2))))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* 3 d1)
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))

Outputs
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* d1 (+ 3 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d3 d2)))
d3
(+ d2 d3)
(+.f64 d3 d2)
(+ d2 d3)
(+.f64 d3 d2)
(+ d2 d3)
(+.f64 d3 d2)
d2
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d3 d2)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d3 d2)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d3 d2)
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d3 d2)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d3 d2)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d3 d2)
d2
(+ d2 d3)
(+.f64 d3 d2)
(+ d2 d3)
(+.f64 d3 d2)
(+ d2 d3)
(+.f64 d3 d2)
d3
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d3 d2)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d3 d2)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d3 d2)
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d3 d2)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d3 d2)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d3 d2)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
3
#s(literal 3 binary64)
(+ 3 d2)
(+.f64 #s(literal 3 binary64) d2)
(+ 3 d2)
(+.f64 #s(literal 3 binary64) d2)
(+ 3 d2)
(+.f64 #s(literal 3 binary64) d2)
d2
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
d2
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
(* d2 (+ 1 (* 3 (/ 1 d2))))
(+.f64 #s(literal 3 binary64) d2)
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* 3 d1)
(*.f64 #s(literal 3 binary64) d1)
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))

eval25.0ms (0.7%)

Compiler: Compiled 1495 to 62 computations (95.9% saved)

prune12.0ms (0.3%)

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	251	3	254
Fresh	2	0	2
Picked	1	4	5
Done	0	5	5
Total	254	12	266

Accuracy

100.0%

Counts

266 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	66.1%	(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
▶	66.5%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
▶	66.1%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))
✓	99.9%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
✓	66.5%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
✓	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
✓	69.8%	(*.f64 d1 (+.f64 d2 d3))
✓	66.1%	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
✓	66.5%	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
✓	38.2%	(*.f64 d1 d3)
✓	36.0%	(*.f64 d1 d2)
✓	31.6%	(*.f64 d1 #s(literal 3 binary64))

Compiler

Compiled 101 to 70 computations (30.7% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
✓	cost-diff	6400	(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
✓	cost-diff	0	(*.f64 d3 d1)
✓	cost-diff	6400	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
✓	cost-diff	0	(*.f64 d2 d1)
✓	cost-diff	6400	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))

Rules

20×	`-lowering-.f32`
20×	`-lowering-.f64`
16×	`fma-lowering-fma.f32`
16×	`fma-define`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	17	33
2	30	33
3	32	33
0	32	33

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+ (* d1 3) (* d2 d1))
d1
3
(* d2 d1)
d2
(+ (* d1 3) (* d3 d1))
d1
3
(* d3 d1)
d3
(+ (* d2 d1) (* d1 3))
d2
d1
(* d1 3)
3

Outputs
(+ (* d1 3) (* d2 d1))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
d1
3
#s(literal 3 binary64)
(* d2 d1)
(*.f64 d1 d2)
d2
(+ (* d1 3) (* d3 d1))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
d1
3
#s(literal 3 binary64)
(* d3 d1)
(*.f64 d1 d3)
d3
(+ (* d2 d1) (* d1 3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
d2
d1
(* d1 3)
(*.f64 d1 #s(literal 3 binary64))
3
#s(literal 3 binary64)

localize76.0ms (2.2%)

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 #s(literal 3 binary64))
✓	accuracy	95.4%	(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
✓	accuracy	100.0%	(*.f64 d3 d1)
✓	accuracy	96.1%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
✓	accuracy	100.0%	(*.f64 d2 d1)
✓	accuracy	99.9%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))

Results

38.0ms	221×	0	valid
17.0ms	31×	2	valid
4.0ms	4×	5	exit

Compiler

Compiled 40 to 11 computations (72.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 38.0ms

compiled-spec: 15.0ms (39.7% of total)

ival-mult: 14.0ms (37.1% of total)

ival-add: 5.0ms (13.2% of total)

backward-pass: 3.0ms (7.9% of total)

const: 0.0ms (0% of total)

series4.0ms (0.1%)

Counts

6 → 132

Calls

Call 1

Inputs
#<alt (+ (* d1 3) (* d2 d1))>
#<alt (* d2 d1)>
#<alt (+ (* d1 3) (* d3 d1))>
#<alt (* d3 d1)>
#<alt (+ (* d2 d1) (* d1 3))>
#<alt (* d1 3)>

Outputs
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* d1 (+ 3 d3))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* -1 (* d1 (- (* -1 d3) 3)))>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (+ (* 3 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 3 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* 3 d1)>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (+ (* 3 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 3 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* d1 (+ 3 d2))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* -1 (* d1 (- (* -1 d2) 3)))>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>
#<alt (* 3 d1)>

Calls

33 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(* d3 d1)
0.0ms	d1	@	inf	(+ (* d1 3) (* d2 d1))
0.0ms	d1	@	0	(+ (* d1 3) (* d2 d1))
0.0ms	d1	@	-inf	(+ (* d1 3) (* d2 d1))
0.0ms	d1	@	inf	(+ (* d1 3) (* d3 d1))

rewrite14.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

20×	`-lowering-.f32`
20×	`-lowering-.f64`
16×	`fma-lowering-fma.f32`
16×	`fma-define`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	17	24
2	30	24
3	32	24
0	32	24

Stop Event

1×	iter limit
1×	saturated

Counts

6 → 30

Calls

Call 1

Inputs
(+ (* d1 3) (* d2 d1))
(* d2 d1)
(+ (* d1 3) (* d3 d1))
(* d3 d1)
(+ (* d2 d1) (* d1 3))
(* d1 3)

Outputs
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(*.f64 (+.f64 #s(literal 3 binary64) d2) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 (+.f64 #s(literal 3 binary64) d3) d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 #s(literal 3 binary64) d1 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(*.f64 (+.f64 #s(literal 3 binary64) d2) d1)
(*.f64 d1 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) d1)

simplify147.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2054×	`fmsub-define`
1858×	`fmm-def`
1692×	`fma-lowering-fma.f32`
1692×	`fma-lowering-fma.f64`
1616×	`fnmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	522
1	123	522
2	338	522
3	773	522
4	1861	522
5	5409	522
0	8042	522

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 132

Calls

Call 1

Inputs
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* 3 d1)
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* d1 (+ 3 d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* -1 (* d1 (- (* -1 d3) 3)))
(* 3 d1)
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* 3 d1)
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(+ (* 3 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* d1 (+ 3 d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)
(* 3 d1)

Outputs
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 (+ 3 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d1 (- (* -1 d3) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(+ (* 3 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d3 (+ d1 (* 3 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* -1 (* d3 (+ (* -3 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(+ (* 3 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* d1 (+ 3 d2))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* -1 (* d1 (- (* -1 d2) 3)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d2))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))
(* 3 d1)
(*.f64 d1 #s(literal 3 binary64))

eval17.0ms (0.5%)

Compiler: Compiled 885 to 31 computations (96.5% saved)

prune8.0ms (0.2%)

Pruning

12 alts after pruning (0 fresh and 12 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	3	3
Done	0	9	9
Total	162	12	174

Accuracy

100.0%

Counts

174 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.1%	(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
✓	66.5%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
✓	66.1%	(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))
✓	99.9%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
✓	66.5%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
✓	99.9%	(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
✓	69.8%	(*.f64 d1 (+.f64 d2 d3))
✓	66.1%	(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
✓	66.5%	(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
✓	38.2%	(*.f64 d1 d3)
✓	36.0%	(*.f64 d1 d2)
✓	31.6%	(*.f64 d1 #s(literal 3 binary64))

Compiler

Compiled 215 to 99 computations (54% saved)

regimes24.0ms (0.7%)

Counts

18 → 1

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 3 binary64)))

Outputs
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))

Calls

4 calls:

6.0ms	d2
6.0ms	d1
5.0ms	d3
5.0ms	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes35.0ms (1%)

Counts

16 → 1

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 3 binary64)))
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 d3))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d2 d1))
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d3 d1))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 3 binary64)))

Outputs
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))

Calls

4 calls:

19.0ms	d2
5.0ms	d1
5.0ms	d3
5.0ms	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Results

Accuracy	Segments	Branch
99.9%	1	`d1`
99.9%	1	`d2`
99.9%	1	`d3`
99.9%	1	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes9.0ms (0.2%)

Counts

6 → 2

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 d3))

Outputs
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 d2 d3))

Calls

3 calls:

3.0ms	d1
3.0ms	d3
3.0ms	d2

Results

Accuracy	Segments	Branch
75.6%	3	`d1`
98.4%	2	`d2`
98.7%	2	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes6.0ms (0.2%)

Counts

5 → 2

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))

Outputs
(*.f64 d1 (+.f64 d2 #s(literal 3 binary64)))
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))

Calls

2 calls:

3.0ms	d2
2.0ms	d3

Results

Accuracy	Segments	Branch
96.1%	2	`d2`
91.5%	2	`d3`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes2.0ms (0.1%)

Counts

4 → 2

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))

Outputs
(*.f64 d1 d2)
(*.f64 d1 (+.f64 #s(literal 3 binary64) d3))

Calls

1 calls:

2.0ms

d2

Results

Accuracy	Segments	Branch
95.0%	2	`d2`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes4.0ms (0.1%)

Counts

3 → 3

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)

Outputs
(*.f64 d1 d2)
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d3)

Calls

2 calls:

2.0ms	d2
2.0ms	d3

Results

Accuracy	Segments	Branch
70.6%	3	`d3`
79.2%	3	`d2`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes5.0ms (0.1%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)
(*.f64 d1 #s(literal 3 binary64))

Calls

3 calls:

2.0ms	d3
2.0ms	d1
2.0ms	d2

Results

Accuracy	Segments	Branch
46.1%	3	`d3`
41.2%	3	`d1`
63.3%	2	`d2`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 3 binary64))

Outputs
(*.f64 d1 #s(literal 3 binary64))

Calls

3 calls:

1.0ms	d1
1.0ms	d3
1.0ms	d2

Results

Accuracy	Segments	Branch
31.6%	1	`d1`
31.6%	1	`d3`
31.6%	1	`d2`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch17.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	3.6228138796305686e-5	16879.604702026434

Results

11.0ms

144×

valid

Compiler

Compiled 182 to 131 computations (28% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.0ms

ival-add: 3.0ms (53.7% of total)

ival-mult: 3.0ms (53.7% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

bsearch14.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	-2.084996200278021e-6	-4.0844611384844013e-10

Results

8.0ms

128×

valid

Compiler

Compiled 164 to 126 computations (23.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 4.0ms

ival-mult: 2.0ms (52.4% of total)

ival-add: 1.0ms (26.2% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

bsearch17.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	-20314.057710023535	-0.1434677267924405

Results

11.0ms

144×

valid

Compiler

Compiled 164 to 122 computations (25.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.0ms

ival-add: 3.0ms (52.2% of total)

ival-mult: 3.0ms (52.2% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

bsearch46.0ms (1.3%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	-1.2384201101487537e-234	-1.5645568605547747e-241
17.0ms	-20314.057710023535	-0.1434677267924405

Results

20.0ms	265×	0	valid
3.0ms	14×	2	valid
1.0ms	9×	1	valid

Compiler

Compiled 272 to 212 computations (22.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 13.0ms

ival-mult: 9.0ms (70.7% of total)

ival-add: 3.0ms (23.6% of total)

backward-pass: 1.0ms (7.9% of total)

const: 0.0ms (0% of total)

bsearch15.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	-20314.057710023535	-0.1434677267924405

Results

9.0ms

144×

valid

Compiler

Compiled 146 to 113 computations (22.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 4.0ms

ival-mult: 3.0ms (68.7% of total)

ival-add: 1.0ms (22.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
8×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	85
1	42	85

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d3 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 (+.f64 d2 d3)))
(if (<=.f64 d2 #s(literal -6800207735332289/9444732965739290427392 binary64)) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d2 #s(literal -20000 binary64)) (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d2 #s(literal -3 binary64)) (.f64 d1 d2) (if (<=.f64 d2 #s(literal -4948802597112473/1832889850782397517082802171755189663406191307018921761884252780947908096342585866198098193012776216027479008590015982084761399088452696108828481666660133095712823955710669574545075280734654641679682560526831695838459555430831205351382962374814354898944 binary64)) (.f64 d1 #s(literal 3 binary64)) (*.f64 d1 d3)))
(if (<=.f64 d2 #s(literal -3 binary64)) (.f64 d1 d2) (.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 #s(literal 3 binary64))

Outputs
(fma.f64 d1 #s(literal 3 binary64) (*.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d3 #s(literal 3 binary64)) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 (+.f64 d2 d3)))
(if (<=.f64 d3 #s(literal 3 binary64)) (.f64 d1 (+.f64 #s(literal 3 binary64) d2)) (.f64 d1 (+.f64 d2 d3)))
(if (<=.f64 d2 #s(literal -6800207735332289/9444732965739290427392 binary64)) (.f64 d1 (+.f64 d2 #s(literal 3 binary64))) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d2 #s(literal -6800207735332289/9444732965739290427392 binary64)) (.f64 d1 (+.f64 #s(literal 3 binary64) d2)) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d2 #s(literal -20000 binary64)) (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 3 binary64) d3)))
(if (<=.f64 d2 #s(literal -3 binary64)) (.f64 d1 d2) (if (<=.f64 d2 #s(literal -4948802597112473/1832889850782397517082802171755189663406191307018921761884252780947908096342585866198098193012776216027479008590015982084761399088452696108828481666660133095712823955710669574545075280734654641679682560526831695838459555430831205351382962374814354898944 binary64)) (.f64 d1 #s(literal 3 binary64)) (*.f64 d1 d3)))
(if (<=.f64 d2 #s(literal -3 binary64)) (.f64 d1 d2) (.f64 d1 #s(literal 3 binary64)))
(*.f64 d1 #s(literal 3 binary64))

soundness929.0ms (26.3%)

Rules

2330×	`-lowering-.f32`
2330×	`-lowering-.f64`
2122×	`-lowering-.f32`
2122×	`-lowering-.f64`
1732×	`fnmadd-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	20	7
2	47	6
3	79	6
4	94	6
5	96	6
0	96	6
0	99	816
1	349	738
2	936	738
3	2944	738
4	7981	738
0	8670	738
0	83	946
1	302	884
2	938	884
3	2966	884
4	6724	884
0	8129	884
0	12	33
1	33	30
2	73	30
3	98	30
4	100	30
0	100	30

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	saturated

Compiler

Compiled 345 to 214 computations (38% saved)

preprocess79.0ms (2.2%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 312 to 150 computations (51.9% saved)

analyze0.0ms (0%)

sample865.0ms (24.5%)

preprocess75.0ms (2.1%)

explain103.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify9.0ms (0.3%)

localize62.0ms (1.8%)

series12.0ms (0.3%)

rewrite37.0ms (1%)

simplify164.0ms (4.6%)

eval22.0ms (0.6%)

prune11.0ms (0.3%)

simplify10.0ms (0.3%)

localize89.0ms (2.5%)

series7.0ms (0.2%)

rewrite20.0ms (0.6%)

simplify181.0ms (5.1%)

eval43.0ms (1.2%)

prune16.0ms (0.4%)

simplify8.0ms (0.2%)

localize90.0ms (2.6%)

series4.0ms (0.1%)

rewrite17.0ms (0.5%)

simplify169.0ms (4.8%)

eval25.0ms (0.7%)

prune12.0ms (0.3%)

simplify6.0ms (0.2%)

localize76.0ms (2.2%)

series4.0ms (0.1%)

rewrite14.0ms (0.4%)

simplify147.0ms (4.2%)

eval17.0ms (0.5%)

prune8.0ms (0.2%)

regimes24.0ms (0.7%)

regimes35.0ms (1%)

regimes9.0ms (0.2%)

regimes6.0ms (0.2%)

regimes2.0ms (0.1%)

regimes4.0ms (0.1%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch17.0ms (0.5%)

bsearch14.0ms (0.4%)

bsearch17.0ms (0.5%)

bsearch46.0ms (1.3%)

bsearch15.0ms (0.4%)

simplify8.0ms (0.2%)

soundness929.0ms (26.3%)

preprocess79.0ms (2.2%)

end0.0ms (0%)

Profiling