Details

analyze315.0ms (3%)

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.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
35.6%	34.3%	62%	0.1%	3.5%	0%	0%	10
44.1%	41.3%	52.5%	0.1%	6%	0%	0%	11
50.9%	46.8%	45.1%	0.1%	7.9%	0%	0%	12

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.3s (12.5%)

Results

1.0s	8229×	body	256	valid
250.0ms	1417×	body	256	infinite
3.0ms	11×	body	1024	valid
3.0ms	16×	body	512	valid

Bogosity

preprocess8.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

182×	`rational.json-simplify-1`
124×	`rational.json-simplify-41`
52×	`rational.json-simplify-2`
36×	`rational.json-simplify-51`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	124
1	59	100
2	91	100
3	153	76
4	202	76
5	242	76
6	257	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 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))

Outputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (.f64 d1 (+.f64 (+.f64 d3 5) d2)) (.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (.f64 d2 (+.f64 (+.f64 d3 5) d1)) (.f64 d2 32))
(*.f64 d2 (+.f64 32 (+.f64 d1 (+.f64 d3 5))))
(*.f64 d2 (+.f64 (+.f64 d3 5) (+.f64 d1 32)))
(*.f64 d2 (+.f64 d1 (+.f64 d3 37)))
(*.f64 d2 (+.f64 (+.f64 d1 d3) 37))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (.f64 d3 (+.f64 (+.f64 d1 5) d2)) (.f64 d3 32))
(*.f64 d3 (+.f64 32 (+.f64 d2 (+.f64 d1 5))))
(*.f64 d3 (+.f64 d2 (+.f64 (+.f64 d1 5) 32)))
(*.f64 d3 (+.f64 d1 (+.f64 d2 37)))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))
(+.f64 (.f64 d1 (+.f64 (+.f64 d3 5) d2)) (.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Symmetry

(sort d2 d3)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

68×	`rational.json-simplify-1`
40×	`rational.json-simplify-41`
14×	`rational.json-simplify-2`
12×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	21	25
2	29	25
3	47	19
4	66	19
5	84	19
6	94	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (.f64 d1 (+.f64 (+.f64 d3 5) d2)) (.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

eval1.0ms (0%)

Compiler: Compiled 52 to 34 computations (34.6% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

6 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 17 computations (29.2% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite204.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1662×	`bool.json-1`
1662×	`bool.json-2`
1628×	`rational.json-1`
1074×	`bool.json-3`
882×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	100	19
2	274	19
3	577	19
4	1251	19
5	2978	19
6	6545	19

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify867.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

3528×	`rational.json-simplify-35`
2502×	`rational.json-simplify-2`
1510×	`rational.json-simplify-1`
1184×	`rational.json-simplify-41`
1078×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	833
1	109	833
2	199	833
3	465	833
4	1783	833
5	3974	833
6	4497	833
7	4808	833
8	4959	833
9	5085	833
10	5209	833
11	6379	833
12	6609	833
13	6694	833
14	6830	833
15	6937	833
16	7024	833
17	7096	833
18	7220	833
19	7344	833
20	7468	833
21	7592	833
22	7716	833
23	7840	833
24	7964	833

Stop Event

1×	node limit

Counts

47 → 22

Calls

Call 1

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

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

localize1.2s (11.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 37 to 23 computations (37.8% saved)

series5.0ms (0%)

Counts

2 → 72

Calls

18 calls:

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

rewrite99.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`bool.json-1`
1638×	`bool.json-2`
1600×	`rational.json-1`
1086×	`bool.json-3`
894×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	50
1	130	44
2	327	44
3	699	38
4	1574	38
5	3397	38
6	6439	38

Stop Event

1×	node limit

Counts

2 → 45

Calls

Call 1

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

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

Outputs

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

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

simplify468.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

2674×	`rational.json-simplify-35`
2334×	`rational.json-simplify-2`
1300×	`rational.json-simplify-1`
1042×	`rational.json-simplify-51`
1030×	`exponential.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	131	2319
1	260	2283
2	626	2271
3	1910	2247
4	4470	2247
5	5509	2247
6	5811	2247
7	6032	2247
8	6195	2247
9	6330	2247
10	6909	2247
11	7202	2247
12	7217	2247
13	7217	2247
14	7445	2247
15	7745	2247
16	7903	2247

Stop Event

1×	node limit

Counts

117 → 81

Calls

Call 1

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

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

eval73.0ms (0.7%)

Compiler: Compiled 1140 to 732 computations (35.8% saved)

prune18.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	98	5	103
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	99	6	105

Error

0.0b

Counts

105 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.1b	(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
▶	21.1b	(*.f64 (+.f64 37 d3) d1)
▶	42.4b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
▶	23.1b	(*.f64 d1 (+.f64 d2 37))
▶	39.5b	(*.f64 d1 d3)

Compiler

Compiled 90 to 65 computations (27.8% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite210.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

Outputs

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

simplify725.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

3696×	`rational.json-simplify-35`
2436×	`rational.json-simplify-2`
1034×	`rational.json-simplify-53`
988×	`exponential.json-simplify-26`
974×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	420
1	97	294
2	198	294
3	467	294
4	2054	294
5	4350	294
6	5200	294
7	5554	294
8	5726	294
9	5872	294
10	6016	294
11	6515	294
12	6518	294
13	6591	294
14	6684	294
15	6754	294
16	6916	294
17	7062	294
18	7206	294
19	7350	294
20	7494	294
21	7638	294
22	7917	294

Stop Event

1×	node limit

Counts

24 → 16

Calls

Call 1

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

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

localize3.0ms (0%)

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

localize3.0ms (0%)

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

localize5.0ms (0.1%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

series2.0ms (0%)

Counts

2 → 36

Calls

12 calls:

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

rewrite95.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1502×	`bool.json-1`
1502×	`bool.json-2`
1458×	`rational.json-1`
1458×	`rational.json-2`
1458×	`rational.json-3`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	109	32
2	280	26
3	581	26
4	1227	26
5	2709	26
6	5790	26

Stop Event

1×	node limit

Counts

2 → 45

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
(*.f64 (+.f64 5 d3) d1)

Outputs

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

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

simplify486.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

3552×	`rational.json-simplify-41`
2804×	`rational.json-simplify-35`
2312×	`rational.json-simplify-2`
1416×	`rational.json-simplify-53`
1004×	`exponential.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	2163
1	226	1395
2	501	1395
3	1500	1089
4	3397	1089
5	4298	1089
6	4729	1089
7	5051	1089
8	5210	1089
9	5362	1089
10	5976	1089
11	6115	1089
12	6128	1089
13	6331	1089
14	6658	1089
15	6721	1089
16	6788	1089
17	6955	1089
18	7106	1089
19	7244	1089

Stop Event

1×	node limit

Counts

81 → 61

Calls

Call 1

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

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

eval16.0ms (0.2%)

Compiler: Compiled 758 to 547 computations (27.8% saved)

prune18.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	75	2	77
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	75	8	83

Error

0.0b

Counts

83 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.1b	(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
▶	21.1b	(+.f64 (.f64 d1 d3) (.f64 d1 37))
✓	21.1b	(*.f64 (+.f64 37 d3) d1)
✓	42.4b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
✓	23.1b	(*.f64 d1 (+.f64 d2 37))
✓	39.5b	(*.f64 d1 d3)
▶	43.6b	(*.f64 d1 37)

Compiler

Compiled 66 to 48 computations (27.3% saved)

localize3.0ms (0%)

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

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite340.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	88	13
2	240	13
3	510	13
4	1047	13
5	2287	13
6	4863	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify1.4s (13.5%)

Algorithm

1×	egg-herbie

Rules

3522×	`rational.json-simplify-35`
2380×	`rational.json-simplify-2`
1464×	`rational.json-simplify-1`
1022×	`rational.json-simplify-41`
996×	`rational.json-simplify-53`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	83	781
1	176	753
2	369	753
3	1230	737
4	2719	721
5	4166	721
6	4621	721
7	4927	721
8	5072	721
9	5154	721
10	5233	721
11	5824	721
12	6149	721
13	6307	721
14	6566	721
15	6768	721
16	6867	721
17	6949	721
18	7026	721
19	7026	721
20	7056	721
21	7056	721
22	7056	721
23	7133	721
24	7210	721
25	7287	721
26	7364	721
27	7441	721
28	7518	721
29	7595	721
30	7672	721
31	7749	721
32	7826	721
33	7903	721
34	7980	721

Stop Event

1×	node limit

Counts

55 → 47

Calls

Call 1

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

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

eval10.0ms (0.1%)

Compiler: Compiled 395 to 280 computations (29.1% saved)

prune10.0ms (0.1%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	47	8	55

Error

0.0b

Counts

55 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.1b	(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
✓	21.1b	(+.f64 (.f64 d1 d3) (.f64 d1 37))
✓	21.1b	(*.f64 (+.f64 37 d3) d1)
✓	42.4b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
✓	23.1b	(*.f64 d1 (+.f64 d2 37))
✓	39.5b	(*.f64 d1 d3)
✓	43.6b	(*.f64 d1 37)

Compiler

Compiled 66 to 48 computations (27.3% saved)

regimes31.0ms (0.3%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 d1 d3) (.f64 d1 37))
(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
(+.f64 (.f64 d1 (+.f64 (+.f64 d3 5) d2)) (.f64 d1 32))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))

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

Calls

5 calls:

7.0ms	d3
6.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
6.0ms	d1
6.0ms	d2
3.0ms	(+.f64 d3 5)

Results

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

Compiler

Compiled 103 to 66 computations (35.9% saved)

regimes154.0ms (1.5%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

3 calls:

90.0ms	d1
51.0ms	d2
12.0ms	d3

Results

Error	Segments	Branch
15.4b	6	`d1`
4.9b	4	`d2`
2.3b	2	`d3`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch1.3s (12.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
1.3s	8.568495002894775e-73	6.605436191977875e-71

Results

1.3s

112×

body

256

valid

Compiler

Compiled 148 to 114 computations (23% saved)

regimes118.0ms (1.1%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

81.0ms	d2
26.0ms	d1
10.0ms	d3

Results

Error	Segments	Branch
18.2b	7	`d1`
14.5b	6	`d2`
2.9b	2	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch14.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
14.0ms	4.894577191846328e+22	1.1282846670975279e+27

Results

12.0ms	128×	body	256	valid
0.0ms	3×	body	256	infinite

Compiler

Compiled 150 to 112 computations (25.3% saved)

regimes521.0ms (5%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

422.0ms	d1
72.0ms	d3
26.0ms	d2

Results

Error	Segments	Branch
29.9b	7	`d1`
15.2b	7	`d2`
12.4b	3	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch102.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	0.0014034285750473754	71.44978597961783
88.0ms	-2.6002489955879673e-259	-5.470341667532134e-275

Results

99.0ms	286×	body	256	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 274 to 214 computations (21.9% saved)

regimes111.0ms (1.1%)

Accuracy

Total -39.2b remaining (-176.5%)

Threshold costs -39.2b (-176.5%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

81.0ms	d3
18.0ms	d2
12.0ms	d1

Results

Error	Segments	Branch
33.0b	3	`d1`
30.6b	5	`d2`
22.2b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch62.0ms (0.6%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
62.0ms	0.0014034285750473754	71.44978597961783

Results

61.0ms

128×

body

256

valid

Compiler

Compiled 134 to 104 computations (22.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	152

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(if (<=.f64 d3 8081502591659033/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 12999999999999999245025280) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d3 -404468599105957/2379227053564452900476899997039840896210016322655031134489234974905505051456646997672269303193850160943677958064308756880727336392871849132465328929763831401252753344715935798308298255734876378992382713251762299529708397931004608141051358304557852932819272168726630260518024558103494656) (.f64 d2 d1) (if (<=.f64 d3 38) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d3 38) (.f64 d1 37) (.f64 d1 d3))
(*.f64 d1 37)

Outputs
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(if (<=.f64 d3 8081502591659033/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 12999999999999999245025280) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d3 -404468599105957/2379227053564452900476899997039840896210016322655031134489234974905505051456646997672269303193850160943677958064308756880727336392871849132465328929763831401252753344715935798308298255734876378992382713251762299529708397931004608141051358304557852932819272168726630260518024558103494656) (.f64 d2 d1) (if (<=.f64 d3 38) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d3 38) (.f64 d1 37) (.f64 d1 d3))
(*.f64 d1 37)

Compiler

Compiled 81 to 56 computations (30.9% saved)

soundness13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

68×	`rational.json-simplify-1`
40×	`rational.json-simplify-41`
14×	`rational.json-simplify-2`
12×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	21	25
2	29	25
3	47	19
4	66	19
5	84	19
6	94	19

Stop Event

1×

saturated

Compiler

Compiled 72 to 47 computations (34.7% saved)

end110.0ms (1%)

Remove: (sort d2 d3)
Compiler: Compiled 86 to 53 computations (38.4% saved)

Details

analyze315.0ms (3%)

sample1.3s (12.5%)

preprocess8.0ms (0.1%)

simplify10.0ms (0.1%)

eval1.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series3.0ms (0%)

rewrite204.0ms (1.9%)

simplify867.0ms (8.2%)

localize1.2s (11.4%)

series5.0ms (0%)

rewrite99.0ms (0.9%)

simplify468.0ms (4.5%)

eval73.0ms (0.7%)

prune18.0ms (0.2%)

localize5.0ms (0%)

series2.0ms (0%)

rewrite210.0ms (2%)

simplify725.0ms (6.9%)

localize3.0ms (0%)

localize3.0ms (0%)

localize5.0ms (0.1%)

localize11.0ms (0.1%)

series2.0ms (0%)

rewrite95.0ms (0.9%)

simplify486.0ms (4.6%)

eval16.0ms (0.2%)

prune18.0ms (0.2%)

localize3.0ms (0%)

localize10.0ms (0.1%)

series1.0ms (0%)

rewrite340.0ms (3.2%)

simplify1.4s (13.5%)

eval10.0ms (0.1%)

prune10.0ms (0.1%)

regimes31.0ms (0.3%)

regimes154.0ms (1.5%)

bsearch1.3s (12.3%)

regimes118.0ms (1.1%)

bsearch14.0ms (0.1%)

regimes521.0ms (5%)

bsearch102.0ms (1%)

regimes111.0ms (1.1%)

bsearch62.0ms (0.6%)

simplify4.0ms (0%)

soundness13.0ms (0.1%)

end110.0ms (1%)

Profiling