Metrics for FastMath dist3

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 17 to 12 computations (29.4% 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)

sample917.0ms (24.1%)

Results

616.0ms	8215×	0	valid
5.0ms	33×	1	valid
3.0ms	8×	2	valid

Precisions

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

ival-mult: 175.0ms (54.6% of total)

ival-add: 127.0ms (39.6% of total)

const: 15.0ms (4.7% of total)

backward-pass: 4.0ms (1.2% of total)

Bogosity

preprocess73.0ms (1.9%)

Algorithm

2×	egg-herbie

Rules

1962×	`sum4-define`
1760×	`sum5-define`
1690×	`fnmadd-define`
1650×	`sum3-define`
968×	`fmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	129
1	135	103
2	453	77
3	2235	66
0	11	12
1	21	10
2	52	7
3	188	6
4	383	6
5	590	6
6	612	6
0	612	6

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))

Outputs
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))

Call 2

Inputs
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(+ (+ (* (neg d1) d2) (* (+ d3 5) (neg d1))) (* (neg d1) 32))
(+ (+ (* d1 (neg d2)) (* (+ d3 5) d1)) (* d1 32))
(+ (+ (* d1 d2) (* (+ (neg d3) 5) d1)) (* d1 32))
(neg (+ (+ (* (neg d1) d2) (* (+ d3 5) (neg d1))) (* (neg d1) 32)))
(neg (+ (+ (* d1 (neg d2)) (* (+ d3 5) d1)) (* d1 32)))
(neg (+ (+ (* d1 d2) (* (+ (neg d3) 5) d1)) (* d1 32)))
(+ (+ (* d2 d1) (* (+ d3 5) d2)) (* d2 32))
(+ (+ (* d3 d2) (* (+ d1 5) d3)) (* d3 32))
(+ (+ (* d1 d3) (* (+ d2 5) d1)) (* d1 32))

Outputs
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(* d1 (sum3 d2 37 d3))
(+ (+ (* (neg d1) d2) (* (+ d3 5) (neg d1))) (* (neg d1) 32))
(* (neg d1) (sum3 d2 37 d3))
(+ (+ (* d1 (neg d2)) (* (+ d3 5) d1)) (* d1 32))
(* d1 (- (+ d3 37) d2))
(+ (+ (* d1 d2) (* (+ (neg d3) 5) d1)) (* d1 32))
(* d1 (sum3 (neg d3) 37 d2))
(neg (+ (+ (* (neg d1) d2) (* (+ d3 5) (neg d1))) (* (neg d1) 32)))
(* d1 (sum3 d2 37 d3))
(neg (+ (+ (* d1 (neg d2)) (* (+ d3 5) d1)) (* d1 32)))
(* d1 (- d2 (+ d3 37)))
(neg (+ (+ (* d1 d2) (* (+ (neg d3) 5) d1)) (* d1 32)))
(* (neg d1) (sum3 (neg d3) 37 d2))
(+ (+ (* d2 d1) (* (+ d3 5) d2)) (* d2 32))
(* d2 (sum3 d3 37 d1))
(+ (+ (* d3 d2) (* (+ d1 5) d3)) (* d3 32))
(* d3 (sum3 d1 37 d2))
(+ (+ (* d1 d3) (* (+ d2 5) d1)) (* d1 32))
(* d1 (sum3 d2 37 d3))

Symmetry

(negabs d1)

(sort d2 d3)

explain138.0ms (3.6%)

FPErrors

Click to see full error table

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

Results

72.0ms	480×	0	valid
6.0ms	18×	1	valid
5.0ms	12×	2	valid
1.0ms	2×	3	valid

Compiler

Compiled 106 to 35 computations (67% saved)

Precisions

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

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

ival-add: 8.0ms (35.2% of total)

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

const: 1.0ms (4.4% 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.2%	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 #s(literal 5 binary64)) d1)) (*.f64 d1 #s(literal 32 binary64)))
▶	100.0%	(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify63.0ms (1.7%)

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Rules

254×	`sum3-define`
248×	`fma-define`
200×	`fma-lowering-fma.f32`
200×	`fma-lowering-fma.f64`
196×	`+-lowering-+.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	53
1	35	49
2	92	48
3	272	48
4	451	48
5	615	48
6	629	48
0	629	48

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 (+ d2 (+ d3 37)))
d1
(+ d2 (+ d3 37))
d2
(+ d3 37)
d3
37
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(+ (* d1 d2) (* (+ d3 5) d1))
(* d1 d2)
d1
d2
(* (+ d3 5) d1)
(+ d3 5)
d3
5
(* d1 32)
32

Outputs
(* d1 (+ d2 (+ d3 37)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
d1
(+ d2 (+ d3 37))
(+.f64 d2 (+.f64 d3 #s(literal 37 binary64)))
d2
(+ d3 37)
(+.f64 d3 #s(literal 37 binary64))
d3
37
#s(literal 37 binary64)
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(+ (* d1 d2) (* (+ d3 5) d1))
(*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
d1
d2
(* (+ d3 5) d1)
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(+ d3 5)
(+.f64 d3 #s(literal 5 binary64))
d3
5
#s(literal 5 binary64)
(* d1 32)
(*.f64 d1 #s(literal 32 binary64))
32
#s(literal 32 binary64)

localize68.0ms (1.8%)

Localize:

Found 7 expressions of interest:

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

Results

44.0ms	240×	0	valid
3.0ms	9×	1	valid
3.0ms	6×	2	valid
1.0ms	1×	3	valid

Compiler

Compiled 64 to 16 computations (75% saved)

Precisions

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

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

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

const: 1.0ms (6% of total)

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

series17.0ms (0.5%)

Counts

8 → 204

Calls

Call 1

Inputs
#<alt (* d1 (+ d2 (+ d3 37)))>
#<alt (+ d2 (+ d3 37))>
#<alt (+ d3 37)>
#<alt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))>
#<alt (+ (* d1 d2) (* (+ d3 5) d1))>
#<alt (* d1 d2)>
#<alt (* (+ d3 5) d1)>
#<alt (* d1 32)>

Outputs
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 d3))>
#<alt (+ (* d1 d2) (* d1 (+ 37 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 37 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 37 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))>
#<alt (* d1 (+ 37 d2))>
#<alt (+ (* d1 d3) (* d1 (+ 37 d2)))>
#<alt (+ (* d1 d3) (* d1 (+ 37 d2)))>
#<alt (+ (* d1 d3) (* d1 (+ 37 d2)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))>
#<alt (+ 37 d3)>
#<alt (+ 37 (+ d2 d3))>
#<alt (+ 37 (+ d2 d3))>
#<alt (+ 37 (+ d2 d3))>
#<alt d2>
#<alt (* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))>
#<alt (* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))>
#<alt (* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))>
#<alt d2>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))>
#<alt (+ 37 d2)>
#<alt (+ 37 (+ d2 d3))>
#<alt (+ 37 (+ d2 d3))>
#<alt (+ 37 (+ d2 d3))>
#<alt d3>
#<alt (* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))>
#<alt (* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))>
#<alt (* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))>
#<alt d3>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))>
#<alt 37>
#<alt (+ 37 d3)>
#<alt (+ 37 d3)>
#<alt (+ 37 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt d3>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))>
#<alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))>
#<alt (+ (* 32 d1) (* d1 (+ 5 d3)))>
#<alt (+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))>
#<alt (+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))>
#<alt (+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))>
#<alt (* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))>
#<alt (* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* d1 (+ 5 (+ d2 d3)))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))>
#<alt (* d1 (+ 5 d3))>
#<alt (+ (* d1 d2) (* d1 (+ 5 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 5 d3)))>
#<alt (+ (* d1 d2) (* d1 (+ 5 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))>
#<alt (+ (* 5 d1) (* d1 d2))>
#<alt (+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))>
#<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 (* 5 d1)>
#<alt (+ (* 5 d1) (* d1 d3))>
#<alt (+ (* 5 d1) (* d1 d3))>
#<alt (+ (* 5 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 5 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 5 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 5 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* d1 (+ 5 d3))>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>

Calls

51 calls:

Time	Variable		Point	Expression
5.0ms	d1	@	inf	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
1.0ms	d3	@	-inf	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
1.0ms	d1	@	0	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
1.0ms	d1	@	-inf	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
1.0ms	d1	@	0	(* d1 (+ d2 (+ d3 37)))

rewrite49.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

254×	`sum3-define`
248×	`fma-define`
200×	`fma-lowering-fma.f32`
200×	`fma-lowering-fma.f64`
196×	`+-lowering-+.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	35	37
2	92	36
3	272	36
4	451	36
5	615	36
6	629	36
0	629	36

Stop Event

1×	iter limit
1×	saturated

Counts

8 → 140

Calls

Call 1

Inputs
(* d1 (+ d2 (+ d3 37)))
(+ d2 (+ d3 37))
(+ d3 37)
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
(+ (* d1 d2) (* (+ d3 5) d1))
(* d1 d2)
(* (+ d3 5) d1)
(* d1 32)

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 5 binary64))) (.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 37 binary64))) (.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 d3))
(+.f64 (.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 (+.f64 d3 #s(literal 37 binary64)) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(fma.f64 d1 (+.f64 d3 #s(literal 5 binary64)) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 (+.f64 d2 #s(literal 37 binary64)) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d2 #s(literal 32 binary64)) (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 5 binary64)) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 d1 (+.f64 d3 #s(literal 32 binary64)) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (+.f64 d3 #s(literal 37 binary64)) d1 (*.f64 d1 d2))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(fma.f64 (+.f64 d3 #s(literal 5 binary64)) d1 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) d1 (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 (+.f64 d2 #s(literal 37 binary64)) d1 (*.f64 d1 d3))
(fma.f64 (+.f64 d2 #s(literal 32 binary64)) d1 (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 #s(literal 5 binary64)) d1 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 (+.f64 d3 #s(literal 32 binary64)) d1 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))) d1 (*.f64 d1 #s(literal 5 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(*.f64 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))) d1)
(+.f64 d2 (+.f64 d3 #s(literal 37 binary64)))
(+.f64 d3 (+.f64 d2 #s(literal 37 binary64)))
(+.f64 #s(literal 37 binary64) (+.f64 d2 d3))
(+.f64 (+.f64 d3 #s(literal 37 binary64)) d2)
(+.f64 #s(literal 5 binary64) (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))))
(+.f64 (+.f64 d3 #s(literal 5 binary64)) (+.f64 d2 #s(literal 32 binary64)))
(+.f64 #s(literal 32 binary64) (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)))
(+.f64 (+.f64 d2 d3) #s(literal 37 binary64))
(+.f64 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) #s(literal 32 binary64))
(+.f64 (+.f64 d2 #s(literal 37 binary64)) d3)
(+.f64 (+.f64 d2 #s(literal 32 binary64)) (+.f64 d3 #s(literal 5 binary64)))
(+.f64 (+.f64 d2 #s(literal 5 binary64)) (+.f64 d3 #s(literal 32 binary64)))
(+.f64 (+.f64 d3 #s(literal 32 binary64)) (+.f64 d2 #s(literal 5 binary64)))
(+.f64 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))) #s(literal 5 binary64))
(+.f64 d3 #s(literal 37 binary64))
(+.f64 #s(literal 37 binary64) d3)
(+.f64 #s(literal 5 binary64) (+.f64 d3 #s(literal 32 binary64)))
(+.f64 (+.f64 d3 #s(literal 5 binary64)) #s(literal 32 binary64))
(+.f64 #s(literal 32 binary64) (+.f64 d3 #s(literal 5 binary64)))
(+.f64 (+.f64 d3 #s(literal 32 binary64)) #s(literal 5 binary64))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 5 binary64))) (.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 37 binary64))) (.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 d3))
(+.f64 (.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 (+.f64 d3 #s(literal 37 binary64)) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(fma.f64 d1 (+.f64 d3 #s(literal 5 binary64)) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 (+.f64 d2 #s(literal 37 binary64)) (*.f64 d1 d3))
(fma.f64 d1 (+.f64 d2 #s(literal 32 binary64)) (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 5 binary64)) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 d1 (+.f64 d3 #s(literal 32 binary64)) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (+.f64 d3 #s(literal 37 binary64)) d1 (*.f64 d1 d2))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64)))))
(fma.f64 (+.f64 d3 #s(literal 5 binary64)) d1 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3))))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) d1 (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 (+.f64 d2 #s(literal 37 binary64)) d1 (*.f64 d1 d3))
(fma.f64 (+.f64 d2 #s(literal 32 binary64)) d1 (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 #s(literal 5 binary64)) d1 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 (+.f64 d3 #s(literal 32 binary64)) d1 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 (+.f64 d3 #s(literal 32 binary64))) d1 (*.f64 d1 #s(literal 5 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(*.f64 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))) d1)
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 5 binary64))) (.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 d3))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 (+.f64 d3 #s(literal 5 binary64)) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 (+.f64 d2 #s(literal 5 binary64)) (*.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (+.f64 d3 #s(literal 5 binary64)) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 (+.f64 d2 #s(literal 5 binary64)) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)))
(*.f64 (+.f64 #s(literal 5 binary64) (+.f64 d2 d3)) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(*.f64 (+.f64 d3 #s(literal 5 binary64)) d1)
(*.f64 d1 #s(literal 32 binary64))
(*.f64 #s(literal 32 binary64) d1)

simplify211.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

2618×	`-lowering-.f32`
2618×	`-lowering-.f64`
1382×	`fma-lowering-fma.f32`
1382×	`fma-lowering-fma.f64`
1322×	`fmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1157
1	480	1042
2	1606	1021
3	5056	1015
0	8457	1015

Stop Event

1×	iter limit
1×	node limit

Counts

204 → 204

Calls

Call 1

Inputs
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 d3))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(* d1 (+ 37 d2))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(+ 37 d3)
(+ 37 (+ d2 d3))
(+ 37 (+ d2 d3))
(+ 37 (+ d2 d3))
d2
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
d2
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(+ 37 d2)
(+ 37 (+ d2 d3))
(+ 37 (+ d2 d3))
(+ 37 (+ d2 d3))
d3
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
d3
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
37
(+ 37 d3)
(+ 37 d3)
(+ 37 d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(+ (* 32 d1) (* d1 (+ 5 d3)))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(* d1 d2)
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(* d1 d3)
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* d1 (+ 5 (+ d2 d3)))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(* d1 (+ 5 d3))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(+ (* 5 d1) (* d1 d2))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(* 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)
(* 5 d1)
(+ (* 5 d1) (* d1 d3))
(+ (* 5 d1) (* d1 d3))
(+ (* 5 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 5 (/ d1 d3))))
(* d3 (+ d1 (* 5 (/ d1 d3))))
(* d3 (+ d1 (* 5 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* d1 (+ 5 d3))
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)

Outputs
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* d1 d2) (* d1 (+ 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d2 (+ d1 (/ (* d1 (+ 37 d3)) d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d3)) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* d1 d3) (* d1 (+ 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d3 (+ d1 (/ (* d1 (+ 37 d2)) d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 (+ 37 d2)) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
d2
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 37 binary64) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 37 binary64) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
(* d2 (+ 1 (+ (* 37 (/ 1 d2)) (/ d3 d2))))
(+.f64 #s(literal 37 binary64) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
d2
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d3) d2)))
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d3) d2)))
(* -1 (* d2 (- (* -1 (/ (+ 37 d3) d2)) 1)))
(*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d3) d2)))
(+ 37 d2)
(+.f64 #s(literal 37 binary64) d2)
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
(+ 37 (+ d2 d3))
(+.f64 d2 (+.f64 #s(literal 37 binary64) d3))
d3
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 37 binary64) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d3))
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 37 binary64) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d3))
(* d3 (+ 1 (+ (* 37 (/ 1 d3)) (/ d2 d3))))
(+.f64 #s(literal 37 binary64) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d3))
d3
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
(*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d2) d3)))
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
(*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d2) d3)))
(* -1 (* d3 (- (* -1 (/ (+ 37 d2) d3)) 1)))
(*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 37 binary64) d2) d3)))
37
#s(literal 37 binary64)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 (+ 5 d3))) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 32 d1) (* d1 (+ 5 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 32 d1) (+ (* d1 d2) (* d1 (+ 5 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d2 (+ d1 (+ (* 32 (/ d1 d2)) (/ (* d1 (+ 5 d3)) d2))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 32 d1) (* d1 (+ 5 d3))) d2)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(+ (* 5 d1) (+ (* 32 d1) (+ (* d1 d2) (* d1 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(.f64 d3 (+.f64 (/.f64 (.f64 d1 #s(literal 37 binary64)) d3) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d1)))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(.f64 d3 (+.f64 (/.f64 (.f64 d1 #s(literal 37 binary64)) d3) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d1)))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (+ (* 32 (/ d1 d3)) (/ (* d1 d2) d3)))))
(.f64 d3 (+.f64 (/.f64 (.f64 d1 #s(literal 37 binary64)) d3) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d1)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (+ (* 32 d1) (* d1 d2))) d3)))))
(*.f64 d1 (+.f64 d2 (+.f64 #s(literal 37 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 (+ d2 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d1 (+ (* -1 d2) (* -1 (+ 5 d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(+ (* d1 d2) (* d1 (+ 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d2 (+ d1 (/ (* d1 (+ 5 d3)) d2)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 (+ 5 d3)) d2)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(+ (* 5 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(+ (* 5 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d3 (+ d1 (+ (* 5 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* d1 d2)) d3)))))
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -5 binary64) 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)
(* 5 d1)
(*.f64 d1 #s(literal 5 binary64))
(+ (* 5 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(+ (* 5 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(+ (* 5 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 5 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d3 (+ d1 (* 5 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d3 (+ d1 (* 5 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* -1 (* d3 (+ (* -5 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* d1 (+ 5 d3))
(*.f64 d1 (+.f64 d3 #s(literal 5 binary64)))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))

eval36.0ms (0.9%)

Compiler: Compiled 3311 to 218 computations (93.4% saved)

prune36.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	337	7	344
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	338	8	346

Accuracy

100.0%

Counts

346 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
	66.2%	(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
✓	100.0%	(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
	69.6%	(*.f64 d1 (+.f64 d2 d3))
▶	66.2%	(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
▶	66.7%	(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
▶	38.1%	(*.f64 d1 d3)
▶	35.9%	(*.f64 d1 d2)

Compiler

Compiled 130 to 91 computations (30% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(+.f64 d2 #s(literal 37 binary64))
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
✓	cost-diff	0	(+.f64 #s(literal 37 binary64) d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
✓	cost-diff	0	(*.f64 d1 d3)
✓	cost-diff	0	(*.f64 d1 d2)
✓	cost-diff	0	(*.f64 d1 #s(literal 37 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 37 binary64)))

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	54
1	33	53
2	55	53
3	73	53
4	83	53
0	83	53

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize94.0ms (2.5%)

Localize:

Found 10 expressions of interest:

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

Results

74.0ms	254×	0	valid
1.0ms	2×	2	valid

Compiler

Compiled 60 to 15 computations (75% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

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

series15.0ms (0.4%)

Counts

10 → 228

Calls

Call 1

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

Outputs
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* d1 (+ 37 (+ d2 d3)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))>
#<alt (* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 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 (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 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 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 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* 37 d1)>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))>
#<alt 37>
#<alt (+ 37 d3)>
#<alt (+ 37 d3)>
#<alt (+ 37 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt d3>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d3 (+ 1 (* 37 (/ 1 d3))))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* 37 d1)>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))>
#<alt 37>
#<alt (+ 37 d2)>
#<alt (+ 37 d2)>
#<alt (+ 37 d2)>
#<alt d2>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>
#<alt d2>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 37 (/ 1 d2))))>

Calls

57 calls:

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

rewrite19.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: 1 (0.0ms)

Iter	Nodes	Cost
0	14	40
1	33	39
2	55	39
3	73	39
4	83	39
0	83	39

Stop Event

1×	iter limit
1×	saturated

Counts

10 → 56

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(+.f64 (.f64 d1 d3) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 37 binary64))) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 d3))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d1 d3 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 d1 (+.f64 d2 d3) (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 d1 (+.f64 d3 #s(literal 37 binary64)) (*.f64 d1 d2))
(fma.f64 d1 (+.f64 d2 #s(literal 37 binary64)) (*.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(fma.f64 d3 d1 (*.f64 d1 (+.f64 d2 #s(literal 37 binary64))))
(fma.f64 (+.f64 d2 d3) d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (+.f64 d3 #s(literal 37 binary64)) d1 (*.f64 d1 d2))
(fma.f64 (+.f64 d2 #s(literal 37 binary64)) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(*.f64 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))) 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 #s(literal 37 binary64))
(*.f64 #s(literal 37 binary64) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(*.f64 (+.f64 d3 #s(literal 37 binary64)) d1)
(+.f64 d3 #s(literal 37 binary64))
(+.f64 #s(literal 37 binary64) d3)
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(*.f64 (+.f64 d2 #s(literal 37 binary64)) d1)
(+.f64 d2 #s(literal 37 binary64))
(+.f64 #s(literal 37 binary64) d2)

simplify413.0ms (10.8%)

Algorithm

1×	egg-herbie

Rules

2788×	`-lowering-.f32`
2788×	`-lowering-.f64`
1692×	`fmsub-define`
1436×	`fnmsub-define`
1376×	`sum3-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	95	928
1	344	898
2	1059	898
3	3449	898
4	7974	898
0	8587	898

Stop Event

1×	iter limit
1×	node limit

Counts

228 → 228

Calls

Call 1

Inputs
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(+ (* 37 d1) (* d1 d3))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d2)
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(+ (* 37 d1) (* d1 d2))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(* d1 d3)
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 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)))
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 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 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 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* 37 d1)
(+ (* 37 d1) (* d1 d3))
(+ (* 37 d1) (* d1 d3))
(+ (* 37 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
37
(+ 37 d3)
(+ 37 d3)
(+ 37 d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d3 (+ 1 (* 37 (/ 1 d3))))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* 37 d1)
(+ (* 37 d1) (* d1 d2))
(+ (* 37 d1) (* d1 d2))
(+ (* 37 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
37
(+ 37 d2)
(+ 37 d2)
(+ 37 d2)
d2
(* d2 (+ 1 (* 37 (/ 1 d2))))
(* d2 (+ 1 (* 37 (/ 1 d2))))
(* d2 (+ 1 (* 37 (/ 1 d2))))
d2
(* d2 (+ 1 (* 37 (/ 1 d2))))
(* d2 (+ 1 (* 37 (/ 1 d2))))
(* d2 (+ 1 (* 37 (/ 1 d2))))

Outputs
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 (+ 37 (+ d2 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d1 (- (* -1 (+ d2 d3)) 37)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d2 (+ d1 (+ (* 37 (/ d1 d2)) (/ (* d1 d3) d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d3)) d2)))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(+ (* 37 d1) (+ (* d1 d2) (* d1 d3)))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d3 (+ d1 (+ (* 37 (/ d1 d3)) (/ (* d1 d2) d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) (+.f64 d2 d3)))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 37 d1) (* d1 d2)) d3)))))
(*.f64 d1 (+.f64 #s(literal 37 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)
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 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)
(* 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 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
37
#s(literal 37 binary64)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
(+ 37 d3)
(+.f64 #s(literal 37 binary64) d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
d3
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d3 (+ 1 (* 37 (/ 1 d3))))
(+.f64 #s(literal 37 binary64) d3)
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 #s(literal 37 binary64) d2))
37
#s(literal 37 binary64)
(+ 37 d2)
(+.f64 #s(literal 37 binary64) d2)
(+ 37 d2)
(+.f64 #s(literal 37 binary64) d2)
(+ 37 d2)
(+.f64 #s(literal 37 binary64) d2)
d2
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)
d2
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)
(* d2 (+ 1 (* 37 (/ 1 d2))))
(+.f64 #s(literal 37 binary64) d2)

eval31.0ms (0.8%)

Compiler: Compiled 1747 to 75 computations (95.7% saved)

prune14.0ms (0.4%)

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	281	3	284
Fresh	0	2	2
Picked	0	5	5
Done	0	1	1
Total	281	11	292

Accuracy

100.0%

Counts

292 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
▶	66.2%	(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
▶	66.7%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
▶	66.2%	(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
✓	100.0%	(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
▶	69.6%	(*.f64 d1 (+.f64 d2 d3))
✓	66.2%	(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
✓	66.7%	(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
✓	38.1%	(*.f64 d1 d3)
✓	35.9%	(*.f64 d1 d2)
▶	31.8%	(*.f64 d1 #s(literal 37 binary64))

Compiler

Compiled 142 to 101 computations (28.9% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

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

Rules

112×	`fma-define`
96×	`fma-lowering-fma.f32`
96×	`fma-lowering-fma.f64`
92×	`+-lowering-+.f64`
92×	`+-lowering-+.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	44	64
2	84	64
3	110	64
4	135	64
5	160	64
6	184	64
7	191	64
0	191	64

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 (+ d2 d3))
d1
(+ d2 d3)
d2
d3
(* d1 37)
d1
37
(+ (* d1 d2) (* d1 37))
(* d1 d2)
d1
d2
(* d1 37)
37
(+ (* d1 d3) (* d1 37))
(* d1 d3)
d1
d3
(* d1 37)
37
(+ (* d1 (+ d2 5)) (* d1 32))
(* d1 (+ d2 5))
d1
(+ d2 5)
d2
5
(* d1 32)
32

Outputs
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
d1
(+ d2 d3)
(+.f64 d2 d3)
d2
d3
(* d1 37)
(*.f64 d1 #s(literal 37 binary64))
d1
37
#s(literal 37 binary64)
(+ (* d1 d2) (* d1 37))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 d2)
(*.f64 d1 d2)
d1
d2
(* d1 37)
(*.f64 d1 #s(literal 37 binary64))
37
#s(literal 37 binary64)
(+ (* d1 d3) (* d1 37))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 d3)
(*.f64 d1 d3)
d1
d3
(* d1 37)
(*.f64 d1 #s(literal 37 binary64))
37
#s(literal 37 binary64)
(+ (* d1 (+ d2 5)) (* d1 32))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ d2 5))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
d1
(+ d2 5)
(+.f64 d2 #s(literal 5 binary64))
d2
5
#s(literal 5 binary64)
(* d1 32)
(*.f64 d1 #s(literal 32 binary64))
32
#s(literal 32 binary64)

localize136.0ms (3.6%)

Localize:

Found 13 expressions of interest:

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

Results

104.0ms	240×	0	valid
6.0ms	9×	2	valid
4.0ms	7×	1	valid

Compiler

Compiled 76 to 18 computations (76.3% saved)

Precisions

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

ival-add: 50.0ms (80.8% of total)

ival-mult: 10.0ms (16.2% of total)

const: 1.0ms (1.6% of total)

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

series5.0ms (0.1%)

Counts

11 → 240

Calls

Call 1

Inputs
#<alt (* d1 (+ d2 d3))>
#<alt (+ d2 d3)>
#<alt (* d1 37)>
#<alt (+ (* d1 d2) (* d1 37))>
#<alt (* d1 d2)>
#<alt (+ (* d1 d3) (* d1 37))>
#<alt (* d1 d3)>
#<alt (+ (* d1 (+ d2 5)) (* d1 32))>
#<alt (* d1 (+ d2 5))>
#<alt (+ d2 5)>
#<alt (* d1 32)>

Outputs
#<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 (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* 37 d1)>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* -1 (* d1 (- (* -1 d2) 37)))>
#<alt (* -1 (* d1 (- (* -1 d2) 37)))>
#<alt (* -1 (* d1 (- (* -1 d2) 37)))>
#<alt (* -1 (* d1 (- (* -1 d2) 37)))>
#<alt (* 37 d1)>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (+ (* 37 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 37 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -37 (/ 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 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* d1 (+ 37 d3))>
#<alt (* -1 (* d1 (- (* -1 d3) 37)))>
#<alt (* -1 (* d1 (- (* -1 d3) 37)))>
#<alt (* -1 (* d1 (- (* -1 d3) 37)))>
#<alt (* -1 (* d1 (- (* -1 d3) 37)))>
#<alt (* 37 d1)>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (+ (* 37 d1) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d3 (+ d1 (* 37 (/ d1 d3))))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))>
#<alt (* -1 (* d3 (+ (* -37 (/ 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 (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* d1 (+ 37 d2))>
#<alt (* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))>
#<alt (* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))>
#<alt (* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))>
#<alt (* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))>
#<alt (+ (* 5 d1) (* 32 d1))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))>
#<alt (+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))>
#<alt (* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))>
#<alt (* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* d1 (+ 5 d2))>
#<alt (* 5 d1)>
#<alt (+ (* 5 d1) (* d1 d2))>
#<alt (+ (* 5 d1) (* d1 d2))>
#<alt (+ (* 5 d1) (* d1 d2))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (* 5 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 5 (/ d1 d2))))>
#<alt (* d2 (+ d1 (* 5 (/ d1 d2))))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))>
#<alt (* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))>
#<alt 5>
#<alt (+ 5 d2)>
#<alt (+ 5 d2)>
#<alt (+ 5 d2)>
#<alt d2>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt d2>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt (* d2 (+ 1 (* 5 (/ 1 d2))))>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>
#<alt (* 32 d1)>

Calls

60 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	(+ (* d1 (+ d2 5)) (* d1 32))
0.0ms	d1	@	0	(+ (* d1 (+ d2 5)) (* d1 32))
0.0ms	d2	@	inf	(+ (* d1 (+ d2 5)) (* d1 32))
0.0ms	d2	@	-inf	(+ (* d1 (+ d2 5)) (* d1 32))
0.0ms	d2	@	0	(+ (* d1 (+ d2 5)) (* d1 32))

rewrite27.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

112×	`fma-define`
96×	`fma-lowering-fma.f32`
96×	`fma-lowering-fma.f64`
92×	`+-lowering-+.f64`
92×	`+-lowering-+.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	43
1	44	43
2	84	43
3	110	43
4	135	43
5	160	43
6	184	43
7	191	43
0	191	43

Stop Event

1×	iter limit
1×	saturated

Counts

11 → 94

Calls

Call 1

Inputs
(* d1 (+ d2 d3))
(+ d2 d3)
(* d1 37)
(+ (* d1 d2) (* d1 37))
(* d1 d2)
(+ (* d1 d3) (* d1 37))
(* d1 d3)
(+ (* d1 (+ d2 5)) (* d1 32))
(* d1 (+ d2 5))
(+ d2 5)
(* d1 32)

Outputs
(+.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 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 #s(literal 5 binary64)))
(*.f64 d1 #s(literal 37 binary64))
(*.f64 #s(literal 37 binary64) d1)
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 5 binary64)) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 32 binary64)) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 d2))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 (+.f64 d2 #s(literal 5 binary64)) d1 (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 #s(literal 32 binary64)) d1 (*.f64 d1 #s(literal 5 binary64)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(*.f64 (+.f64 d2 #s(literal 37 binary64)) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 d3 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 d3))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d3 #s(literal 32 binary64)) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 (+.f64 d3 #s(literal 5 binary64)) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d3 d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 d3))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 (+.f64 d3 #s(literal 5 binary64))))
(fma.f64 (+.f64 d3 #s(literal 32 binary64)) d1 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 (+.f64 d3 #s(literal 5 binary64)) d1 (*.f64 d1 #s(literal 32 binary64)))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(*.f64 (+.f64 d3 #s(literal 37 binary64)) d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (.f64 d1 #s(literal 37 binary64)) (.f64 d1 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 #s(literal 32 binary64)) (.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 d1 #s(literal 37 binary64) (*.f64 d1 d2))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 5 binary64)) (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 d1 #s(literal 32 binary64) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 d1 (+.f64 d2 #s(literal 32 binary64)) (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 37 binary64)))
(fma.f64 #s(literal 37 binary64) d1 (*.f64 d1 d2))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))
(fma.f64 (+.f64 d2 #s(literal 5 binary64)) d1 (*.f64 d1 #s(literal 32 binary64)))
(fma.f64 #s(literal 32 binary64) d1 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))
(fma.f64 (+.f64 d2 #s(literal 32 binary64)) d1 (*.f64 d1 #s(literal 5 binary64)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(*.f64 (+.f64 d2 #s(literal 37 binary64)) d1)
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 5 binary64)))
(+.f64 (.f64 d1 #s(literal 5 binary64)) (.f64 d1 d2))
(fma.f64 d1 d2 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 d1 #s(literal 5 binary64) (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 #s(literal 5 binary64)))
(fma.f64 #s(literal 5 binary64) d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(*.f64 (+.f64 d2 #s(literal 5 binary64)) d1)
(+.f64 d2 #s(literal 5 binary64))
(+.f64 #s(literal 5 binary64) d2)
(*.f64 d1 #s(literal 32 binary64))
(*.f64 #s(literal 32 binary64) d1)

simplify182.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

2860×	`-lowering-.f32`
2860×	`-lowering-.f64`
1606×	`fmsub-define`
1492×	`+-lowering-+.f64`
1492×	`+-lowering-+.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	930
1	377	930
2	1090	930
3	3688	930
0	8234	930

Stop Event

1×	iter limit
1×	node limit

Counts

240 → 240

Calls

Call 1

Inputs
(* 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)))
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* 37 d1)
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* -1 (* d1 (- (* -1 d2) 37)))
(* -1 (* d1 (- (* -1 d2) 37)))
(* -1 (* d1 (- (* -1 d2) 37)))
(* -1 (* d1 (- (* -1 d2) 37)))
(* 37 d1)
(+ (* 37 d1) (* d1 d2))
(+ (* 37 d1) (* d1 d2))
(+ (* 37 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -37 (/ 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 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* d1 (+ 37 d3))
(* -1 (* d1 (- (* -1 d3) 37)))
(* -1 (* d1 (- (* -1 d3) 37)))
(* -1 (* d1 (- (* -1 d3) 37)))
(* -1 (* d1 (- (* -1 d3) 37)))
(* 37 d1)
(+ (* 37 d1) (* d1 d3))
(+ (* 37 d1) (* d1 d3))
(+ (* 37 d1) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(* d1 d3)
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(* -1 (* d3 (+ (* -37 (/ 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)
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* d1 (+ 37 d2))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(+ (* 5 d1) (* 32 d1))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(* d1 d2)
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* d1 (+ 5 d2))
(* 5 d1)
(+ (* 5 d1) (* d1 d2))
(+ (* 5 d1) (* d1 d2))
(+ (* 5 d1) (* d1 d2))
(* d1 d2)
(* d2 (+ d1 (* 5 (/ d1 d2))))
(* d2 (+ d1 (* 5 (/ d1 d2))))
(* d2 (+ d1 (* 5 (/ d1 d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
5
(+ 5 d2)
(+ 5 d2)
(+ 5 d2)
d2
(* d2 (+ 1 (* 5 (/ 1 d2))))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(* d2 (+ 1 (* 5 (/ 1 d2))))
d2
(* d2 (+ 1 (* 5 (/ 1 d2))))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)
(* 32 d1)

Outputs
(* 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)
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d2) 37)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d2) 37)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d2) 37)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d2) 37)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(+ (* 37 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d2 (+ d1 (* 37 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d2 (+ (* -37 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 37 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)
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 (+ 37 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d3) 37)))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d3) 37)))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d3) 37)))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 d3) 37)))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* 37 d1)
(*.f64 d1 #s(literal 37 binary64))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(+ (* 37 d1) (* d1 d3))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d3 (+ d1 (* 37 (/ d1 d3))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* -1 (* d3 (+ (* -37 (/ d1 d3)) (* -1 d1))))
(*.f64 d1 (+.f64 d3 #s(literal 37 binary64)))
(* 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 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 37 d2))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d1 (- (* -1 (+ 5 d2)) 32)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(+ (* 5 d1) (* 32 d1))
(*.f64 d1 #s(literal 37 binary64))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(+ (* 5 d1) (+ (* 32 d1) (* d1 d2)))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d2 (+ d1 (+ (* 5 (/ d1 d2)) (* 32 (/ d1 d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 5 d1) (* 32 d1)) d2)))))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 (+ 5 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* 5 d1)
(*.f64 d1 #s(literal 5 binary64))
(+ (* 5 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(+ (* 5 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(+ (* 5 d1) (* d1 d2))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (* 5 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d2 (+ d1 (* 5 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d2 (+ d1 (* 5 (/ d1 d2))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
(* -1 (* d2 (+ (* -5 (/ d1 d2)) (* -1 d1))))
(*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))
5
#s(literal 5 binary64)
(+ 5 d2)
(+.f64 d2 #s(literal 5 binary64))
(+ 5 d2)
(+.f64 d2 #s(literal 5 binary64))
(+ 5 d2)
(+.f64 d2 #s(literal 5 binary64))
d2
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
d2
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
(* d2 (+ 1 (* 5 (/ 1 d2))))
(+.f64 d2 #s(literal 5 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))
(* 32 d1)
(*.f64 d1 #s(literal 32 binary64))

eval41.0ms (1.1%)

Compiler: Compiled 2423 to 117 computations (95.2% saved)

prune35.0ms (0.9%)

Pruning

11 alts after pruning (0 fresh and 11 done)

	Pruned	Kept	Total
New	374	0	374
Fresh	0	0	0
Picked	0	5	5
Done	0	6	6
Total	374	11	385

Accuracy

100.0%

Counts

385 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
✓	66.2%	(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
✓	66.7%	(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
✓	66.2%	(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
✓	100.0%	(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
✓	69.6%	(*.f64 d1 (+.f64 d2 d3))
✓	66.2%	(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
✓	66.7%	(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
✓	38.1%	(*.f64 d1 d3)
✓	35.9%	(*.f64 d1 d2)
✓	31.8%	(*.f64 d1 #s(literal 37 binary64))

Compiler

Compiled 175 to 97 computations (44.6% saved)

regimes23.0ms (0.6%)

Counts

12 → 1

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 37 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 #s(literal 5 binary64)) d1)) (*.f64 d1 #s(literal 32 binary64)))

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

Calls

5 calls:

6.0ms	d2
4.0ms	d3
4.0ms	d1
4.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 #s(literal 5 binary64)) d1)) (*.f64 d1 #s(literal 32 binary64)))
4.0ms	(+.f64 d3 #s(literal 5 binary64))

Results

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

Compiler

Compiled 34 to 25 computations (26.5% saved)

regimes13.0ms (0.3%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 d1 #s(literal 37 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))
(*.f64 d1 (+.f64 d2 #s(literal 37 binary64)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(+.f64 (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 d3) (.f64 d1 #s(literal 37 binary64)))
(+.f64 (.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (.f64 d1 #s(literal 32 binary64)))

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

Calls

3 calls:

5.0ms	d1
4.0ms	d3
4.0ms	d2

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

regimes9.0ms (0.2%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

3 calls:

3.0ms	d3
3.0ms	d1
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)

regimes5.0ms (0.1%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

2 calls:

2.0ms	d3
2.0ms	d2

Results

Accuracy	Segments	Branch
96.2%	2	`d2`
91.6%	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 37 binary64))
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 (+.f64 #s(literal 37 binary64) d3))

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

Calls

1 calls:

2.0ms

d2

Results

Accuracy	Segments	Branch
95.1%	2	`d2`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes5.0ms (0.1%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	d3
2.0ms	d2

Results

Accuracy	Segments	Branch
70.7%	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 37 binary64))
(*.f64 d1 d2)

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

Calls

3 calls:

2.0ms	d2
1.0ms	d1
1.0ms	d3

Results

Accuracy	Segments	Branch
46.2%	3	`d3`
41.2%	3	`d1`
63.5%	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 37 binary64))

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

Calls

3 calls:

1.0ms	d3
1.0ms	d1
1.0ms	d2

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch16.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
14.0ms	3.6228138796305686e-5	16879.604702026434

Results

10.0ms

144×

valid

Compiler

Compiled 184 to 133 computations (27.7% saved)

Precisions

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

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

ival-add: 2.0ms (40.3% of total)

const: 0.0ms (0% of total)

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

bsearch15.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

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

Results

10.0ms

128×

valid

Compiler

Compiled 166 to 128 computations (22.9% saved)

Precisions

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

ival-add: 2.0ms (45% of total)

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

const: 0.0ms (0% of total)

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

bsearch18.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	-20314.057710023535	-0.1434677267924405

Results

10.0ms

144×

valid

Compiler

Compiled 166 to 124 computations (25.3% saved)

Precisions

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

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

ival-add: 2.0ms (39.1% of total)

const: 0.0ms (0% of total)

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

bsearch33.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

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

Results

20.0ms	285×	0	valid
1.0ms	3×	2	valid

Compiler

Compiled 274 to 214 computations (21.9% saved)

Precisions

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

ival-mult: 6.0ms (57.7% of total)

ival-add: 4.0ms (38.5% of total)

const: 1.0ms (9.6% of total)

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

bsearch26.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
24.0ms	-20314.057710023535	-0.1434677267924405

Results

20.0ms

144×

valid

Compiler

Compiled 148 to 115 computations (22.3% saved)

Precisions

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

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

ival-add: 2.0ms (40% 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`
10×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	86
1	44	86

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(if (<=.f64 d3 #s(literal 37 binary64)) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 (+.f64 d2 d3)))
(if (<=.f64 d2 #s(literal -4722366482869645/2361183241434822606848 binary64)) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 (+.f64 #s(literal 37 binary64) d3)))
(if (<=.f64 d2 #s(literal -20000 binary64)) (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 37 binary64) d3)))
(if (<=.f64 d2 #s(literal -37 binary64)) (.f64 d1 d2) (if (<=.f64 d2 #s(literal -3849068686643035/1832889850782397517082802171755189663406191307018921761884252780947908096342585866198098193012776216027479008590015982084761399088452696108828481666660133095712823955710669574545075280734654641679682560526831695838459555430831205351382962374814354898944 binary64)) (.f64 d1 #s(literal 37 binary64)) (*.f64 d1 d3)))
(if (<=.f64 d2 #s(literal -37 binary64)) (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(*.f64 d1 #s(literal 37 binary64))

Outputs
(+.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 #s(literal 37 binary64)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 #s(literal 37 binary64))))
(if (<=.f64 d3 #s(literal 37 binary64)) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 (+.f64 d2 d3)))
(if (<=.f64 d2 #s(literal -4722366482869645/2361183241434822606848 binary64)) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 (+.f64 #s(literal 37 binary64) d3)))
(if (<=.f64 d2 #s(literal -4722366482869645/2361183241434822606848 binary64)) (.f64 d1 (+.f64 d2 #s(literal 37 binary64))) (.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(if (<=.f64 d2 #s(literal -20000 binary64)) (.f64 d1 d2) (.f64 d1 (+.f64 #s(literal 37 binary64) d3)))
(if (<=.f64 d2 #s(literal -20000 binary64)) (.f64 d1 d2) (.f64 d1 (+.f64 d3 #s(literal 37 binary64))))
(if (<=.f64 d2 #s(literal -37 binary64)) (.f64 d1 d2) (if (<=.f64 d2 #s(literal -3849068686643035/1832889850782397517082802171755189663406191307018921761884252780947908096342585866198098193012776216027479008590015982084761399088452696108828481666660133095712823955710669574545075280734654641679682560526831695838459555430831205351382962374814354898944 binary64)) (.f64 d1 #s(literal 37 binary64)) (*.f64 d1 d3)))
(if (<=.f64 d2 #s(literal -37 binary64)) (.f64 d1 d2) (.f64 d1 #s(literal 37 binary64)))
(*.f64 d1 #s(literal 37 binary64))

soundness918.0ms (24.1%)

Rules

2788×	`-lowering-.f32`
2788×	`-lowering-.f64`
2618×	`-lowering-.f32`
2618×	`-lowering-.f64`
1692×	`fmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	928
1	344	898
2	1059	898
3	3449	898
4	7974	898
0	8587	898
0	128	1157
1	480	1042
2	1606	1021
3	5056	1015
0	8457	1015
0	11	12
1	21	10
2	52	7
3	188	6
4	383	6
5	590	6
6	612	6
0	612	6
0	15	41
1	35	37
2	92	36
3	272	36
4	451	36
5	615	36
6	629	36
0	629	36

Stop Event

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

Compiler

Compiled 347 to 215 computations (38% saved)

preprocess67.0ms (1.8%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 326 to 162 computations (50.3% saved)

analyze0.0ms (0%)

sample917.0ms (24.1%)

preprocess73.0ms (1.9%)

explain138.0ms (3.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify63.0ms (1.7%)

localize68.0ms (1.8%)

series17.0ms (0.5%)

rewrite49.0ms (1.3%)

simplify211.0ms (5.5%)

eval36.0ms (0.9%)

prune36.0ms (1%)

simplify8.0ms (0.2%)

localize94.0ms (2.5%)

series15.0ms (0.4%)

rewrite19.0ms (0.5%)

simplify413.0ms (10.8%)

eval31.0ms (0.8%)

prune14.0ms (0.4%)

simplify11.0ms (0.3%)

localize136.0ms (3.6%)

series5.0ms (0.1%)

rewrite27.0ms (0.7%)

simplify182.0ms (4.8%)

eval41.0ms (1.1%)

prune35.0ms (0.9%)

regimes23.0ms (0.6%)

regimes13.0ms (0.3%)

regimes9.0ms (0.2%)

regimes5.0ms (0.1%)

regimes2.0ms (0.1%)

regimes5.0ms (0.1%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch16.0ms (0.4%)

bsearch15.0ms (0.4%)

bsearch18.0ms (0.5%)

bsearch33.0ms (0.9%)

bsearch26.0ms (0.7%)

simplify8.0ms (0.2%)

soundness918.0ms (24.1%)

preprocess67.0ms (1.8%)

end0.0ms (0%)

Profiling