Details

analyze883.0ms (20.7%)

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)

sample785.0ms (18.4%)

Results

728.0ms	8126×	body	256	valid
19.0ms	227×	body	256	infinite
16.0ms	83×	body	1024	valid
6.0ms	47×	body	512	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)

simplify9.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

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)

localize10.0ms (0.2%)

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

rewrite104.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1604×	`bool.json-1`
1604×	`bool.json-2`
1564×	`rational.json-1`
1102×	`rational.json-simplify-35`
1006×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	214	13
3	439	13
4	891	13
5	1912	13
6	4136	13
7	6902	13

Stop Event

1×	node limit

Counts

1 → 12

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 (+.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 pow.f64 (.f64 d1 (+.f64 d2 30)) 1)))) (#(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 (+.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 pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(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)))))))

simplify717.0ms (16.8%)

Algorithm

1×	egg-herbie

Rules

3516×	`rational.json-simplify-35`
2488×	`rational.json-simplify-2`
1046×	`rational.json-simplify-53`
1000×	`exponential.json-simplify-26`
992×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	398
1	98	398
2	195	398
3	463	398
4	2073	398
5	4378	398
6	5266	398
7	5596	398
8	5757	398
9	5894	398
10	6029	398
11	6666	398
12	6669	398
13	6743	398
14	6835	398
15	6903	398
16	6923	398
17	7060	398
18	7195	398
19	7330	398
20	7465	398
21	7600	398
22	7869	398

Stop Event

1×	node limit

Counts

32 → 18

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

rewrite82.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1266×	`bool.json-1`
1266×	`bool.json-2`
1222×	`exponential.json-3`
1222×	`rational.json-1`
1222×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	88	13
2	240	13
3	510	13
4	1047	13
5	2287	13
6	4863	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 (+.f64 d2 30) (.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 d2 (.f64 d1 1/2)) (.f64 d1 15)))))) (#(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 d1 (+.f64 d2 d2)) (.f64 d1 60)))))) (#(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 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 pow.f64 (.f64 d1 (+.f64 d2 30)) 1)))) (#(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 (+.f64 d2 30) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 d2 (*.f64 d1 1/2)) (*.f64 d1 15)))))) (#(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 d1 (+.f64 d2 d2)) (*.f64 d1 60)))))) (#(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 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 pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(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)))))))

simplify957.0ms (22.4%)

Algorithm

1×	egg-herbie

Rules

3348×	`rational.json-simplify-35`
2396×	`rational.json-simplify-2`
1452×	`rational.json-simplify-1`
1010×	`rational.json-simplify-41`
1006×	`rational.json-simplify-53`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	81	781
1	175	753
2	377	753
3	1240	737
4	2753	721
5	4194	721
6	4673	721
7	4985	721
8	5140	721
9	5239	721
10	5331	721
11	5923	721
12	6263	721
13	6432	721
14	6702	721
15	6915	721
16	7025	721
17	7030	721
18	7030	721
19	7060	721
20	7060	721
21	7148	721
22	7236	721
23	7324	721
24	7412	721
25	7500	721
26	7588	721
27	7676	721
28	7764	721
29	7852	721
30	7940	721

Stop Event

1×	node limit

Counts

55 → 47

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 (+.f64 d2 30) (*.f64 d1 1/2)))
(.f64 2 (+.f64 (.f64 d2 (.f64 d1 1/2)) (.f64 d1 15)))
(.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 d1 (+.f64 d2 d2)) (*.f64 d1 60)))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 1/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)
(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 -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 (-.f64 -30 d2) (neg.f64 d1))
(*.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 (-.f64 -30 d2) (neg.f64 d1))
(*.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 (-.f64 -30 d2) (neg.f64 d1))
(*.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 (-.f64 -30 d2) (neg.f64 d1))
(*.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 (+.f64 d2 30) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 30))
(.f64 2 (+.f64 (.f64 d2 (.f64 d1 1/2)) (.f64 d1 15)))
(.f64 2 (+.f64 (.f64 d1 (.f64 d2 1/2)) (.f64 d1 15)))
(.f64 2 (.f64 d1 (+.f64 15 (*.f64 d2 1/2))))
(.f64 d1 (.f64 (+.f64 15 (*.f64 d2 1/2)) 2))
(.f64 d1 (.f64 2 (+.f64 15 (*.f64 d2 1/2))))
(.f64 (+.f64 d1 d1) (+.f64 15 (.f64 d2 1/2)))
(.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 2 (+.f64 (.f64 d1 (.f64 d2 1/2)) (.f64 d1 15)))
(.f64 2 (.f64 d1 (+.f64 15 (*.f64 d2 1/2))))
(.f64 d1 (.f64 (+.f64 15 (*.f64 d2 1/2)) 2))
(.f64 d1 (.f64 2 (+.f64 15 (*.f64 d2 1/2))))
(.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 d1 (+.f64 d2 d2)) (*.f64 d1 60)))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 (+.f64 d2 30) (*.f64 d1 1/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))
(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.1b	(+.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))

rewrite86.0ms (2%)

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	109	32
2	280	26
3	581	26
4	1226	26
5	2675	26
6	5709	26

Stop Event

1×	node limit

Counts

2 → 45

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

simplify453.0ms (10.6%)

Algorithm

1×	egg-herbie

Rules

4736×	`rational.json-simplify-41`
2758×	`rational.json-simplify-35`
2356×	`rational.json-simplify-2`
1314×	`rational.json-simplify-53`
984×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	113	1133
1	231	1121
2	510	1121
3	1523	1121
4	3461	1121
5	4393	1121
6	4813	1121
7	5136	1121
8	5349	1121
9	5513	1121
10	6135	1121
11	6276	1121
12	6289	1121
13	6331	1121
14	6331	1121
15	6331	1121
16	6627	1121
17	7059	1121
18	7244	1121

Stop Event

1×	node limit

Counts

89 → 58

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

eval24.0ms (0.6%)

Compiler: Compiled 1120 to 795 computations (29% saved)

prune14.0ms (0.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	121	5	126

Error

0.0b

Counts

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

regimes35.0ms (0.8%)

Accuracy

Total -58.6b remaining (-2257.6%)

Threshold costs -58.6b (-2257.6%)

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:

25.0ms	d1
9.0ms	d2

Results

Error	Segments	Branch
21.1b	9	`d1`
2.6b	3	`d2`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch26.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	25.108103274128673	994.3135269456569
14.0ms	-61985339.768090874	-11.88804169159177

Results

23.0ms

256×

body

256

valid

Compiler

Compiled 210 to 157 computations (25.2% saved)

simplify2.0ms (0.1%)

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)

end24.0ms (0.6%)

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

Details

analyze883.0ms (20.7%)

sample785.0ms (18.4%)

preprocess5.0ms (0.1%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune2.0ms (0%)

localize10.0ms (0.2%)

series2.0ms (0%)

rewrite104.0ms (2.4%)

simplify717.0ms (16.8%)

localize6.0ms (0.1%)

series2.0ms (0.1%)

rewrite82.0ms (1.9%)

simplify957.0ms (22.4%)

localize10.0ms (0.2%)

series2.0ms (0.1%)

rewrite86.0ms (2%)

simplify453.0ms (10.6%)

eval24.0ms (0.6%)

prune14.0ms (0.3%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes16.0ms (0.4%)

regimes35.0ms (0.8%)

bsearch26.0ms (0.6%)

simplify2.0ms (0.1%)

soundness11.0ms (0.3%)

end24.0ms (0.6%)

Profiling