Details

analyze162.0ms (2.6%)

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.8s (28.9%)

Results

1.7s	8152×	body	256	valid
20.0ms	220×	body	256	infinite
16.0ms	72×	body	1024	valid
5.0ms	32×	body	512	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)

simplify17.0ms (0.3%)

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)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

5 → 3

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

Compiler

Compiled 27 to 19 computations (29.6% 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.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 (24.8%)

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

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

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	d2	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 30))
1.0ms	d1	@	inf	(+.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))

rewrite103.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%)

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

localize16.0ms (0.3%)

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)

series2.0ms (0%)

Counts

2 → 44

Calls

12 calls:

Time	Variable		Point	Expression
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))
0.0ms	d2	@	inf	(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))

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

simplify402.0ms (6.5%)

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

eval31.0ms (0.5%)

Compiler: Compiled 1063 to 753 computations (29.2% saved)

prune12.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	116	5	121

Error

0.0b

Counts

121 → 5

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

Compiler

Compiled 37 to 26 computations (29.7% 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)

prune3.0ms (0%)

Pruning

5 alts after pruning (0 fresh and 5 done)

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

Error

0.0b

Counts

5 → 5

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

Compiler

Compiled 37 to 26 computations (29.7% saved)

regimes15.0ms (0.2%)

Counts

6 → 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 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:

4.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
4.0ms	d1
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 59 to 37 computations (37.3% saved)

regimes39.0ms (0.6%)

Accuracy

Total -59.4b remaining (-3276.2%)

Threshold costs -59.4b (-3276.2%)

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:

29.0ms	d1
9.0ms	d2

Results

Error	Segments	Branch
18.8b	11	`d1`
1.8b	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch25.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	0.8332286219781533	184.00543698894668
14.0ms	-2751.0284709717835	-0.29189197902147296

Results

23.0ms

240×

body

256

valid

Compiler

Compiled 198 to 148 computations (25.3% 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

analyze162.0ms (2.6%)

sample1.8s (28.9%)

preprocess4.0ms (0.1%)

simplify17.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite96.0ms (1.5%)

simplify1.5s (24.8%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite103.0ms (1.7%)

simplify1.8s (29%)

localize16.0ms (0.3%)

series2.0ms (0%)

rewrite87.0ms (1.4%)

simplify402.0ms (6.5%)

eval31.0ms (0.5%)

prune12.0ms (0.2%)

localize3.0ms (0%)

localize3.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes15.0ms (0.2%)

regimes39.0ms (0.6%)

bsearch25.0ms (0.4%)

simplify2.0ms (0%)

soundness11.0ms (0.2%)

end21.0ms (0.3%)

Profiling