Details

analyze1.4s (24.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
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
51.6%	50%	46.8%	0.1%	3.1%	0%	0%	7
62.3%	59.3%	35.9%	0.1%	4.7%	0%	0%	8
72.3%	67.1%	25.8%	0.1%	7%	0%	0%	9
79.1%	72.6%	19.1%	0.1%	8.2%	0%	0%	10
85.1%	76.9%	13.5%	0.1%	9.6%	0%	0%	11
89%	79.8%	9.9%	0.1%	10.2%	0%	0%	12

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample2.2s (36.7%)

Results

2.1s	8139×	body	256	valid
18.0ms	216×	body	256	infinite
16.0ms	68×	body	1024	valid
8.0ms	47×	body	512	valid
1.0ms	2×	body	2048	valid

Bogosity

preprocess5.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

44×	`rational.json-simplify-1`
26×	`rational.json-simplify-2`
20×	`rational.json-simplify-51`
16×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	62
1	26	50
2	42	38
3	64	26
4	79	26
5	83	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 10 d2)) (*.f64 d2 20))
(+.f64 (.f64 d2 (+.f64 10 d1)) (.f64 d2 20))
(+.f64 (.f64 d1 d2) (.f64 d2 30))
(*.f64 d2 (+.f64 d1 30))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	36	13
4	44	13
5	46	13

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))

eval4.0ms (0.1%)

Compiler: Compiled 34 to 21 computations (38.2% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

5 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
▶	0.0b	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 18 to 13 computations (27.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 20

Calls

6 calls:

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

rewrite96.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1604×	`bool.json-1`
1604×	`bool.json-2`
1564×	`rational.json-1`
1564×	`rational.json-2`
1564×	`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	1781	13
6	3864	13
7	6399	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify1.5s (26%)

Algorithm

1×	egg-herbie

Rules

5364×	`rational.json-simplify-35`
2492×	`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	385
1	94	385
2	183	385
3	448	385
4	1877	385
5	3676	385
6	4583	385
7	4895	385
8	5056	385
9	5209	385
10	5360	385
11	5695	385
12	5700	385
13	5771	385
14	5814	385
15	5825	385
16	5976	385
17	6127	385
18	6278	385
19	6429	385
20	6580	385
21	6731	385
22	6882	385
23	7033	385
24	7131	385
25	7146	385
26	7193	385
27	7226	385
28	7227	385
29	7227	385
30	7378	385
31	7529	385
32	7680	385
33	7831	385
34	7982	385

Stop Event

1×	node limit

Counts

31 → 17

Calls

Call 1

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

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

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d2 10))
✓	0.2b	(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))

Compiler

Compiled 26 to 17 computations (34.6% saved)

series3.0ms (0.1%)

Counts

2 → 44

Calls

12 calls:

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

rewrite82.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1474×	`bool.json-1`
1474×	`bool.json-2`
1430×	`rational.json-1`
1430×	`rational.json-2`
1430×	`rational.json-4`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	99	32
2	253	26
3	533	26
4	1132	26
5	2498	26
6	5320	26

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

Inputs
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 d2 10))

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

Outputs

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

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

simplify399.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

4228×	`rational.json-simplify-41`
2798×	`rational.json-simplify-35`
2320×	`rational.json-simplify-2`
1196×	`rational.json-simplify-53`
744×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	1107
1	232	1095
2	492	1095
3	1478	1095
4	3123	1095
5	3747	1095
6	4077	1095
7	4340	1095
8	4523	1095
9	4660	1095
10	5271	1095
11	5405	1095
12	5417	1095
13	5417	1095
14	5543	1095
15	5720	1095
16	5896	1095
17	6101	1095
18	6253	1095

Stop Event

1×	node limit

Counts

87 → 56

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(+.f64 (.f64 20 d1) (.f64 10 d1))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d2 d1)
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d2 d1)
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 10 d1)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(.f64 2 (.f64 (+.f64 d2 30) (*.f64 d1 1/2)))
(.f64 2 (+.f64 (.f64 d1 10) (.f64 (+.f64 d2 10) (.f64 d1 1/2))))
(.f64 2 (+.f64 (.f64 (+.f64 d2 10) (.f64 d1 1/2)) (.f64 d1 10)))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 30) 2))
(.f64 (+.f64 d1 d1) (+.f64 10 (.f64 (+.f64 d2 10) 1/2)))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 (+.f64 d2 10) 1/2) 10))
(.f64 (.f64 d1 (*.f64 2 (+.f64 d2 30))) 1/2)
(*.f64 (+.f64 d2 30) d1)
(.f64 4 (/.f64 (.f64 d1 (+.f64 d2 30)) 4))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 4)) 1/4)
(.f64 (.f64 2 (+.f64 d2 30)) (*.f64 d1 1/2))
(.f64 1/2 (.f64 d1 (*.f64 2 (+.f64 d2 30))))
(.f64 1/2 (+.f64 (.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))))
(.f64 1/2 (+.f64 (.f64 (+.f64 d2 10) (+.f64 d1 d1)) (*.f64 d1 40)))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(.f64 (.f64 d1 1/2) (+.f64 40 (+.f64 d2 (+.f64 d2 20))))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 (+.f64 d2 20)) 40))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 1/2)) 2)
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 30) 4)))
(*.f64 (/.f64 (+.f64 d2 30) 2) (+.f64 d1 d1))
(.f64 (/.f64 (.f64 d1 (+.f64 d2 30)) 4) 4)
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(/.f64 (.f64 d1 (.f64 2 (+.f64 d2 30))) 2)
(/.f64 (.f64 d1 (.f64 (+.f64 d2 30) 4)) 4)
(/.f64 (.f64 (.f64 d1 (+.f64 d2 30)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))) 32)
(+.f64 (*.f64 d1 (+.f64 d2 10)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 (+.f64 d2 10) (.f64 d1 1/2)) (.f64 (+.f64 d2 10) (.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) 0)
(/.f64 (*.f64 d1 (+.f64 d2 10)) 1)
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 d1)) 2)
(/.f64 (.f64 d1 (.f64 (+.f64 d2 10) 4)) 4)
(/.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 10)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 10)) 8))) 32)

Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (.f64 10 d1))
(+.f64 (.f64 d1 20) (.f64 d1 10))
(*.f64 d1 30)
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 20 d1) (+.f64 (.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 10 d1)
(*.f64 d1 10)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 10 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (.f64 (+.f64 d2 30) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (+.f64 (.f64 d1 10) (.f64 (+.f64 d2 10) (.f64 d1 1/2))))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (+.f64 (.f64 (+.f64 d2 10) (.f64 d1 1/2)) (.f64 d1 10)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 30) 2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 d1 d1) (+.f64 10 (.f64 (+.f64 d2 10) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 (+.f64 d2 10) 1/2) 10))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (*.f64 2 (+.f64 d2 30))) 1/2)
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 d2 30) d1)
(*.f64 d1 (+.f64 30 d2))
(.f64 4 (/.f64 (.f64 d1 (+.f64 d2 30)) 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 4)) 1/4)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (+.f64 d2 30)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/2 (.f64 d1 (*.f64 2 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/2 (+.f64 (.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/2 (+.f64 (.f64 (+.f64 d2 10) (+.f64 d1 d1)) (*.f64 d1 40)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/2) (+.f64 40 (+.f64 d2 (+.f64 d2 20))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 (+.f64 d2 20)) 40))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 1/2)) 2)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 30) 4)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (/.f64 (+.f64 d2 30) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (/.f64 (.f64 d1 (+.f64 d2 30)) 4) 4)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (.f64 2 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 30) 4)) 4)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 30)) 8) 8)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)) 16)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))) 32)
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 (+.f64 d2 10)) 0)
(*.f64 d1 (+.f64 d2 10))
(+.f64 0 (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (.f64 (+.f64 d2 10) (.f64 d1 1/2)) (.f64 (+.f64 d2 10) (.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 (+.f64 d2 10)) 0)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 d1 (+.f64 d2 10)) 1)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 10) 4)) 4)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 8) 8)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 10)) 8)) 16)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 10)) 8))) 32)
(*.f64 d1 (+.f64 d2 10))

eval16.0ms (0.3%)

Compiler: Compiled 683 to 487 computations (28.7% saved)

prune8.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	71	4	75

Error

0.0b

Counts

75 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
▶	36.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
▶	26.2b	(*.f64 d1 30)

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

eval0.0ms (0%)

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

prune2.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.2b	(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
✓	36.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	26.2b	(*.f64 d1 30)

Compiler

Compiled 28 to 20 computations (28.6% saved)

regimes15.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

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

Calls

3 calls:

5.0ms	d1
4.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
4.0ms	d2

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Compiler

Compiled 52 to 34 computations (34.6% saved)

regimes44.0ms (0.7%)

Accuracy

Total -60.4b remaining (-5449.1%)

Threshold costs -60.4b (-5449.1%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

35.0ms	d1
8.0ms	d2

Results

Error	Segments	Branch
18.5b	11	`d1`
1.1b	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch35.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	0.00029598178857452324	8885273856837.29
16.0ms	-65102.40286131374	-1.4836710948143435e-6

Results

32.0ms

320×

body

256

valid

Compiler

Compiled 258 to 193 computations (25.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	59

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (.f64 d2 d1) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d2 d1)))
(*.f64 d1 30)

Outputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (.f64 d2 d1) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d2 d1)))
(*.f64 d1 30)

Compiler

Compiled 31 to 20 computations (35.5% saved)

soundness10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	36	13
4	44	13
5	46	13

Stop Event

1×

saturated

Compiler

Compiled 79 to 51 computations (35.4% saved)

end23.0ms (0.4%)

Compiler: Compiled 27 to 16 computations (40.7% saved)

Details

analyze1.4s (24.1%)

sample2.2s (36.7%)

preprocess5.0ms (0.1%)

simplify8.0ms (0.1%)

eval4.0ms (0.1%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite96.0ms (1.6%)

simplify1.5s (26%)

localize12.0ms (0.2%)

series3.0ms (0.1%)

rewrite82.0ms (1.4%)

simplify399.0ms (6.8%)

eval16.0ms (0.3%)

prune8.0ms (0.1%)

localize3.0ms (0.1%)

localize3.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes15.0ms (0.2%)

regimes44.0ms (0.7%)

bsearch35.0ms (0.6%)

simplify2.0ms (0%)

soundness10.0ms (0.2%)

end23.0ms (0.4%)

Profiling