Details

analyze60.0ms (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)

sample1.1s (17.3%)

Results

1.0s	8138×	body	256	valid
21.0ms	247×	body	256	infinite
15.0ms	74×	body	1024	valid
6.0ms	40×	body	512	valid
1.0ms	4×	body	2048	valid

Bogosity

preprocess4.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))

eval1.0ms (0%)

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

prune42.0ms (0.7%)

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.0b	(+.f64 (.f64 d1 d2) (.f64 d1 30))
▶	0.0b	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 16 to 11 computations (31.3% 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))

rewrite91.0ms (1.5%)

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 (25%)

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))

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite105.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2018×	`bool.json-1`
1266×	`bool.json-2`
1222×	`rational.json-1`
1222×	`rational.json-2`
1222×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	80	13
2	217	13
3	467	13
4	966	13
5	2133	13
6	4533	13
7	7726	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

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 d1 (/.f64 (+.f64 d2 30) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 (.f64 d1 d2) 1/2) (.f64 d1 15)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 (+.f64 d2 30) 1/2) d1))))) (#(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 (.f64 d2 1/2) 15))))) (#(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 (+.f64 d2 30) (.f64 d1 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 d2 (+.f64 d1 d1)) (.f64 d1 60)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (/.f64 (+.f64 d2 30) 2)) 2)))) (#(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 (+.f64 d2 d2) 60))))) (#(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 (+.f64 d2 30) (.f64 d1 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 (+.f64 d2 30) (.f64 d1 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 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 d1 (/.f64 (+.f64 d2 30) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (*.f64 d1 d2) 1/2) (*.f64 d1 15)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 1/2) d1))))) (#(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 (*.f64 d2 1/2) 15))))) (#(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 (+.f64 d2 30) (*.f64 d1 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 d2 (+.f64 d1 d1)) (*.f64 d1 60)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (/.f64 (+.f64 d2 30) 2)) 2)))) (#(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 (+.f64 d2 d2) 60))))) (#(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 (+.f64 d2 30) (*.f64 d1 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 (+.f64 d2 30) (*.f64 d1 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.8s (29.1%)

Algorithm

1×	egg-herbie

Rules

5186×	`rational.json-simplify-35`
1970×	`rational.json-simplify-2`
1310×	`rational.json-simplify-1`
918×	`rational.json-simplify-41`
814×	`rational.json-simplify-53`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	83	793
1	178	777
2	358	771
3	1143	755
4	2285	739
5	3445	739
6	4256	739
7	4469	739
8	4613	739
9	4730	739
10	4827	739
11	4918	739
12	5262	739
13	5350	739
14	5438	739
15	5526	739
16	5614	739
17	5637	739
18	5729	739
19	5806	739
20	5814	739
21	5814	739
22	5902	739
23	5990	739
24	6078	739
25	6166	739
26	6254	739
27	6342	739
28	6430	739
29	6518	739
30	6606	739
31	6694	739
32	6782	739
33	6870	739
34	6958	739
35	7046	739
36	7134	739
37	7222	739
38	7222	739
39	7222	739
40	7310	739
41	7398	739
42	7486	739
43	7574	739
44	7662	739
45	7750	739
46	7838	739
47	7926	739

Stop Event

1×	node limit

Counts

55 → 45

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.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 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(.f64 2 (.f64 d1 (/.f64 (+.f64 d2 30) 2)))
(.f64 2 (+.f64 (.f64 (.f64 d1 d2) 1/2) (.f64 d1 15)))
(.f64 2 (.f64 (*.f64 (+.f64 d2 30) 1/2) d1))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 30) 2))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d2 1/2) 15))
(.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 (+.f64 d2 30) (*.f64 d1 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 d2 (+.f64 d1 d1)) (*.f64 d1 60)))
(.f64 (.f64 d1 (/.f64 (+.f64 d2 30) 2)) 2)
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 60))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(.f64 1/4 (.f64 (+.f64 d2 30) (*.f64 d1 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 (+.f64 d2 30) (.f64 d1 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 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 d2 -1) 30)))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 30)))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 d2 -1) 30)))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 30)))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 d2 -1) 30)))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 30)))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 d2 -1) 30)))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 30)))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 d2 30))
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 d2 30))
(.f64 2 (.f64 d1 (/.f64 (+.f64 d2 30) 2)))
(*.f64 d1 (+.f64 d2 30))
(.f64 2 (+.f64 (.f64 (.f64 d1 d2) 1/2) (.f64 d1 15)))
(.f64 2 (+.f64 (.f64 d2 (.f64 d1 1/2)) (.f64 d1 15)))
(.f64 2 (.f64 d1 (+.f64 15 (*.f64 d2 1/2))))
(.f64 2 (.f64 (*.f64 (+.f64 d2 30) 1/2) d1))
(*.f64 d1 (+.f64 d2 30))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 30) 2))
(*.f64 d1 (+.f64 d2 30))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d2 1/2) 15))
(.f64 (+.f64 d1 d1) (+.f64 15 (.f64 d2 1/2)))
(.f64 (.f64 d1 (*.f64 2 (+.f64 d2 30))) 1/2)
(*.f64 d1 (+.f64 d2 30))
(*.f64 (+.f64 d2 30) d1)
(*.f64 d1 (+.f64 d2 30))
(.f64 4 (/.f64 (.f64 d1 (+.f64 d2 30)) 4))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 2 (+.f64 d2 30)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 d2 30))
(.f64 1/2 (.f64 d1 (*.f64 2 (+.f64 d2 30))))
(*.f64 d1 (+.f64 d2 30))
(.f64 1/2 (+.f64 (.f64 d2 (+.f64 d1 d1)) (*.f64 d1 60)))
(.f64 (.f64 d1 (/.f64 (+.f64 d2 30) 2)) 2)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 60))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 30))
(.f64 1/4 (.f64 (+.f64 d2 30) (*.f64 d1 4)))
(*.f64 d1 (+.f64 d2 30))
(*.f64 (/.f64 (+.f64 d2 30) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 30))
(.f64 (/.f64 (.f64 d1 (+.f64 d2 30)) 4) 4)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 d1 (.f64 2 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 (+.f64 d2 30) (.f64 d1 4)) 4)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 30)) 8) 8)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)) 16)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))) 32)
(*.f64 d1 (+.f64 d2 30))
(/.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 d2 30))

eval10.0ms (0.2%)

Compiler: Compiled 525 to 372 computations (29.1% saved)

prune10.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	60	4	64

Error

0.0b

Counts

64 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 30))
▶	32.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
▶	30.5b	(*.f64 d1 30)

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize3.0ms (0%)

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.0b	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	32.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	30.5b	(*.f64 d1 30)

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes16.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

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 50 to 31 computations (38% saved)

regimes83.0ms (1.4%)

Accuracy

Total -60.0b remaining (-3890.5%)

Threshold costs -60.0b (-3890.5%)

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:

74.0ms	d1
8.0ms	d2

Results

Error	Segments	Branch
20.1b	9	`d1`
1.5b	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch1.3s (20.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
1.3s	2.9276207722601546e-5	3765.3763719110193
13.0ms	-7042.936500257853	-0.9597340962405021

Results

1.3s

272×

body

256

valid

Compiler

Compiled 222 to 166 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)

soundness11.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)

end21.0ms (0.3%)

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

Details

analyze60.0ms (1%)

sample1.1s (17.3%)

preprocess4.0ms (0.1%)

simplify8.0ms (0.1%)

eval1.0ms (0%)

prune42.0ms (0.7%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite91.0ms (1.5%)

simplify1.5s (25%)

localize6.0ms (0.1%)

series3.0ms (0%)

rewrite105.0ms (1.7%)

simplify1.8s (29.1%)

eval10.0ms (0.2%)

prune10.0ms (0.2%)

localize3.0ms (0%)

localize3.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes16.0ms (0.3%)

regimes83.0ms (1.4%)

bsearch1.3s (20.7%)

simplify2.0ms (0%)

soundness11.0ms (0.2%)

end21.0ms (0.3%)

Profiling