Details

analyze334.0ms (5.2%)

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.4%	25%	73.3%	0.1%	1.6%	0%	0%	9
35.3%	34.3%	62.8%	0.1%	2.7%	0%	0%	10
43.9%	41.3%	52.9%	0.1%	5.7%	0%	0%	11
50.6%	46.8%	45.7%	0.1%	7.3%	0%	0%	12

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.8s (27.6%)

Results

1.4s	7870×	body	256	valid
249.0ms	1425×	body	256	infinite
41.0ms	182×	body	1024	valid
36.0ms	204×	body	512	valid

Bogosity

preprocess13.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

66×	`rational.json-simplify-1`
38×	`rational.json-simplify-2`
36×	`rational.json-simplify-51`
26×	`rational.json-simplify-41`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	124
1	40	100
2	66	76
3	97	76
4	117	76
5	122	76
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 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (+.f64 (.f64 d2 3) (.f64 d2 d1)) (*.f64 d2 d3))
(+.f64 (+.f64 (.f64 d3 3) (.f64 d3 d2)) (*.f64 d3 d1))
(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d3)) (*.f64 d1 d2))

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

Symmetry

(sort d2 d3)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

24×	`rational.json-simplify-1`
14×	`rational.json-simplify-2`
10×	`rational.json-simplify-51`
8×	`rational.json-simplify-41`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	35	19
4	43	19
5	45	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 37 to 21 computations (43.2% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

5 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite81.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1646×	`bool.json-1`
1646×	`bool.json-2`
1616×	`rational.json-1`
1616×	`rational.json-2`
1616×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	91	19
2	248	19
3	529	19
4	1161	19
5	2783	19
6	6070	19

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify423.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

3384×	`rational.json-simplify-41`
2416×	`rational.json-simplify-2`
2240×	`rational.json-simplify-35`
1134×	`rational.json-simplify-53`
660×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	814
1	108	814
2	208	814
3	555	814
4	2122	814
5	3152	814
6	3671	814
7	3767	814
8	3849	814
9	3931	814
10	4011	814
11	4440	814
12	4669	814
13	4983	814
14	5162	814
15	5241	814
16	5320	814
17	5320	814
18	7750	814
19	7841	814
20	7928	814

Stop Event

1×	node limit

Counts

46 → 20

Calls

Call 1

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

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

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 34 to 15 computations (55.9% saved)

series4.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite95.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1808×	`bool.json-1`
1808×	`bool.json-2`
1102×	`bool.json-3`
1094×	`rational.json-1`
1094×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	50
1	109	38
2	280	32
3	619	32
4	1389	32
5	3437	32
6	7078	32

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

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

Outputs

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

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

simplify400.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

3990×	`rational.json-simplify-41`
2538×	`rational.json-simplify-2`
2044×	`rational.json-simplify-35`
1048×	`rational.json-simplify-53`
850×	`rational.json-simplify-51`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	110	2064
1	235	1752
2	560	1752
3	1635	1728
4	3216	1696
5	3948	1680
6	4323	1680
7	4467	1680
8	4609	1680
9	4737	1680
10	4852	1680
11	5237	1680
12	5462	1680
13	5771	1680
14	5886	1680
15	5979	1680
16	5996	1680
17	5997	1680
18	5997	1680

Stop Event

1×	node limit

Counts

108 → 75

Calls

Call 1

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

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

eval18.0ms (0.3%)

Compiler: Compiled 996 to 591 computations (40.7% saved)

prune17.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	5	95
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	91	6	97

Error

0.0b

Counts

97 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.0b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
▶	21.0b	(*.f64 (+.f64 d2 3) d1)
▶	41.7b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
▶	21.3b	(*.f64 d1 (+.f64 3 d3))
▶	41.3b	(*.f64 d1 d3)

Compiler

Compiled 86 to 61 computations (29.1% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

localize3.0ms (0%)

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

localize3.0ms (0%)

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

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite92.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1596×	`bool.json-1`
1596×	`bool.json-2`
1560×	`rational.json-1`
1560×	`rational.json-2`
1560×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	193	13
3	401	13
4	821	13
5	1780	13
6	3854	13
7	6376	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.3s (20.3%)

Algorithm

1×	egg-herbie

Rules

5840×	`rational.json-simplify-35`
2014×	`rational.json-simplify-2`
1048×	`rational.json-simplify-1`
814×	`rational.json-simplify-53`
750×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	401
1	97	281
2	191	281
3	425	281
4	1823	281
5	3552	281
6	4431	281
7	4753	281
8	4943	281
9	5091	281
10	5237	281
11	5523	281
12	5524	281
13	5524	281
14	5543	281
15	5719	281
16	5883	281
17	6053	281
18	6216	281
19	6360	281
20	6504	281
21	6648	281
22	6792	281
23	6936	281
24	6936	281
25	7080	281
26	7224	281
27	7368	281
28	7512	281
29	7656	281
30	7800	281
31	7944	281

Stop Event

1×	node limit

Counts

23 → 15

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0.1%)

Counts

1 → 20

Calls

6 calls:

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

rewrite92.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1596×	`bool.json-1`
1596×	`bool.json-2`
1560×	`rational.json-1`
1560×	`rational.json-2`
1560×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	193	13
3	401	13
4	821	13
5	1780	13
6	3856	13
7	6378	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.3s (19.6%)

Algorithm

1×	egg-herbie

Rules

5140×	`rational.json-simplify-35`
2504×	`rational.json-simplify-2`
1112×	`rational.json-simplify-53`
1004×	`rational.json-simplify-1`
782×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	553
1	94	385
2	185	385
3	450	385
4	1907	385
5	3683	385
6	4560	385
7	4898	385
8	5048	385
9	5194	385
10	5338	385
11	5672	385
12	5675	385
13	5747	385
14	5888	385
15	5916	385
16	6104	385
17	6261	385
18	6405	385
19	6549	385
20	6693	385
21	6837	385
22	6981	385
23	7125	385
24	7269	385
25	7370	385
26	7370	385
27	7514	385
28	7658	385
29	7802	385
30	7946	385

Stop Event

1×	node limit

Counts

31 → 17

Calls

Call 1

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

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

eval11.0ms (0.2%)

Compiler: Compiled 560 to 409 computations (27% saved)

prune13.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	63	7	70

Error

0.0b

Counts

70 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.0b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.0b	(*.f64 (+.f64 d2 3) d1)
✓	41.7b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	21.3b	(*.f64 d1 (+.f64 3 d3))
✓	41.3b	(*.f64 d1 d3)
▶	42.1b	(*.f64 d1 3)

Compiler

Compiled 54 to 39 computations (27.8% saved)

localize3.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	6	6
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.0b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.0b	(*.f64 (+.f64 d2 3) d1)
✓	41.7b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	21.3b	(*.f64 d1 (+.f64 3 d3))
✓	41.3b	(*.f64 d1 d3)
✓	42.1b	(*.f64 d1 3)

Compiler

Compiled 54 to 39 computations (27.8% saved)

regimes23.0ms (0.4%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	d3
5.0ms	(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))
5.0ms	d1
5.0ms	d2

Results

Error	Segments	Branch
0.1b	1	`d1`
0.1b	1	`d2`
0.1b	1	`d3`
0.1b	1	`(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))`

Compiler

Compiled 73 to 43 computations (41.1% saved)

regimes49.0ms (0.8%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

3 calls:

31.0ms	d1
8.0ms	d2
8.0ms	d3

Results

Error	Segments	Branch
14.4b	8	`d1`
2.7b	2	`d2`
2.4b	2	`d3`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch14.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
14.0ms	7.236293354660942e-24	7.943537560063715e-22

Results

13.0ms

112×

body

256

valid

Compiler

Compiled 146 to 112 computations (23.3% saved)

regimes45.0ms (0.7%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	d1
10.0ms	d3
7.0ms	d2

Results

Error	Segments	Branch
17.7b	7	`d1`
3.3b	2	`d2`
14.5b	2	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch5.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
5.0ms	-1.3906890187417783e+26	-1.1122473733707358e+26

Results

4.0ms

48×

body

256

valid

Compiler

Compiled 68 to 50 computations (26.5% saved)

regimes69.0ms (1.1%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

44.0ms	d1
14.0ms	d2
10.0ms	d3

Results

Error	Segments	Branch
27.9b	14	`d1`
14.0b	3	`d2`
15.5b	3	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch34.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	-3.222044119485455e-303	1.9904311642315373e-302
15.0ms	-11796732.096846698	-0.685066820742001

Results

28.0ms	294×	body	256	valid
2.0ms	8×	body	1024	valid
0.0ms	2×	body	512	valid

Compiler

Compiled 286 to 223 computations (22% saved)

regimes39.0ms (0.6%)

Accuracy

Total -38.7b remaining (-172.4%)

Threshold costs -38.7b (-172.4%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

22.0ms	d1
10.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
33.7b	7	`d1`
31.8b	3	`d2`
22.5b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch17.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
17.0ms	6.547568862349002e-5	603039.7030815742

Results

16.0ms

160×

body

256

valid

Compiler

Compiled 160 to 124 computations (22.5% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	152

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d3 8294382693697875/10633823966279326983230456482242756608) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -112000000000000006710886400) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -3) (.f64 d2 d1) (if (<=.f64 d2 5404723255734155/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 d1 3) (*.f64 d1 d3)))
(if (<=.f64 d3 3) (.f64 d1 3) (.f64 d1 d3))
(*.f64 d1 3)

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d3 8294382693697875/10633823966279326983230456482242756608) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -112000000000000006710886400) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -3) (.f64 d2 d1) (if (<=.f64 d2 5404723255734155/1544206644495472857303583883048380333324864576447617480139933456630175320190394187102969236003396030389305708803686614314192266367994640173851115417028339461681498903477221384921775113999124270181577817371160469578262386195561925496048762173836971712805252506350393444460551564142078418977251644200485277277433072975872) (.f64 d1 3) (*.f64 d1 d3)))
(if (<=.f64 d3 3) (.f64 d1 3) (.f64 d1 d3))
(*.f64 d1 3)

Compiler

Compiled 81 to 56 computations (30.9% saved)

soundness9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`rational.json-simplify-1`
14×	`rational.json-simplify-2`
10×	`rational.json-simplify-51`
8×	`rational.json-simplify-41`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	35	19
4	43	19
5	45	19

Stop Event

1×

saturated

Compiler

Compiled 61 to 30 computations (50.8% saved)

end109.0ms (1.7%)

Remove: (sort d2 d3)
Compiler: Compiled 86 to 53 computations (38.4% saved)

Details

analyze334.0ms (5.2%)

sample1.8s (27.6%)

preprocess13.0ms (0.2%)

simplify11.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.2%)

series3.0ms (0%)

rewrite81.0ms (1.3%)

simplify423.0ms (6.6%)

localize13.0ms (0.2%)

series4.0ms (0.1%)

rewrite95.0ms (1.5%)

simplify400.0ms (6.2%)

eval18.0ms (0.3%)

prune17.0ms (0.3%)

localize7.0ms (0.1%)

localize3.0ms (0%)

localize3.0ms (0%)

localize9.0ms (0.1%)

series2.0ms (0%)

rewrite92.0ms (1.4%)

simplify1.3s (20.3%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite92.0ms (1.4%)

simplify1.3s (19.6%)

eval11.0ms (0.2%)

prune13.0ms (0.2%)

localize3.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes23.0ms (0.4%)

regimes49.0ms (0.8%)

bsearch14.0ms (0.2%)

regimes45.0ms (0.7%)

bsearch5.0ms (0.1%)

regimes69.0ms (1.1%)

bsearch34.0ms (0.5%)

regimes39.0ms (0.6%)

bsearch17.0ms (0.3%)

simplify4.0ms (0.1%)

soundness9.0ms (0.1%)

end109.0ms (1.7%)

Profiling