Details

analyze298.0ms (5.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.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.4s (23.5%)

Results

1.1s	7891×	body	256	valid
142.0ms	1423×	body	256	infinite
111.0ms	213×	body	512	valid
38.0ms	152×	body	1024	valid

Bogosity

preprocess15.0ms (0.3%)

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)

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

eval1.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.1b

Counts

5 → 3

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 (.f64 d1 (+.f64 d2 3)) (.f64 d1 d3))
▶	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))

Compiler

Compiled 36 to 24 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)))

rewrite105.0ms (1.8%)

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

simplify358.0ms (6.1%)

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

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series4.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite275.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2334×	`rational.json-simplify-35`
1816×	`rational.json-1`
1388×	`rational.json-simplify-1`
1196×	`rational.json-simplify-2`
1180×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	66	32
2	135	32
3	291	32
4	567	32
5	1323	32
6	2734	32
7	4486	32
8	5655	32
9	6467	32
10	6467	32
11	6467	32
12	7972	32

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

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

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

Outputs

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

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

simplify219.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

2116×	`rational.json-simplify-2`
1994×	`rational.json-simplify-35`
1166×	`rational.json-simplify-1`
1144×	`exponential.json-simplify-26`
1128×	`rational.json-simplify-53`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	143	1866
1	334	1860
2	722	1860
3	2144	1860
4	4801	1860
5	5504	1860
6	5727	1860
7	5890	1860
8	6049	1860
9	6214	1860
10	7657	1860

Stop Event

1×	node limit

Counts

114 → 70

Calls

Call 1

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

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

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 34 to 15 computations (55.9% saved)

series3.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite118.0ms (2%)

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 d1 3) (.f64 d1 d2))
(+.f64 (+.f64 (.f64 d1 3) (.f64 d1 d2)) (*.f64 d1 d3))

Outputs

((#(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)))))

((#(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)))))

simplify401.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

4422×	`rational.json-simplify-41`
2488×	`rational.json-simplify-2`
2364×	`rational.json-simplify-35`
1012×	`rational.json-simplify-51`
994×	`rational.json-simplify-53`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	133	1979
1	296	1925
2	638	1925
3	2018	1901
4	3978	1869
5	4867	1853
6	5137	1853
7	5279	1853
8	5422	1853
9	5551	1853
10	6088	1853
11	6495	1853
12	6908	1853
13	6908	1853
14	7089	1853
15	7204	1853
16	7319	1853

Stop Event

1×	node limit

Counts

119 → 84

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 3 d2))
(*.f64 d1 (+.f64 3 d2))
(*.f64 d1 (+.f64 3 d2))
(*.f64 d1 (+.f64 3 d2))
(*.f64 (+.f64 d2 3) d1)
(*.f64 (+.f64 d2 3) d1)
(*.f64 (+.f64 d2 3) d1)
(*.f64 (+.f64 d2 3) d1)
(.f64 -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 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 (*.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)
(-.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)

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

eval81.0ms (1.4%)

Compiler: Compiled 2063 to 1267 computations (38.6% saved)

prune25.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	171	6	177
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	173	7	180

Error

0.1b

Counts

180 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 d1 (+.f64 3 d3)) (.f64 d2 d1))
	21.8b	(+.f64 (.f64 d1 3) (.f64 d1 d3))
▶	22.6b	(*.f64 (+.f64 d2 3) d1)
▶	41.1b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
▶	21.9b	(*.f64 d1 (+.f64 3 d3))
▶	39.6b	(*.f64 d1 d3)

Compiler

Compiled 110 to 77 computations (30% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series2.0ms (0%)

Counts

2 → 39

Calls

15 calls:

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

rewrite199.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2672×	`rational.json-simplify-2`
1462×	`rational.json-simplify-1`
1350×	`rational.json-simplify-35`
1302×	`rational.json-1`
1302×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	68	32
2	146	32
3	310	32
4	595	32
5	1489	32
6	3043	32
7	4573	32
8	5950	32
9	6736	32
10	6736	32
11	7813	32

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

Outputs

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

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

simplify300.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2474×	`rational.json-simplify-2`
1888×	`rational.json-simplify-53`
1798×	`rational.json-simplify-35`
1000×	`exponential.json-simplify-26`
888×	`rational.json-simplify-48`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	134	1702
1	326	1558
2	738	1558
3	1977	1558
4	3884	1558
5	4877	1558
6	5191	1558
7	5382	1558
8	5567	1558
9	5752	1558
10	6554	1558
11	7376	1558
12	7846	1558

Stop Event

1×	node limit

Counts

94 → 70

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

localize3.0ms (0.1%)

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

localize3.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 d1 (+.f64 3 d3))

Compiler

Compiled 14 to 9 computations (35.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series0.0ms (0%)

Counts

1 → 20

Calls

6 calls:

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

rewrite208.0ms (3.5%)

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

simplify272.0ms (4.6%)

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

eval25.0ms (0.4%)

Compiler: Compiled 1147 to 756 computations (34.1% saved)

prune16.0ms (0.3%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	0	1	1
Picked	0	1	1
Done	1	4	5
Total	107	8	115

Error

0.1b

Counts

115 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.8b	(+.f64 (.f64 d1 3) (.f64 d1 d3))
▶	22.6b	(+.f64 (.f64 3 d1) (.f64 d2 d1))
✓	22.6b	(*.f64 (+.f64 d2 3) d1)
✓	41.1b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	21.9b	(*.f64 d1 (+.f64 3 d3))
✓	39.6b	(*.f64 d1 d3)
▶	44.1b	(*.f64 3 d1)

Compiler

Compiled 64 to 46 computations (28.1% saved)

localize3.0ms (0.1%)

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series0.0ms (0%)

Counts

1 → 15

Calls

6 calls:

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

rewrite192.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2644×	`rational.json-simplify-2`
1568×	`rational.json-simplify-1`
1198×	`exponential.json-3`
1198×	`rational.json-1`
1198×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	114	13
3	245	13
4	457	13
5	1049	13
6	2617	13
7	4899	13
8	5924	13
9	6809	13
10	6809	13
11	6809	13

Stop Event

1×	node limit

Counts

1 → 50

Calls

Call 1

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

Outputs

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

simplify243.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

2874×	`rational.json-simplify-2`
1850×	`rational.json-simplify-35`
1430×	`rational.json-simplify-53`
1196×	`rational.json-simplify-1`
1186×	`rational.json-simplify-51`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	111	899
1	248	883
2	565	883
3	1412	867
4	3490	851
5	5093	851
6	5939	851
7	6074	851
8	6182	851
9	6286	851
10	6386	851
11	7301	851
12	7986	851

Stop Event

1×	node limit

Counts

65 → 61

Calls

Call 1

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

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

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	@	-inf	(+.f64 (.f64 d1 3) (.f64 d1 d3))
0.0ms	d1	@	0	(+.f64 (.f64 d1 3) (.f64 d1 d3))
0.0ms	d3	@	inf	(+.f64 (.f64 d1 3) (.f64 d1 d3))
0.0ms	d3	@	-inf	(+.f64 (.f64 d1 3) (.f64 d1 d3))
0.0ms	d3	@	0	(+.f64 (.f64 d1 3) (.f64 d1 d3))

rewrite188.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

2646×	`rational.json-simplify-2`
1558×	`rational.json-simplify-1`
1198×	`exponential.json-3`
1198×	`rational.json-1`
1198×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	114	13
3	245	13
4	457	13
5	1051	13
6	2625	13
7	4910	13
8	5935	13
9	6820	13
10	6820	13
11	6820	13

Stop Event

1×	node limit

Counts

1 → 50

Calls

Call 1

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

Outputs

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

simplify423.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

2428×	`rational.json-simplify-35`
2192×	`rational.json-simplify-2`
1508×	`rational.json-simplify-53`
1202×	`exponential.json-simplify-26`
1150×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	110	1016
1	242	1000
2	545	1000
3	2059	984
4	3428	968
5	4715	968
6	5611	968
7	5810	968
8	5937	968
9	6713	968
10	6987	968
11	7107	968
12	7356	968
13	7681	968
14	7681	968
15	7681	968
16	7800	968
17	7919	968

Stop Event

1×	node limit

Counts

74 → 60

Calls

Call 1

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

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

eval29.0ms (0.5%)

Compiler: Compiled 1058 to 785 computations (25.8% saved)

prune21.0ms (0.4%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	121	8	129

Error

0.1b

Counts

129 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.8b	(+.f64 (.f64 d1 3) (.f64 d1 d3))
✓	22.6b	(+.f64 (.f64 3 d1) (.f64 d2 d1))
✓	22.6b	(*.f64 (+.f64 d2 3) d1)
✓	41.1b	(*.f64 d2 d1)
✓	0.1b	(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
✓	21.9b	(*.f64 d1 (+.f64 3 d3))
✓	39.6b	(*.f64 d1 d3)
✓	44.1b	(*.f64 3 d1)

Compiler

Compiled 64 to 46 computations (28.1% saved)

regimes31.0ms (0.5%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

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 98 to 54 computations (44.9% saved)

regimes26.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

3 calls:

12.0ms	d3
6.0ms	d1
6.0ms	d2

Results

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

Compiler

Compiled 64 to 36 computations (43.8% saved)

regimes35.0ms (0.6%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

3 calls:

17.0ms	d1
9.0ms	d2
8.0ms	d3

Results

Error	Segments	Branch
16.6b	4	`d1`
3.1b	2	`d2`
3.3b	2	`d3`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
0.0ms	-1407483625.1876903	-1369535676.660079

Compiler

Compiled 20 to 14 computations (30% saved)

regimes60.0ms (1%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	d3
23.0ms	d1
10.0ms	d2

Results

Error	Segments	Branch
18.0b	7	`d1`
3.2b	2	`d2`
14.6b	6	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
0.0ms	-1407483625.1876903	-1369535676.660079

Compiler

Compiled 20 to 14 computations (30% saved)

regimes62.0ms (1%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	d3
20.0ms	d2
15.0ms	d1

Results

Error	Segments	Branch
32.6b	4	`d1`
14.0b	5	`d2`
14.1b	8	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch46.0ms (0.8%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
21.0ms	1.2755314948205988e-275	6.649743671087207e-250
12.0ms	-1.0318594272947134e-229	-1.4009243911040642e-231
13.0ms	-7.727419866626197e-194	-1.609994367741899e-194
0.0ms	-1407483625.1876903	-1369535676.660079

Results

35.0ms	352×	body	256	valid
5.0ms	22×	body	1024	valid
2.0ms	10×	body	512	valid

Compiler

Compiled 356 to 278 computations (21.9% saved)

regimes42.0ms (0.7%)

Accuracy

Total -38.4b remaining (-168.2%)

Threshold costs -38.4b (-168.2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	d2
14.0ms	d1
6.0ms	d3

Results

Error	Segments	Branch
34.5b	5	`d1`
31.5b	5	`d2`
22.8b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch10.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
10.0ms	5.3894320619317435	48.54581933112946

Results

9.0ms

96×

body

256

valid

Compiler

Compiled 104 to 80 computations (23.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	209

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 d1 (+.f64 d2 3)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d2 -1400000000) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -1400000000) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -1400000000) (.f64 d2 d1) (if (<=.f64 d2 -3369774561929427/164379246923386672101280933840004020798448118838224183109321278220897879821783775691052079258674639100843217776755569303531857257818243870722744211582871276561100739722763893693489492433885084914727914116743168) (.f64 3 d1) (if (<=.f64 d2 -6773422405034819/109248748468303532426524291739177087748419720352823839299932287987941986104404083859807145179079545499532163655162810211465442126301091677476673225561388319475223061782757614525859074636379160981159362824370366086868021215846014341794428966928384) (.f64 d1 d3) (if (<=.f64 d2 4057301999121909/8452712498170643941637436558664265704301557216577944354047371344426782440907597751590676094202515006314790319892114058862117560952042968596008623655407033230534186943984081346699704282822823056848387726531379014466368452684024987821414350380272583623832617294363807973376) (.f64 3 d1) (*.f64 d1 d3)))))
(if (<=.f64 d3 11/2) (.f64 3 d1) (.f64 d1 d3))
(*.f64 3 d1)

Outputs
(+.f64 (.f64 d1 (+.f64 d2 3)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 3 d2)))
(if (<=.f64 d2 -1400000000) (.f64 (+.f64 d2 3) d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -1400000000) (.f64 d2 d1) (.f64 d1 (+.f64 3 d3)))
(if (<=.f64 d2 -1400000000) (.f64 d2 d1) (if (<=.f64 d2 -3369774561929427/164379246923386672101280933840004020798448118838224183109321278220897879821783775691052079258674639100843217776755569303531857257818243870722744211582871276561100739722763893693489492433885084914727914116743168) (.f64 3 d1) (if (<=.f64 d2 -6773422405034819/109248748468303532426524291739177087748419720352823839299932287987941986104404083859807145179079545499532163655162810211465442126301091677476673225561388319475223061782757614525859074636379160981159362824370366086868021215846014341794428966928384) (.f64 d1 d3) (if (<=.f64 d2 4057301999121909/8452712498170643941637436558664265704301557216577944354047371344426782440907597751590676094202515006314790319892114058862117560952042968596008623655407033230534186943984081346699704282822823056848387726531379014466368452684024987821414350380272583623832617294363807973376) (.f64 3 d1) (*.f64 d1 d3)))))
(if (<=.f64 d3 11/2) (.f64 3 d1) (.f64 d1 d3))
(*.f64 3 d1)

Compiler

Compiled 107 to 72 computations (32.7% saved)

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

Compiler

Compiled 34 to 18 computations (47.1% saved)

end59.0ms (1%)

Compiler: Compiled 113 to 67 computations (40.7% saved)

Details

analyze298.0ms (5.1%)

sample1.4s (23.5%)

preprocess15.0ms (0.3%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune2.0ms (0%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite105.0ms (1.8%)

simplify358.0ms (6.1%)

localize10.0ms (0.2%)

series4.0ms (0.1%)

rewrite275.0ms (4.7%)

simplify219.0ms (3.7%)

localize12.0ms (0.2%)

series3.0ms (0.1%)

rewrite118.0ms (2%)

simplify401.0ms (6.8%)

eval81.0ms (1.4%)

prune25.0ms (0.4%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite199.0ms (3.4%)

simplify300.0ms (5.1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite208.0ms (3.5%)

simplify272.0ms (4.6%)

eval25.0ms (0.4%)

prune16.0ms (0.3%)

localize3.0ms (0.1%)

localize7.0ms (0.1%)

series0.0ms (0%)

rewrite192.0ms (3.3%)

simplify243.0ms (4.1%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite188.0ms (3.2%)

simplify423.0ms (7.2%)

eval29.0ms (0.5%)

prune21.0ms (0.4%)

regimes31.0ms (0.5%)

regimes26.0ms (0.4%)

regimes35.0ms (0.6%)

bsearch0.0ms (0%)

regimes60.0ms (1%)

bsearch0.0ms (0%)

regimes62.0ms (1%)

bsearch46.0ms (0.8%)

regimes42.0ms (0.7%)

bsearch10.0ms (0.2%)

simplify6.0ms (0.1%)

soundness10.0ms (0.2%)

end59.0ms (1%)

Profiling