Details

analyze1.7s (43.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.0s (25.4%)

Results

830.0ms	8256×	body	256	valid
190.0ms	1212×	body	256	infinite

Bogosity

preprocess5.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-51`
12×	`rational.json-simplify-2`
12×	`rational.json-simplify-1`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	76
1	21	52
2	33	52
3	36	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

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

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

Symmetry

(sort d2 d3)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify51.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-2`
4×	`rational.json-simplify-51`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 20 to 10 computations (50% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	0.0b	(*.f64 d1 (+.f64 d3 d2))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite100.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`bool.json-1`
1638×	`bool.json-2`
1606×	`rational.json-1`
1128×	`rational.json-simplify-35`
1026×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	217	13
3	456	13
4	934	13
5	2022	13
6	4190	13
7	6927	13

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

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

Outputs

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

simplify634.0ms (15.6%)

Algorithm

1×	egg-herbie

Rules

3686×	`rational.json-simplify-35`
2132×	`rational.json-simplify-2`
1132×	`exponential.json-simplify-26`
1128×	`rational.json-simplify-53`
1004×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	588
1	98	588
2	195	588
3	463	588
4	2120	588
5	3914	588
6	4735	588
7	5131	588
8	5373	588
9	5541	588
10	6415	588
11	6662	588
12	6665	588
13	6665	588
14	6862	588
15	7041	588
16	7218	588
17	7383	588
18	7527	588
19	7768	588
20	7940	588

Stop Event

1×	node limit

Counts

48 → 17

Calls

Call 1

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

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

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 6 computations (68.4% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite83.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1306×	`bool.json-1`
1306×	`bool.json-2`
1276×	`exponential.json-3`
1276×	`rational.json-1`
1276×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	88	13
2	243	13
3	524	13
4	1074	13
5	2365	13
6	5054	13

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

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

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

Outputs

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

simplify252.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1962×	`rational.json-simplify-2`
1654×	`rational.json-simplify-1`
1564×	`rational.json-simplify-35`
1032×	`rational.json-simplify-41`
700×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	80	846
1	178	846
2	388	846
3	1240	846
4	2694	846
5	4068	846
6	4465	846
7	4723	846
8	4938	846
9	5133	846
10	5320	846
11	6162	846
12	6943	846
13	7414	846

Stop Event

1×	node limit

Counts

66 → 35

Calls

Call 1

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

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

eval7.0ms (0.2%)

Compiler: Compiled 447 to 202 computations (54.8% saved)

prune13.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	50	4	54

Error

Counts

54 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	32.0b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
▶	26.6b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	32.0b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
✓	26.6b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes19.0ms (0.5%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
4.0ms	d3
4.0ms	d2
4.0ms	d1

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`d3`
0.0b	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 43 to 24 computations (44.2% saved)

regimes40.0ms (1%)

Accuracy

Total -51.1b remaining (-726.2%)

Threshold costs -51.1b (-726.2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	d1
8.0ms	d3
6.0ms	d2

Results

Error	Segments	Branch
21.4b	6	`d1`
7.0b	2	`d2`
9.2b	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch11.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
10.0ms	-5.664783324468652e-125	-3.0959871329146257e-127

Results

9.0ms

112×

body

256

valid

Compiler

Compiled 114 to 81 computations (28.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(*.f64 d1 (+.f64 d3 d2))

(if (<=.f64 d2 -2619875644949029/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Outputs

(*.f64 d1 (+.f64 d3 d2))

(if (<=.f64 d2 -2619875644949029/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-2`
4×	`rational.json-simplify-51`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Compiler

Compiled 22 to 10 computations (54.5% saved)

end27.0ms (0.7%)

Remove: (sort d2 d3)
Compiler: Compiled 37 to 20 computations (45.9% saved)

Details

analyze1.7s (43.1%)

sample1.0s (25.4%)

preprocess5.0ms (0.1%)

simplify51.0ms (1.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite100.0ms (2.5%)

simplify634.0ms (15.6%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite83.0ms (2%)

simplify252.0ms (6.2%)

eval7.0ms (0.2%)

prune13.0ms (0.3%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes19.0ms (0.5%)

regimes40.0ms (1%)

bsearch11.0ms (0.3%)

simplify3.0ms (0.1%)

soundness10.0ms (0.2%)

end27.0ms (0.7%)

Profiling