Details

analyze402.0ms (9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.4%	25%	73.3%	0.1%	1.6%	0%	0%	9
35.3%	34.3%	62.8%	0.1%	2.7%	0%	0%	10
43.9%	41.3%	52.9%	0.1%	5.7%	0%	0%	11
50.6%	46.8%	45.7%	0.1%	7.3%	0%	0%	12

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.6s (35.4%)

Results

1.2s	7883×	body	256	valid
219.0ms	1367×	body	256	infinite
108.0ms	180×	body	1024	valid
34.0ms	193×	body	512	valid

Bogosity

preprocess16.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	124
1	40	100
2	66	76
3	97	76
4	117	76
5	122	76
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

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

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

Symmetry

(sort d2 d3)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval5.0ms (0.1%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

5 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite113.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1636×	`rational.json-1`
1636×	`rational.json-2`
1636×	`rational.json-3`
1604×	`exponential.json-3`
1604×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	61	19
2	133	19
3	281	19
4	588	19
5	1503	19
6	3431	19
7	5054	19
8	6850	19

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

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

Outputs

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

simplify363.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

3512×	`rational.json-simplify-41`
2776×	`rational.json-simplify-2`
2040×	`rational.json-simplify-35`
1416×	`rational.json-simplify-53`
836×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	871
1	133	871
2	242	871
3	567	871
4	2111	871
5	3545	871
6	3759	871
7	3875	871
8	3974	871
9	4071	871
10	4167	871
11	5138	871
12	6181	871
13	6278	871
14	6374	871
15	6374	871
16	6388	871

Stop Event

1×	node limit

Counts

49 → 23

Calls

Call 1

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

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

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 34 to 15 computations (55.9% saved)

series5.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite121.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1680×	`rational.json-1`
1680×	`rational.json-2`
1680×	`rational.json-3`
1676×	`exponential.json-3`
1676×	`rational.json-4`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	50
1	73	38
2	150	32
3	343	32
4	730	32
5	1944	32
6	3612	32
7	4856	32
8	7065	32

Stop Event

1×	node limit

Counts

2 → 59

Calls

Call 1

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

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

Outputs

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

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

simplify407.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

4448×	`rational.json-simplify-41`
2476×	`rational.json-simplify-2`
2362×	`rational.json-simplify-35`
1020×	`rational.json-simplify-51`
1000×	`exponential.json-simplify-26`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	133	2273
1	297	1925
2	637	1925
3	2020	1901
4	3989	1869
5	4886	1853
6	5156	1853
7	5298	1853
8	5441	1853
9	5570	1853
10	6103	1853
11	6509	1853
12	6922	1853
13	6922	1853
14	7103	1853
15	7218	1853
16	7333	1853

Stop Event

1×	node limit

Counts

119 → 86

Calls

Call 1

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

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

eval21.0ms (0.5%)

Compiler: Compiled 1218 to 733 computations (39.8% saved)

prune20.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	105	6	111

Error

0.1b

Counts

111 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.2b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
▶	21.2b	(*.f64 (+.f64 d2 3) d1)
▶	44.9b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
▶	18.5b	(*.f64 d1 (+.f64 3 d3))
▶	40.7b	(*.f64 d1 d3)

Compiler

Compiled 86 to 61 computations (29.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite208.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2428×	`rational.json-simplify-35`
1490×	`rational.json-simplify-1`
1486×	`rational.json-simplify-53`
1242×	`exponential.json-3`
1242×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	99	13
3	201	13
4	369	13
5	819	13
6	2058	13
7	3647	13
8	4753	13
9	6150	13
10	6889	13
11	6889	13
12	6889	13

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

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

simplify196.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

2688×	`rational.json-simplify-2`
2078×	`rational.json-simplify-35`
1500×	`rational.json-simplify-43`
1378×	`rational.json-simplify-1`
1262×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	477
1	141	333
2	289	333
3	678	333
4	3307	333
5	4874	333
6	5192	333
7	5400	333
8	5577	333
9	5729	333
10	7851	333

Stop Event

1×	node limit

Counts

27 → 19

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize5.0ms (0.1%)

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 20

Calls

6 calls:

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

rewrite208.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2428×	`rational.json-simplify-35`
1496×	`rational.json-simplify-1`
1480×	`rational.json-simplify-53`
1242×	`exponential.json-3`
1242×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	99	13
3	201	13
4	369	13
5	819	13
6	2056	13
7	3640	13
8	4748	13
9	6145	13
10	6884	13
11	6884	13
12	6884	13

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

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

simplify274.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

2218×	`rational.json-simplify-2`
1914×	`rational.json-simplify-35`
1480×	`rational.json-simplify-53`
1234×	`exponential.json-simplify-26`
1224×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	629
1	137	437
2	284	437
3	713	437
4	2627	437
5	4840	437
6	5673	437
7	5982	437
8	5987	437
9	5989	437
10	6791	437
11	7876	437
12	7880	437

Stop Event

1×	node limit

Counts

35 → 21

Calls

Call 1

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

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

localize39.0ms (0.9%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

eval16.0ms (0.4%)

Compiler: Compiled 726 to 529 computations (27.1% saved)

prune13.0ms (0.3%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	77	7	84

Error

0.1b

Counts

84 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.2b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.2b	(*.f64 (+.f64 d2 3) d1)
✓	44.9b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	18.5b	(*.f64 d1 (+.f64 3 d3))
✓	40.7b	(*.f64 d1 d3)
▶	39.6b	(*.f64 d1 3)

Compiler

Compiled 54 to 39 computations (27.8% saved)

localize44.0ms (1%)

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

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	6	6
Total	7	7

Error

0.1b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.2b	(+.f64 (.f64 d1 3) (.f64 d1 d2))
✓	21.2b	(*.f64 (+.f64 d2 3) d1)
✓	44.9b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	18.5b	(*.f64 d1 (+.f64 3 d3))
✓	40.7b	(*.f64 d1 d3)
✓	39.6b	(*.f64 d1 3)

Compiler

Compiled 54 to 39 computations (27.8% saved)

regimes34.0ms (0.8%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

16.0ms	d2
5.0ms	d1
5.0ms	(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))
5.0ms	d3

Results

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

Compiler

Compiled 73 to 43 computations (41.1% saved)

regimes38.0ms (0.9%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

3 calls:

20.0ms	d1
9.0ms	d3
9.0ms	d2

Results

Error	Segments	Branch
15.6b	3	`d1`
3.8b	2	`d2`
2.7b	2	`d3`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch13.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
13.0ms	0.00018319643265903804	0.0047563051287425155

Results

12.0ms

112×

body

256

valid

Compiler

Compiled 146 to 112 computations (23.3% saved)

regimes31.0ms (0.7%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

12.0ms	d1
11.0ms	d3
7.0ms	d2

Results

Error	Segments	Branch
17.0b	3	`d1`
4.7b	2	`d2`
13.7b	2	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch15.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
15.0ms	-81.40338473865489	-0.04075963082157457

Results

13.0ms

128×

body

256

valid

Compiler

Compiled 148 to 110 computations (25.7% saved)

regimes56.0ms (1.2%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

30.0ms	d1
15.0ms	d2
9.0ms	d3

Results

Error	Segments	Branch
27.4b	9	`d1`
15.3b	5	`d2`
14.5b	3	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch37.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	0.0047563051287425155	450.9189850097351
21.0ms	-1.0180506306665463e-231	-1.2206347237353197e-244

Results

29.0ms	282×	body	256	valid
4.0ms	19×	body	1024	valid
0.0ms	3×	body	512	valid

Compiler

Compiled 286 to 223 computations (22% saved)

regimes37.0ms (0.8%)

Accuracy

Total -41.8b remaining (-215.6%)

Threshold costs -41.8b (-215.6%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

17.0ms	d1
13.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
31.2b	5	`d1`
28.9b	5	`d2`
19.4b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch18.0ms (0.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
18.0ms	0.0047563051287425155	450.9189850097351

Results

16.0ms

144×

body

256

valid

Compiler

Compiled 146 to 113 computations (22.6% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	152

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d3 4796153459164483/9223372036854775808) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -80) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d3 -5174020727458855/6991919901971426075297554671307333615898862102580725715195666431228287110681861367027657291461090911970058473930419853533788296083269867358507086435928852446414275954096487329654980776728266302794199220759703429559553357814144917874843453883416576) (.f64 d2 d1) (if (<=.f64 d3 3) (.f64 d1 3) (*.f64 d1 d3)))
(if (<=.f64 d3 3) (.f64 d1 3) (.f64 d1 d3))
(*.f64 d1 3)

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d3 4796153459164483/9223372036854775808) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -80) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d3 -5174020727458855/6991919901971426075297554671307333615898862102580725715195666431228287110681861367027657291461090911970058473930419853533788296083269867358507086435928852446414275954096487329654980776728266302794199220759703429559553357814144917874843453883416576) (.f64 d2 d1) (if (<=.f64 d3 3) (.f64 d1 3) (*.f64 d1 d3)))
(if (<=.f64 d3 3) (.f64 d1 3) (.f64 d1 d3))
(*.f64 d1 3)

Compiler

Compiled 81 to 56 computations (30.9% saved)

soundness12.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 61 to 30 computations (50.8% saved)

end44.0ms (1%)

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

Details

analyze402.0ms (9%)

sample1.6s (35.4%)

preprocess16.0ms (0.4%)

simplify10.0ms (0.2%)

eval5.0ms (0.1%)

prune2.0ms (0%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite113.0ms (2.5%)

simplify363.0ms (8.2%)

localize13.0ms (0.3%)

series5.0ms (0.1%)

rewrite121.0ms (2.7%)

simplify407.0ms (9.2%)

eval21.0ms (0.5%)

prune20.0ms (0.5%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite208.0ms (4.7%)

simplify196.0ms (4.4%)

localize3.0ms (0.1%)

localize5.0ms (0.1%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite208.0ms (4.7%)

simplify274.0ms (6.2%)

localize39.0ms (0.9%)

eval16.0ms (0.4%)

prune13.0ms (0.3%)

localize44.0ms (1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes34.0ms (0.8%)

regimes38.0ms (0.9%)

bsearch13.0ms (0.3%)

regimes31.0ms (0.7%)

bsearch15.0ms (0.3%)

regimes56.0ms (1.2%)

bsearch37.0ms (0.8%)

regimes37.0ms (0.8%)

bsearch18.0ms (0.4%)

simplify4.0ms (0.1%)

soundness12.0ms (0.3%)

end44.0ms (1%)

Profiling