Details

analyze2.5s (42.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (21.8%)

Results

1.2s	8256×	body	256	valid
111.0ms	1249×	body	256	infinite

Bogosity

preprocess4.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-51`
12×	`rational.json-simplify-2`
12×	`rational.json-simplify-1`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	76
1	21	52
2	33	52
3	36	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d2 d3))
(*.f64 d2 (+.f64 d3 d1))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d2 d3))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(sort d2 d3)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-2`
4×	`rational.json-simplify-51`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))

eval1.0ms (0%)

Compiler: Compiled 20 to 10 computations (50% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	1	2	3
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	3	4

Error

0.0b

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	0.0b	(*.f64 d1 (+.f64 d3 d2))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite94.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`bool.json-1`
1638×	`bool.json-2`
1606×	`rational.json-1`
1606×	`rational.json-2`
1606×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	196	13
3	417	13
4	861	13
5	1885	13
6	3899	13
7	6401	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 d2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (+.f64 d3 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 d1 (+.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 d1 (+.f64 d3 d2)) (.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d3 d2) (*.f64 d1 1/2)) (*.f64 (+.f64 d3 d2) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d3 d2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 d1 (+.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))))

simplify1.6s (26.5%)

Algorithm

1×	egg-herbie

Rules

5368×	`rational.json-simplify-35`
2494×	`rational.json-simplify-2`
1068×	`rational.json-simplify-53`
974×	`rational.json-simplify-1`
736×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	575
1	94	575
2	183	575
3	448	575
4	1874	575
5	3672	575
6	4582	575
7	4894	575
8	5055	575
9	5208	575
10	5359	575
11	5691	575
12	5696	575
13	5767	575
14	5810	575
15	5821	575
16	5972	575
17	6123	575
18	6274	575
19	6425	575
20	6576	575
21	6727	575
22	6878	575
23	7029	575
24	7131	575
25	7146	575
26	7193	575
27	7226	575
28	7227	575
29	7227	575
30	7378	575
31	7529	575
32	7680	575
33	7831	575
34	7982	575

Stop Event

1×	node limit

Counts

47 → 16

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d3 d2)))
(+.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(/.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)
(/.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(*.f64 d1 (+.f64 d2 d3))
(+.f64 0 (*.f64 d1 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(-.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)
(*.f64 d1 (+.f64 d2 d3))

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Compiler

Compiled 19 to 6 computations (68.4% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d1	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d1	@	-inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d2	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	d2	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

rewrite79.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1306×	`bool.json-1`
1306×	`bool.json-2`
1290×	`rational.json-simplify-35`
1276×	`rational.json-1`
1276×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	80	13
2	220	13
3	480	13
4	992	13
5	2209	13
6	4716	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 d1 (+.f64 d2 d3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (+.f64 d2 d3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (+.f64 d2 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)) (.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 (.f64 d1 d3) 1/2) (.f64 (.f64 d1 d2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 (+.f64 d2 d3) 1/2) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (.f64 2 (+.f64 d2 d3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d1 d1) (.f64 (+.f64 d2 d3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 d3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d1 d1) (+.f64 (.f64 d3 1/2) (.f64 d2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d2 d3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 (.f64 d3 1/2) (.f64 d2 1/2)) (.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (.f64 (+.f64 d2 d3) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (+.f64 d2 d3)) (.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 d1 (.f64 2 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 d2 (+.f64 d1 d1)) (.f64 d1 (+.f64 d3 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 1/2) (.f64 2 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 1/2) (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 d2 d3) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 d1 (.f64 (+.f64 d2 d3) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 d2 d3) 2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (+.f64 d2 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 2 (+.f64 d2 d3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 (+.f64 d2 d3) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (+.f64 d2 d3)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 d3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d2 d3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 d1 (/.f64 (+.f64 d2 d3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (*.f64 d1 d3) 1/2) (*.f64 (*.f64 d1 d2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 d2 d3) 1/2) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 d3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 d3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 d3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 (*.f64 d3 1/2) (*.f64 d2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 d3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 d1 (+.f64 d2 d3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 d3 1/2) (*.f64 d2 1/2)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d2 d3) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 d2 d3)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (*.f64 2 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 d1 (+.f64 d3 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (/.f64 (+.f64 d2 d3) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 d3) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d2 d3) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 d3) 2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 d1 (+.f64 d2 d3)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 d3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 d3) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d2 d3)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 d3)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 d3)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 d3)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 d3)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 d1 (+.f64 d2 d3)) (*.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 d1 (+.f64 d2 d3)) (*.f64 d1 (+.f64 d2 d3)))))))

simplify233.0ms (4%)

Algorithm

1×	egg-herbie

Rules

2032×	`rational.json-simplify-2`
1840×	`rational.json-simplify-1`
1632×	`rational.json-simplify-35`
1182×	`rational.json-simplify-41`
720×	`rational.json-simplify-52`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	885
1	198	885
2	419	885
3	1282	885
4	2557	885
5	3918	885
6	4286	885
7	4488	885
8	4596	885
9	4703	885
10	4862	885
11	5764	885
12	6533	885
13	7086	885

Stop Event

1×	node limit

Counts

69 → 38

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (*.f64 d1 (+.f64 d2 d3)) 0)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(.f64 1 (.f64 (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)) (*.f64 d1 1/2)))
(.f64 2 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)))
(.f64 2 (+.f64 (.f64 (.f64 d1 d3) 1/2) (.f64 (*.f64 d1 d2) 1/2)))
(.f64 2 (.f64 (*.f64 (+.f64 d2 d3) 1/2) d1))
(.f64 (.f64 d1 (*.f64 2 (+.f64 d2 d3))) 1/2)
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 d3) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 d3) 2))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d3 1/2) (*.f64 d2 1/2)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 4 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4))
(.f64 4 (.f64 (+.f64 (.f64 d3 1/2) (.f64 d2 1/2)) (*.f64 d1 1/2)))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 d3) 4)) 1/4)
(.f64 (.f64 2 (+.f64 d2 d3)) (*.f64 d1 1/2))
(.f64 1/2 (.f64 d1 (*.f64 2 (+.f64 d2 d3))))
(.f64 1/2 (+.f64 (.f64 d2 (+.f64 d1 d1)) (*.f64 d1 (+.f64 d3 d3))))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 d3)))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)))
(.f64 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)) 2)
(.f64 (.f64 (+.f64 d2 d3) 1/2) (+.f64 d1 d1))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 d3) 4)))
(*.f64 (/.f64 (+.f64 d2 d3) 2) (+.f64 d1 d1))
(.f64 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4) 4)
(/.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(/.f64 (.f64 d1 (.f64 2 (+.f64 d2 d3))) 2)
(/.f64 (.f64 d1 (.f64 (+.f64 d2 d3) 4)) 4)
(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 d3)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8)))) 64)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(-.f64 (*.f64 d1 (+.f64 d2 d3)) 0)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 1 (.f64 (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 2 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 2 (+.f64 (.f64 (.f64 d1 d3) 1/2) (.f64 (*.f64 d1 d2) 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 2 (.f64 (*.f64 (+.f64 d2 d3) 1/2) d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (*.f64 2 (+.f64 d2 d3))) 1/2)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 d3) 1/2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 d3) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d3 1/2) (*.f64 d2 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 4 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4))
(*.f64 d1 (+.f64 d2 d3))
(.f64 4 (.f64 (+.f64 (.f64 d3 1/2) (.f64 d2 1/2)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 d3) 4)) 1/4)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 2 (+.f64 d2 d3)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 1/2 (.f64 d1 (*.f64 2 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 1/2 (+.f64 (.f64 d2 (+.f64 d1 d1)) (*.f64 d1 (+.f64 d3 d3))))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d3 d3) (+.f64 d2 d2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (/.f64 (+.f64 d2 d3) 2)) 2)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (+.f64 d2 d3) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 d3) 4)))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (/.f64 (+.f64 d2 d3) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (/.f64 (.f64 d1 (+.f64 d2 d3)) 4) 4)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 d1 (.f64 2 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 d3) 4)) 4)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) 8) 8)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 d3)) 8)) 16)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) 32)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 d3)) 8)))) 64)
(*.f64 d1 (+.f64 d2 d3))

eval8.0ms (0.1%)

Compiler: Compiled 493 to 232 computations (52.9% saved)

prune9.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	4	56

Error

0.0b

Counts

56 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	28.6b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
▶	30.2b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	3	3
Total	4	4

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	28.6b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
✓	30.2b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes17.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 d3 d2))

Calls

4 calls:

5.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
4.0ms	d2
4.0ms	d3
4.0ms	d1

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`d3`
0.0b	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 43 to 24 computations (44.2% saved)

regimes36.0ms (0.6%)

Accuracy

Total -49.8b remaining (-609.7%)

Threshold costs -49.8b (-609.7%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)

Outputs
(*.f64 d2 d1)
(*.f64 d1 d3)

Calls

3 calls:

21.0ms	d1
9.0ms	d2
5.0ms	d3

Results

Error	Segments	Branch
22.1b	7	`d1`
8.2b	2	`d2`
9.6b	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch14.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
14.0ms	-1.80281800121529e-121	-3.8635787795965095e-129

Results

12.0ms

144×

body

256

valid

Compiler

Compiled 142 to 101 computations (28.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(*.f64 d1 (+.f64 d3 d2))

(if (<=.f64 d2 -8373182103885391/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Outputs

(*.f64 d1 (+.f64 d3 d2))

(if (<=.f64 d2 -8373182103885391/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-2`
4×	`rational.json-simplify-51`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Compiler

Compiled 22 to 10 computations (54.5% saved)

end18.0ms (0.3%)

Remove: (sort d2 d3)
Compiler: Compiled 37 to 20 computations (45.9% saved)

Details

analyze2.5s (42.1%)

sample1.3s (21.8%)

preprocess4.0ms (0.1%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0%)

rewrite94.0ms (1.6%)

simplify1.6s (26.5%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite79.0ms (1.3%)

simplify233.0ms (4%)

eval8.0ms (0.1%)

prune9.0ms (0.2%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes17.0ms (0.3%)

regimes36.0ms (0.6%)

bsearch14.0ms (0.2%)

simplify2.0ms (0%)

soundness10.0ms (0.2%)

end18.0ms (0.3%)

Profiling