Details

analyze386.0ms (8.8%)

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

Results

1.7s	8133×	body	256	valid
21.0ms	226×	body	256	infinite
19.0ms	79×	body	1024	valid
7.0ms	43×	body	512	valid
0.0ms	1×	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)

simplify13.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.1b	(+.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
0.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))

rewrite204.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2428×	`rational.json-simplify-35`
1520×	`rational.json-simplify-53`
1482×	`rational.json-simplify-1`
1242×	`exponential.json-3`
1242×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	99	13
3	201	13
4	369	13
5	820	13
6	2063	13
7	3650	13
8	4756	13
9	6153	13
10	6892	13
11	6892	13
12	6892	13

Stop Event

1×	node limit

Counts

1 → 15

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 d1 (.f64 (+.f64 d2 30) 1/2)) (.f64 d1 (.f64 (+.f64 d2 30) 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 (+.f64 d2 30) (.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 (+.f64 d2 30) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 16 (.f64 d1 (+.f64 d2 30))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 d2 30) (.f64 8 (.f64 d1 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8)))) (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))))

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 d1 (*.f64 (+.f64 d2 30) 1/2)) (*.f64 d1 (*.f64 (+.f64 d2 30) 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 (+.f64 d2 30) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 8) (*.f64 d1 8))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 d2 30) 8) (*.f64 d1 8)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 16 (*.f64 d1 (+.f64 d2 30))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 30) (*.f64 8 (*.f64 d1 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 8) (*.f64 d1 8)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 8) (*.f64 d1 8)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 8) (*.f64 d1 8))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))))

simplify545.0ms (12.4%)

Algorithm

1×	egg-herbie

Rules

3338×	`rational.json-simplify-35`
2310×	`rational.json-simplify-2`
1622×	`rational.json-simplify-53`
1348×	`rational.json-simplify-1`
914×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	437
1	139	437
2	291	437
3	729	437
4	2321	437
5	4532	437
6	5304	437
7	5537	437
8	5708	437
9	5860	437
10	6009	437
11	7308	437
12	7382	437
13	7382	437
14	7529	437
15	7676	437
16	7823	437
17	7970	437

Stop Event

1×	node limit

Counts

35 → 21

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 d1 (.f64 (+.f64 d2 30) 1/2)) (.f64 d1 (.f64 (+.f64 d2 30) 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 (+.f64 d2 30) (.f64 d1 4)) 4)
(/.f64 (.f64 d1 (.f64 (+.f64 d2 30) 8)) 8)
(/.f64 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))) 128)
(/.f64 (.f64 (.f64 (+.f64 d2 30) 8) (*.f64 d1 8)) 64)
(/.f64 (.f64 16 (.f64 d1 (+.f64 d2 30))) 16)
(/.f64 (.f64 (+.f64 d2 30) (.f64 8 (*.f64 d1 4))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (*.f64 d1 8)))) 256)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8)))) (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))))) 512)
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)

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 d1 (.f64 (+.f64 d2 30) 1/2)) (.f64 d1 (.f64 (+.f64 d2 30) 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 (+.f64 d2 30) (.f64 d1 4)) 4)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (.f64 (+.f64 d2 30) 8)) 8)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))) 128)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 (.f64 (+.f64 d2 30) 8) (*.f64 d1 8)) 64)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 16 (.f64 d1 (+.f64 d2 30))) 16)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 (+.f64 d2 30) (.f64 8 (*.f64 d1 4))) 32)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (*.f64 d1 8)))) 256)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8)))) (.f64 2 (.f64 2 (.f64 (.f64 (+.f64 d2 30) 8) (.f64 d1 8))))) 512)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.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)

series2.0ms (0.1%)

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

rewrite198.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1714×	`rational.json-simplify-35`
1708×	`rational.json-simplify-1`
1416×	`exponential.json-3`
1416×	`rational.json-1`
1416×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	114	13
3	245	13
4	457	13
5	1049	13
6	2602	13
7	4700	13
8	5587	13
9	6875	13
10	7852	13
11	7852	13

Stop Event

1×	node limit

Counts

1 → 44

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) 1/2)))))) (#(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 1/2) 15))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d1 d1) (.f64 1/4 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (+.f64 d2 (+.f64 d2 60))) 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)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 60))))))) (#(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 d1 4) (/.f64 (+.f64 d2 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 4) (.f64 (+.f64 d2 30) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 4) (.f64 1/8 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 8 (.f64 (/.f64 d1 8) (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d2 (+.f64 d2 60)) (.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 8) (.f64 1/8 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (+.f64 d2 30)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 d1 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 1/2) (+.f64 d2 (+.f64 d2 60)))))) (#(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 d1 (.f64 (+.f64 d2 30) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (.f64 d1 8)) (.f64 1/16 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 d2 30) 4) (.f64 d1 1/4))))) (#(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) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (+.f64 d2 30)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 1/4) (.f64 (+.f64 d2 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 d2 30) 4) (.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 d2 1/2) 15) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 d2 d2) 60) (.f64 d1 1/2))))) (#(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 d2 (+.f64 d2 60))) 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 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (+.f64 d2 30)) 1)))))

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) 1/2)))))) (#(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 1/2) 15))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 60))) 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)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 60))))))) (#(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 d1 4) (/.f64 (+.f64 d2 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 d1 8) (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 (+.f64 d2 60)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (+.f64 d2 (+.f64 d2 60))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 d2 (+.f64 d2 60)))))) (#(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 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))))) (#(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) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/4) (*.f64 (+.f64 d2 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 30) 4) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 d2 1/2) 15) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d2 d2) 60) (*.f64 d1 1/2))))) (#(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 d2 (+.f64 d2 60))) 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 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))))

simplify188.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

2738×	`rational.json-simplify-2`
1682×	`rational.json-simplify-1`
1604×	`rational.json-simplify-35`
1292×	`rational.json-simplify-51`
1146×	`rational.json-simplify-41`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	107	938
1	247	922
2	563	922
3	2065	906
4	4761	890
5	6002	890
6	6185	890
7	6309	890
8	6437	890
9	6562	890
10	7377	890

Stop Event

1×	node limit

Counts

68 → 54

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) 1/2)))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d2 1/2) 15))
(.f64 (+.f64 d1 d1) (.f64 1/4 (+.f64 d2 (+.f64 d2 60))))
(.f64 (.f64 d1 (+.f64 d2 (+.f64 d2 60))) 1/2)
(*.f64 (+.f64 d2 30) d1)
(.f64 4 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4))
(.f64 4 (.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 60))))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)
(.f64 (.f64 d1 4) (/.f64 (+.f64 d2 30) 4))
(.f64 (.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))
(.f64 (.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 60))))
(.f64 8 (.f64 (/.f64 d1 8) (+.f64 d2 30)))
(.f64 (+.f64 d2 (+.f64 d2 60)) (.f64 d1 1/2))
(.f64 (.f64 d1 8) (*.f64 1/8 (+.f64 d2 30)))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)
(.f64 1/2 (.f64 d1 (+.f64 d2 (+.f64 d2 60))))
(.f64 (.f64 d1 1/2) (+.f64 d2 (+.f64 d2 60)))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 60))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)
(.f64 (.f64 2 (.f64 d1 8)) (.f64 1/16 (+.f64 d2 30)))
(.f64 (.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))
(.f64 1/4 (.f64 (+.f64 d2 30) (*.f64 d1 4)))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)
(.f64 (.f64 d1 1/4) (*.f64 (+.f64 d2 30) 4))
(.f64 1/8 (.f64 (*.f64 d1 (+.f64 d2 30)) 8))
(.f64 (/.f64 (+.f64 d2 30) 4) (.f64 d1 4))
(.f64 (+.f64 (.f64 d2 1/2) 15) (+.f64 d1 d1))
(.f64 (+.f64 (+.f64 d2 d2) 60) (.f64 d1 1/2))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 60))) 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 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))))) 256)
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)

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 (-.f64 (.f64 d2 -1) 30) (*.f64 d1 -1))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 (-.f64 (.f64 d2 -1) 30) (*.f64 d1 -1))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 (-.f64 (.f64 d2 -1) 30) (*.f64 d1 -1))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 d1 (-.f64 d2 -30))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(.f64 (-.f64 (.f64 d2 -1) 30) (*.f64 d1 -1))
(*.f64 (-.f64 (neg.f64 d2) 30) (neg.f64 d1))
(*.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) 1/2)))
(*.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 1/2) 15))
(.f64 (+.f64 d1 d1) (.f64 1/4 (+.f64 d2 (+.f64 d2 60))))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 (+.f64 d2 60))) 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)) 1/4))
(*.f64 d1 (+.f64 d2 30))
(.f64 4 (.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 60))))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 4) (/.f64 (+.f64 d2 30) 4))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 60))))
(*.f64 d1 (+.f64 d2 30))
(.f64 8 (.f64 (/.f64 d1 8) (+.f64 d2 30)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (+.f64 d2 (+.f64 d2 60)) (.f64 d1 1/2))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 8) (*.f64 1/8 (+.f64 d2 30)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)
(*.f64 d1 (+.f64 d2 30))
(.f64 1/2 (.f64 d1 (+.f64 d2 (+.f64 d2 60))))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 1/2) (+.f64 d2 (+.f64 d2 60)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 60))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 2 (.f64 d1 8)) (.f64 1/16 (+.f64 d2 30)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))
(*.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) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 1/4) (*.f64 (+.f64 d2 30) 4))
(*.f64 d1 (+.f64 d2 30))
(.f64 1/8 (.f64 (*.f64 d1 (+.f64 d2 30)) 8))
(*.f64 d1 (+.f64 d2 30))
(.f64 (/.f64 (+.f64 d2 30) 4) (.f64 d1 4))
(*.f64 d1 (+.f64 d2 30))
(.f64 (+.f64 (.f64 d2 1/2) 15) (+.f64 d1 d1))
(.f64 (+.f64 d1 d1) (+.f64 (.f64 d2 1/2) 15))
(.f64 (+.f64 (+.f64 d2 d2) 60) (.f64 d1 1/2))
(*.f64 d1 (+.f64 d2 30))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 60))) 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 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) 128)
(*.f64 d1 (+.f64 d2 30))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))))) 256)
(*.f64 d1 (+.f64 d2 30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 d2 30))

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

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

rewrite217.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2478×	`rational.json-simplify-2`
1554×	`rational.json-1`
1470×	`rational.json-simplify-53`
1200×	`rational.json-simplify-35`
1116×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	66	32
2	132	26
3	282	26
4	548	26
5	1246	26
6	2764	26
7	4255	26
8	5531	26
9	6181	26
10	6181	26
11	7187	26
12	7942	26

Stop Event

1×	node limit

Counts

2 → 82

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 d1 (*.f64 (+.f64 d2 30) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/4) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/8) (+.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 (+.f64 d2 10) 2) 40) (*.f64 d1 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 d2 30) 1/16) (*.f64 d1 8)))))) (#(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 10 (*.f64 (+.f64 d2 10) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (*.f64 2 (+.f64 d2 30)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 2) 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)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (/.f64 (+.f64 d2 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 (*.f64 2 (+.f64 d2 30)) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/2 (*.f64 (+.f64 d2 30) 1/2)))))) (#(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 8 (*.f64 (+.f64 d2 30) (/.f64 d1 8)))))) (#(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 (*.f64 d1 8) (*.f64 (+.f64 d2 30) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 8) (*.f64 1/4 (*.f64 (+.f64 d2 30) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 2))))) (#(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 (*.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d2 10) 2) 40))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 4 (*.f64 (+.f64 d2 30) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 (+.f64 d2 30) 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/8 (*.f64 (+.f64 d2 30) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))))) (#(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 d1 1/4) (*.f64 (+.f64 d2 30) 4))))) (#(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 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 d2 30) 4)) (/.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 d2 30) (*.f64 d1 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 30) 4) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (+.f64 d2 10) 2) 40) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 1/4) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) (/.f64 d1 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 1/8) (*.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 1/16) (*.f64 2 (*.f64 d1 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/4) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/8) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 (+.f64 d2 30) 4)) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 (*.f64 (+.f64 d2 10) 2) 40)) (*.f64 d1 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 d2 30) 1/4)) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/4) (*.f64 (*.f64 2 (+.f64 d2 30)) 1/4)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (*.f64 2 (+.f64 d2 30)) 1/8) (*.f64 (*.f64 2 (+.f64 d2 30)) 1/8)) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (+.f64 d2 30) 1/8) (*.f64 (+.f64 d2 30) 1/8)) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (+.f64 d2 30) 1/16) (*.f64 (+.f64 d2 30) 1/16)) (*.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 2) 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 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))))

((#(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 (+.f64 d2 10) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 d2 10) (*.f64 d1 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d2 10) (*.f64 d1 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d2 10) (*.f64 d1 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d2 10) (*.f64 d1 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 10)) 1)))))

simplify457.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

4078×	`rational.json-simplify-41`
3224×	`rational.json-simplify-35`
1754×	`rational.json-simplify-2`
1576×	`rational.json-simplify-53`
1342×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	180	1686
1	434	1674
2	1065	1674
3	2411	1674
4	3970	1674
5	4465	1674
6	4706	1674
7	4887	1674
8	5067	1674
9	5711	1674
10	6549	1674
11	6856	1674
12	6856	1674
13	6856	1674
14	7023	1674
15	7190	1674
16	7357	1674
17	7524	1674

Stop Event

1×	node limit

Counts

126 → 97

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 d1 (*.f64 (+.f64 d2 30) 1/2)))
(.f64 2 (.f64 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2)) d1))
(.f64 2 (.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/4) d1))
(.f64 2 (.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (+.f64 d1 d1)))
(.f64 2 (.f64 (+.f64 (.f64 (+.f64 d2 10) 2) 40) (.f64 d1 1/4)))
(.f64 2 (.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 d1 8)))
(.f64 (+.f64 d1 d1) (.f64 (+.f64 d2 30) 1/2))
(.f64 (+.f64 d1 d1) (+.f64 10 (.f64 (+.f64 d2 10) 1/2)))
(.f64 (+.f64 d1 d1) (.f64 (*.f64 2 (+.f64 d2 30)) 1/4))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(*.f64 (+.f64 d2 30) d1)
(.f64 4 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4))
(.f64 (.f64 d1 4) (/.f64 (+.f64 d2 30) 4))
(.f64 (.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))
(.f64 (.f64 d1 4) (.f64 (.f64 2 (+.f64 d2 30)) 1/8))
(.f64 (.f64 d1 4) (.f64 1/2 (.f64 (+.f64 d2 30) 1/2)))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 4)) 1/4)
(.f64 8 (.f64 (+.f64 d2 30) (/.f64 d1 8)))
(.f64 (.f64 2 (+.f64 d2 30)) (*.f64 d1 1/2))
(.f64 (.f64 d1 8) (*.f64 (+.f64 d2 30) 1/8))
(.f64 (.f64 d1 8) (.f64 1/4 (.f64 (+.f64 d2 30) 1/2)))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)
(.f64 1/2 (.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(.f64 1/2 (+.f64 (.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))))
(.f64 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(.f64 (.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d2 10) 2) 40))
(.f64 (.f64 d1 1/2) (.f64 4 (.f64 (+.f64 d2 30) 1/2)))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)
(.f64 (.f64 2 (.f64 d1 8)) (.f64 (+.f64 d2 30) 1/16))
(.f64 (.f64 2 (.f64 d1 8)) (.f64 1/8 (*.f64 (+.f64 d2 30) 1/2)))
(.f64 (.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 30) 4)))
(.f64 (.f64 d1 1/4) (*.f64 (+.f64 d2 30) 4))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)
(.f64 (.f64 2 (*.f64 (+.f64 d2 30) 4)) (/.f64 d1 8))
(.f64 1/8 (.f64 (*.f64 d1 (+.f64 d2 30)) 8))
(.f64 1/8 (.f64 (+.f64 d2 30) (*.f64 d1 8)))
(.f64 (/.f64 (+.f64 d2 30) 4) (.f64 d1 4))
(.f64 (+.f64 (.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))) 1/2)
(.f64 (+.f64 (.f64 (+.f64 d2 10) 2) 40) (*.f64 d1 1/2))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))
(.f64 (.f64 (+.f64 d2 30) 1/4) (*.f64 d1 4))
(.f64 (.f64 (+.f64 d2 30) (/.f64 d1 8)) 8)
(.f64 (.f64 (+.f64 d2 30) 1/8) (*.f64 d1 8))
(.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 2 (.f64 d1 8)))
(.f64 (.f64 (*.f64 2 (+.f64 d2 30)) 1/4) (+.f64 d1 d1))
(.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (.f64 d1 4))
(.f64 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))) d1)
(.f64 (.f64 2 (/.f64 (+.f64 d2 30) 4)) (+.f64 d1 d1))
(.f64 (.f64 2 (+.f64 (.f64 (+.f64 d2 10) 2) 40)) (.f64 d1 1/4))
(.f64 (.f64 2 (*.f64 (+.f64 d2 30) 1/4)) (+.f64 d1 d1))
(.f64 (+.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/4) (.f64 (*.f64 2 (+.f64 d2 30)) 1/4)) d1)
(.f64 (+.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (.f64 (*.f64 2 (+.f64 d2 30)) 1/8)) (+.f64 d1 d1))
(.f64 (+.f64 (.f64 (+.f64 d2 30) 1/8) (.f64 (+.f64 d2 30) 1/8)) (.f64 d1 4))
(.f64 (+.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 (+.f64 d2 30) 1/16)) (.f64 d1 8))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(/.f64 (.f64 (.f64 d1 (+.f64 d2 30)) 2) 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 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(+.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 (+.f64 d2 10) (.f64 d1 4)) 4)
(/.f64 (.f64 (+.f64 d2 10) (.f64 d1 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 d2 10) (*.f64 d1 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (.f64 d1 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (*.f64 d1 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (.f64 d1 8)))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d2 10)) 1)

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 d1 (*.f64 (+.f64 d2 30) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (.f64 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2)) d1))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (*.f64 d1 2))
(.f64 d1 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))
(.f64 2 (.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/4) d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (+.f64 d1 d1)))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (.f64 (+.f64 (.f64 (+.f64 d2 10) 2) 40) (.f64 d1 1/4)))
(*.f64 d1 (+.f64 30 d2))
(.f64 2 (.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 d1 8)))
(*.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 10 (.f64 (+.f64 d2 10) 1/2)))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (*.f64 d1 2))
(.f64 d1 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))
(.f64 (+.f64 d1 d1) (.f64 (*.f64 2 (+.f64 d2 30)) 1/4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 2) 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)) 1/4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 4) (/.f64 (+.f64 d2 30) 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 4) (*.f64 (+.f64 d2 30) 1/4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 4) (.f64 (.f64 2 (+.f64 d2 30)) 1/8))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 4) (.f64 1/2 (.f64 (+.f64 d2 30) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 4)) 1/4)
(*.f64 d1 (+.f64 30 d2))
(.f64 8 (.f64 (+.f64 d2 30) (/.f64 d1 8)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (+.f64 d2 30)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 8) (*.f64 (+.f64 d2 30) 1/8))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 8) (.f64 1/4 (.f64 (+.f64 d2 30) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 8) 1/8)
(*.f64 d1 (+.f64 30 d2))
(.f64 1/2 (.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(*.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 (.f64 d1 1/2) (*.f64 2 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d2 10) 2) 40))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/2) (.f64 4 (.f64 (+.f64 d2 30) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (*.f64 (+.f64 d2 30) 1/2)) 2)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (.f64 d1 8)) (.f64 (+.f64 d2 30) 1/16))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (.f64 d1 8)) (.f64 1/8 (*.f64 (+.f64 d2 30) 1/2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) 4) (*.f64 d1 1/4))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/4 (.f64 d1 (*.f64 (+.f64 d2 30) 4)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 1/4) (*.f64 (+.f64 d2 30) 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (*.f64 d1 (+.f64 d2 30)) 1/4) 4)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (*.f64 (+.f64 d2 30) 4)) (/.f64 d1 8))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/8 (.f64 (*.f64 d1 (+.f64 d2 30)) 8))
(*.f64 d1 (+.f64 30 d2))
(.f64 1/8 (.f64 (+.f64 d2 30) (*.f64 d1 8)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (/.f64 (+.f64 d2 30) 4) (.f64 d1 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 d1 40) (*.f64 (+.f64 d2 10) (+.f64 d1 d1))) 1/2)
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 (+.f64 d2 10) 2) 40) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (*.f64 d1 2))
(.f64 d1 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))))
(.f64 (.f64 (+.f64 d2 30) 1/4) (*.f64 d1 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) (/.f64 d1 8)) 8)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) 1/8) (*.f64 d1 8))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 2 (.f64 d1 8)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (*.f64 2 (+.f64 d2 30)) 1/4) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (.f64 d1 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))) d1)
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (*.f64 d1 2))
(.f64 d1 (.f64 2 (+.f64 10 (*.f64 (+.f64 d2 10) 1/2))))
(.f64 (+.f64 10 (.f64 (+.f64 d2 10) 1/2)) (+.f64 d1 d1))
(.f64 (.f64 2 (/.f64 (+.f64 d2 30) 4)) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (+.f64 (.f64 (+.f64 d2 10) 2) 40)) (.f64 d1 1/4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 2 (*.f64 (+.f64 d2 30) 1/4)) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/4) (.f64 (*.f64 2 (+.f64 d2 30)) 1/4)) d1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 (.f64 2 (+.f64 d2 30)) 1/8) (.f64 (*.f64 2 (+.f64 d2 30)) 1/8)) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 (+.f64 d2 30) 1/8) (.f64 (+.f64 d2 30) 1/8)) (.f64 d1 4))
(*.f64 d1 (+.f64 30 d2))
(.f64 (+.f64 (.f64 (+.f64 d2 30) 1/16) (.f64 (+.f64 d2 30) 1/16)) (.f64 d1 8))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 30)) 2) 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 2 (.f64 2 (.f64 2 (.f64 (*.f64 d1 (+.f64 d2 30)) 8)))) 64)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d2 30)) 8))))) 128)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.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 (+.f64 d2 10) (.f64 d1 4)) 4)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 (+.f64 d2 10) (.f64 d1 8)) 8)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 (+.f64 d2 10) (*.f64 d1 8))) 16)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (.f64 d1 8)))) 32)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (*.f64 d1 8))))) 64)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 d2 10) (.f64 d1 8)))))) 128)
(*.f64 d1 (+.f64 d2 10))
(pow.f64 (*.f64 d1 (+.f64 d2 10)) 1)
(*.f64 d1 (+.f64 d2 10))

eval227.0ms (5.2%)

Compiler: Compiled 1679 to 1251 computations (25.5% saved)

prune18.0ms (0.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	170	5	175

Error

0.0b

Counts

175 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 37 to 26 computations (29.7% saved)

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

eval0.0ms (0%)

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

prune2.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.1b	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	37.1b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	25.8b	(*.f64 d1 30)

Compiler

Compiled 37 to 26 computations (29.7% saved)

regimes16.0ms (0.4%)

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:

5.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
5.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)

regimes23.0ms (0.5%)

Accuracy

Total -59.7b remaining (-3743%)

Threshold costs -59.7b (-3743%)

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:

14.0ms	d1
9.0ms	d2

Results

Error	Segments	Branch
20.7b	5	`d1`
1.6b	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch30.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	6.54190710957911e-6	11102.452729925726
15.0ms	-5543639709.049421	-18.210895457686018

Results

27.0ms

288×

body

256

valid

Compiler

Compiled 234 to 175 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.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

Compiler

Compiled 79 to 51 computations (35.4% saved)

end21.0ms (0.5%)

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

Details

analyze386.0ms (8.8%)

sample1.8s (41%)

preprocess5.0ms (0.1%)

simplify13.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite204.0ms (4.6%)

simplify545.0ms (12.4%)

localize6.0ms (0.1%)

series2.0ms (0.1%)

rewrite198.0ms (4.5%)

simplify188.0ms (4.3%)

localize10.0ms (0.2%)

series2.0ms (0.1%)

rewrite217.0ms (4.9%)

simplify457.0ms (10.4%)

eval227.0ms (5.2%)

prune18.0ms (0.4%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes16.0ms (0.4%)

regimes23.0ms (0.5%)

bsearch30.0ms (0.7%)

simplify2.0ms (0%)

soundness11.0ms (0.3%)

end21.0ms (0.5%)

Profiling