Details

analyze462.0ms (6.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
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.4%	25%	73.3%	0.1%	1.6%	0%	0%	9
35.3%	34.3%	62.8%	0.1%	2.7%	0%	0%	10
43.9%	41.3%	52.9%	0.1%	5.7%	0%	0%	11
50.6%	46.8%	45.7%	0.1%	7.3%	0%	0%	12

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.5s (21.8%)

Results

1.1s	7904×	body	256	valid
218.0ms	211×	body	512	valid
162.0ms	1443×	body	256	infinite
32.0ms	141×	body	1024	valid

Bogosity

preprocess13.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

66×	`rational.json-simplify-1`
38×	`rational.json-simplify-2`
36×	`rational.json-simplify-51`
26×	`rational.json-simplify-41`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	124
1	40	100
2	66	76
3	97	76
4	117	76
5	122	76
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 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (+.f64 (.f64 d2 3) (.f64 d2 d1)) (*.f64 d2 d3))
(+.f64 (+.f64 (.f64 d3 3) (.f64 d3 d2)) (*.f64 d3 d1))
(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d3)) (*.f64 d1 d2))

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

Symmetry

(sort d2 d3)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`rational.json-simplify-1`
14×	`rational.json-simplify-2`
10×	`rational.json-simplify-51`
8×	`rational.json-simplify-41`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	35	19
4	43	19
5	45	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 37 to 21 computations (43.2% saved)

prune2.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.0b

Counts

5 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series6.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite81.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1646×	`bool.json-1`
1646×	`bool.json-2`
1616×	`rational.json-1`
1616×	`rational.json-2`
1616×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	91	19
2	248	19
3	529	19
4	1161	19
5	2783	19
6	6070	19

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify422.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

3384×	`rational.json-simplify-41`
2416×	`rational.json-simplify-2`
2240×	`rational.json-simplify-35`
1134×	`rational.json-simplify-53`
660×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	814
1	108	814
2	208	814
3	555	814
4	2122	814
5	3152	814
6	3671	814
7	3767	814
8	3849	814
9	3931	814
10	4011	814
11	4440	814
12	4669	814
13	4983	814
14	5162	814
15	5241	814
16	5320	814
17	5320	814
18	7750	814
19	7841	814
20	7928	814

Stop Event

1×	node limit

Counts

46 → 20

Calls

Call 1

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

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

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series4.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite83.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1558×	`bool.json-1`
1558×	`bool.json-2`
1528×	`rational.json-1`
1528×	`rational.json-2`
1528×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	99	32
2	256	32
3	545	32
4	1160	32
5	2605	32
6	5609	32

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

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

Outputs

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

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

simplify296.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

2282×	`rational.json-simplify-2`
1826×	`rational.json-simplify-35`
1578×	`rational.json-simplify-1`
944×	`rational.json-simplify-48`
904×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	117	1681
1	235	1675
2	581	1675
3	1710	1675
4	3733	1675
5	4498	1675
6	4803	1675
7	5022	1675
8	5195	1675
9	5357	1675
10	6094	1675
11	6588	1675
12	7182	1675
13	7626	1675

Stop Event

1×	node limit

Counts

103 → 58

Calls

Call 1

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

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

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 34 to 15 computations (55.9% saved)

series3.0ms (0%)

Counts

2 → 60

Calls

15 calls:

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

rewrite115.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1808×	`bool.json-1`
1808×	`bool.json-2`
1102×	`bool.json-3`
1094×	`rational.json-1`
1094×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	50
1	109	38
2	280	32
3	619	32
4	1389	32
5	3437	32
6	7078	32

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs

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

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

simplify397.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

3990×	`rational.json-simplify-41`
2538×	`rational.json-simplify-2`
2044×	`rational.json-simplify-35`
1048×	`rational.json-simplify-53`
850×	`rational.json-simplify-51`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	110	2064
1	235	1752
2	560	1752
3	1635	1728
4	3216	1696
5	3948	1680
6	4323	1680
7	4467	1680
8	4609	1680
9	4737	1680
10	4852	1680
11	5237	1680
12	5462	1680
13	5771	1680
14	5886	1680
15	5979	1680
16	5996	1680
17	5997	1680
18	5997	1680

Stop Event

1×	node limit

Counts

108 → 75

Calls

Call 1

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

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

eval87.0ms (1.3%)

Compiler: Compiled 1644 to 980 computations (40.4% saved)

prune49.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	147	6	153
Fresh	0	0	0
Picked	1	0	1
Done	2	0	2
Total	150	6	156

Error

0.0b

Counts

156 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	18.8b	(+.f64 (.f64 d2 d1) (.f64 d1 d3))
	21.7b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
▶	21.7b	(*.f64 (+.f64 d2 3) d1)
▶	40.3b	(*.f64 d2 d1)
▶	23.0b	(*.f64 d1 (+.f64 3 d3))
▶	40.4b	(*.f64 d1 d3)

Compiler

Compiled 96 to 66 computations (31.3% saved)

localize6.0ms (0.1%)

Compiler: Compiled 19 to 6 computations (68.4% saved)

localize5.0ms (0.1%)

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

localize3.0ms (0%)

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite94.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1596×	`bool.json-1`
1596×	`bool.json-2`
1560×	`rational.json-1`
1560×	`rational.json-2`
1560×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	193	13
3	401	13
4	821	13
5	1780	13
6	3854	13
7	6376	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.3s (18.9%)

Algorithm

1×	egg-herbie

Rules

5840×	`rational.json-simplify-35`
2014×	`rational.json-simplify-2`
1048×	`rational.json-simplify-1`
814×	`rational.json-simplify-53`
750×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	401
1	97	281
2	191	281
3	425	281
4	1823	281
5	3552	281
6	4431	281
7	4753	281
8	4943	281
9	5091	281
10	5237	281
11	5523	281
12	5524	281
13	5524	281
14	5543	281
15	5719	281
16	5883	281
17	6053	281
18	6216	281
19	6360	281
20	6504	281
21	6648	281
22	6792	281
23	6936	281
24	6936	281
25	7080	281
26	7224	281
27	7368	281
28	7512	281
29	7656	281
30	7800	281
31	7944	281

Stop Event

1×	node limit

Counts

23 → 15

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series0.0ms (0%)

Counts

1 → 20

Calls

6 calls:

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

rewrite92.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1596×	`bool.json-1`
1596×	`bool.json-2`
1560×	`rational.json-1`
1560×	`rational.json-2`
1560×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	193	13
3	401	13
4	821	13
5	1780	13
6	3856	13
7	6378	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.3s (18.3%)

Algorithm

1×	egg-herbie

Rules

5140×	`rational.json-simplify-35`
2504×	`rational.json-simplify-2`
1112×	`rational.json-simplify-53`
1004×	`rational.json-simplify-1`
782×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	553
1	94	385
2	185	385
3	450	385
4	1907	385
5	3683	385
6	4560	385
7	4898	385
8	5048	385
9	5194	385
10	5338	385
11	5672	385
12	5675	385
13	5747	385
14	5888	385
15	5916	385
16	6104	385
17	6261	385
18	6405	385
19	6549	385
20	6693	385
21	6837	385
22	6981	385
23	7125	385
24	7269	385
25	7370	385
26	7370	385
27	7514	385
28	7658	385
29	7802	385
30	7946	385

Stop Event

1×	node limit

Counts

31 → 17

Calls

Call 1

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

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

eval7.0ms (0.1%)

Compiler: Compiled 287 to 209 computations (27.2% saved)

prune7.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	31	7	38

Error

0.0b

Counts

38 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	18.8b	(+.f64 (.f64 d2 d1) (.f64 d1 d3))
▶	21.7b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.7b	(*.f64 (+.f64 d2 3) d1)
✓	40.3b	(*.f64 d2 d1)
✓	23.0b	(*.f64 d1 (+.f64 3 d3))
✓	40.4b	(*.f64 d1 d3)
▶	44.7b	(*.f64 3 d1)

Compiler

Compiled 54 to 38 computations (29.6% saved)

localize3.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

eval6.0ms (0.1%)

Compiler: Compiled 276 to 204 computations (26.1% saved)

prune6.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	32	7	39

Error

0.0b

Counts

39 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	18.8b	(+.f64 (.f64 d2 d1) (.f64 d1 d3))
✓	21.7b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.7b	(*.f64 (+.f64 d2 3) d1)
✓	40.3b	(*.f64 d2 d1)
✓	23.0b	(*.f64 d1 (+.f64 3 d3))
✓	40.4b	(*.f64 d1 d3)
✓	44.7b	(*.f64 3 d1)

Compiler

Compiled 54 to 38 computations (29.6% saved)

regimes31.0ms (0.5%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

8.0ms	d1
6.0ms	d3
6.0ms	(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))
6.0ms	d2

Results

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

Compiler

Compiled 89 to 48 computations (46.1% saved)

regimes23.0ms (0.3%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

9.0ms	d1
7.0ms	d3
5.0ms	d2

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`d3`

Compiler

Compiled 55 to 31 computations (43.6% saved)

regimes52.0ms (0.7%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	d1
9.0ms	d2
8.0ms	d3

Results

Error	Segments	Branch
14.8b	7	`d1`
2.3b	2	`d2`
3.6b	2	`d3`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch5.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
5.0ms	-0.009498845877674564	-0.007059520320335026

Results

5.0ms

48×

body

256

valid

Compiler

Compiled 74 to 56 computations (24.3% saved)

regimes52.0ms (0.8%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	d1
18.0ms	d3
7.0ms	d2

Results

Error	Segments	Branch
18.7b	7	`d1`
3.1b	2	`d2`
15.0b	4	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch18.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
18.0ms	-1579.5472283959575	-0.009498845877674564

Results

16.0ms

144×

body

256

valid

Compiler

Compiled 164 to 122 computations (25.6% saved)

regimes79.0ms (1.1%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

3 calls:

31.0ms	d1
28.0ms	d2
19.0ms	d3

Results

Error	Segments	Branch
28.6b	9	`d1`
11.9b	7	`d2`
14.7b	6	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch89.0ms (1.3%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
9.0ms	4.908791067289762e-240	1.5516333103896733e-239
19.0ms	9.243163735703369e-281	4.61438003297003e-269
12.0ms	-1.5270414945362947e-273	-1.5513871983664626e-274
13.0ms	-5.482944542215848e-161	-1.0291241078708897e-162
18.0ms	-3.2892413067221183e-143	-2.100802094572594e-150
17.0ms	-1579.5472283959575	-0.009498845877674564

Results

67.0ms	679×	body	256	valid
8.0ms	29×	body	1024	valid
6.0ms	28×	body	512	valid

Compiler

Compiled 664 to 520 computations (21.7% saved)

regimes42.0ms (0.6%)

Accuracy

Total -37.6b remaining (-157.4%)

Threshold costs -37.6b (-157.4%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

23.0ms	d2
13.0ms	d1
6.0ms	d3

Results

Error	Segments	Branch
34.6b	3	`d1`
31.3b	7	`d2`
23.9b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch12.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
12.0ms	0.038522605420135685	1.832742424760773

Results

11.0ms

112×

body

256

valid

Compiler

Compiled 118 to 91 computations (22.9% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	241

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 d1 (+.f64 d2 3)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d2 -4496393867966703/576460752303423488) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -350) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -3) (.f64 d2 d1) (if (<=.f64 d2 -2948408144391829/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (.f64 3 d1) (if (<=.f64 d2 -2912562807747279/63316582777114760719488645381029680648993625369910231018000142359781689627272157995600998671678219517337003885060131670873949448782528309751691815706084650986651333670066978816) (.f64 d1 d3) (if (<=.f64 d2 -6431907247523999/9745314011399999080353382387875188310876226857595007526867906457212948690766426102465615065882010259225304916231408668183459169865203094046577987296312653419531277699956473029870789655490053648352799593479218378873685597925394874945746363615468965612827738803104277547081828589991914110976) (.f64 3 d1) (if (<=.f64 d2 480279012086435/5109351192408882717840314145374306729132675226714771306246520940639262443184548008409492391661147394788716663921132787824569441250287599771492279803609168436019214522754779331884896566897569247187592593266032445422926874765109428195555469487226993043218229521601935466604437747789680665415385088) (.f64 d1 d3) (if (<=.f64 d2 7132140987364465/938439603600587528746394711938657107663969949193687942084737423845328945327403963493426274822541422606069252398088182827397836333287780407720182613329988145004965865323862822167078543736143176539997470989737828269291292380585577139908076735904949708259328) (.f64 3 d1) (*.f64 d1 d3)))))))
(if (<=.f64 d3 8106479329266893/4503599627370496) (.f64 3 d1) (.f64 d1 d3))
(*.f64 3 d1)

Outputs
(+.f64 (.f64 d1 (+.f64 d2 3)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d2 -4496393867966703/576460752303423488) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -350) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -3) (.f64 d2 d1) (if (<=.f64 d2 -2948408144391829/921377545122446619199598286374089084696513969828232526459034741270904336521520715841339532514076847544303802497745079321233052888165232576308943909041185557531590656) (.f64 3 d1) (if (<=.f64 d2 -2912562807747279/63316582777114760719488645381029680648993625369910231018000142359781689627272157995600998671678219517337003885060131670873949448782528309751691815706084650986651333670066978816) (.f64 d1 d3) (if (<=.f64 d2 -6431907247523999/9745314011399999080353382387875188310876226857595007526867906457212948690766426102465615065882010259225304916231408668183459169865203094046577987296312653419531277699956473029870789655490053648352799593479218378873685597925394874945746363615468965612827738803104277547081828589991914110976) (.f64 3 d1) (if (<=.f64 d2 480279012086435/5109351192408882717840314145374306729132675226714771306246520940639262443184548008409492391661147394788716663921132787824569441250287599771492279803609168436019214522754779331884896566897569247187592593266032445422926874765109428195555469487226993043218229521601935466604437747789680665415385088) (.f64 d1 d3) (if (<=.f64 d2 7132140987364465/938439603600587528746394711938657107663969949193687942084737423845328945327403963493426274822541422606069252398088182827397836333287780407720182613329988145004965865323862822167078543736143176539997470989737828269291292380585577139908076735904949708259328) (.f64 3 d1) (*.f64 d1 d3)))))))
(if (<=.f64 d3 8106479329266893/4503599627370496) (.f64 3 d1) (.f64 d1 d3))
(*.f64 3 d1)

Compiler

Compiled 121 to 80 computations (33.9% saved)

soundness9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`rational.json-simplify-1`
14×	`rational.json-simplify-2`
10×	`rational.json-simplify-51`
8×	`rational.json-simplify-41`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	16	25
2	24	19
3	35	19
4	43	19
5	45	19

Stop Event

1×

saturated

Compiler

Compiled 34 to 18 computations (47.1% saved)

end106.0ms (1.5%)

Remove: (sort d2 d3)
Compiler: Compiled 127 to 75 computations (40.9% saved)

Details

analyze462.0ms (6.7%)

sample1.5s (21.8%)

preprocess13.0ms (0.2%)

simplify8.0ms (0.1%)

eval1.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series6.0ms (0.1%)

rewrite81.0ms (1.2%)

simplify422.0ms (6.1%)

localize10.0ms (0.2%)

series4.0ms (0.1%)

rewrite83.0ms (1.2%)

simplify296.0ms (4.3%)

localize11.0ms (0.2%)

series3.0ms (0%)

rewrite115.0ms (1.7%)

simplify397.0ms (5.8%)

eval87.0ms (1.3%)

prune49.0ms (0.7%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

localize3.0ms (0%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite94.0ms (1.4%)

simplify1.3s (18.9%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite92.0ms (1.3%)

simplify1.3s (18.3%)

eval7.0ms (0.1%)

prune7.0ms (0.1%)

localize3.0ms (0%)

localize7.0ms (0.1%)

eval6.0ms (0.1%)

prune6.0ms (0.1%)

regimes31.0ms (0.5%)

regimes23.0ms (0.3%)

regimes52.0ms (0.7%)

bsearch5.0ms (0.1%)

regimes52.0ms (0.8%)

bsearch18.0ms (0.3%)

regimes79.0ms (1.1%)

bsearch89.0ms (1.3%)

regimes42.0ms (0.6%)

bsearch12.0ms (0.2%)

simplify5.0ms (0.1%)

soundness9.0ms (0.1%)

end106.0ms (1.5%)

Profiling