Details

analyze703.0ms (16.9%)

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)

sample2.2s (53.5%)

Results

2.1s	8256×	body	256	valid
103.0ms	1165×	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)

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

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

0.0b

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)

localize6.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	d1	@	-inf	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d3	@	inf	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d1	@	inf	(*.f64 d1 (+.f64 d3 d2))

rewrite174.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

2520×	`rational.json-simplify-2`
1526×	`rational.json-simplify-35`
1258×	`rational.json-simplify-1`
1232×	`exponential.json-3`
1232×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2315	13
7	4183	13
8	5088	13
9	6162	13
10	6977	13
11	6977	13

Stop Event

1×	node limit

Counts

1 → 14

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

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

simplify540.0ms (13%)

Algorithm

1×	egg-herbie

Rules

3004×	`rational.json-simplify-2`
2416×	`rational.json-simplify-35`
1722×	`rational.json-simplify-53`
1112×	`rational.json-simplify-1`
1000×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	614
1	131	614
2	246	614
3	592	614
4	2193	614
5	4180	614
6	4787	614
7	4922	614
8	5020	614
9	5118	614
10	5214	614
11	6239	614
12	6745	614
13	6951	614
14	6951	614
15	6951	614
16	7047	614
17	7143	614
18	7615	614
19	7866	614

Stop Event

1×	node limit

Counts

50 → 19

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

series4.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.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	d3	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

rewrite165.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

2754×	`rational.json-simplify-2`
1304×	`rational.json-1`
1304×	`rational.json-2`
1304×	`rational.json-3`
1284×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	117	13
3	255	13
4	474	13
5	1107	13
6	2764	13
7	4899	13
8	6163	13
9	7022	13
10	7022	13

Stop Event

1×	node limit

Counts

1 → 48

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

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

simplify179.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

2052×	`rational.json-simplify-2`
1508×	`rational.json-simplify-1`
1506×	`rational.json-simplify-53`
1502×	`rational.json-simplify-35`
1322×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	106	1056
1	245	1056
2	561	1056
3	1457	1056
4	3738	1056
5	5547	1056
6	5985	1056
7	6094	1056
8	6209	1056
9	6322	1056
10	6459	1056

Stop Event

1×	node limit

Counts

84 → 53

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

eval12.0ms (0.3%)

Compiler: Compiled 657 to 343 computations (47.8% saved)

prune11.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	70	4	74

Error

0.0b

Counts

74 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	31.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
▶	30.0b	(*.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

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	31.5b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
✓	30.0b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes17.0ms (0.4%)

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:

5.0ms	d3
4.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 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)

regimes46.0ms (1.1%)

Accuracy

Total -50.9b remaining (-570.7%)

Threshold costs -50.9b (-570.7%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

32.0ms	d1
7.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
19.6b	12	`d1`
8.9b	2	`d2`
9.2b	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch13.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
13.0ms	-5.862368026308007e-125	-1.7396302887623136e-126

Results

11.0ms

112×

body

256

valid

Compiler

Compiled 114 to 81 computations (28.9% saved)

simplify2.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 -690694488213835/11908525658859223294760121268437066290850060053501019099651935423375594096449911575776314174894302258147533153997065059263030913083222523904) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Outputs

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

(if (<=.f64 d2 -690694488213835/11908525658859223294760121268437066290850060053501019099651935423375594096449911575776314174894302258147533153997065059263030913083222523904) (*.f64 d2 d1) (*.f64 d1 d3))

(*.f64 d1 d3)

Compiler

Compiled 27 to 17 computations (37% saved)

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

end20.0ms (0.5%)

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

Details

analyze703.0ms (16.9%)

sample2.2s (53.5%)

preprocess5.0ms (0.1%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite174.0ms (4.2%)

simplify540.0ms (13%)

localize6.0ms (0.2%)

series4.0ms (0.1%)

rewrite165.0ms (4%)

simplify179.0ms (4.3%)

eval12.0ms (0.3%)

prune11.0ms (0.3%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes17.0ms (0.4%)

regimes46.0ms (1.1%)

bsearch13.0ms (0.3%)

simplify2.0ms (0.1%)

soundness9.0ms (0.2%)

end20.0ms (0.5%)

Profiling