Details

analyze92.0ms (2.6%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
57.1%	43.7%	32.8%	0.1%	23.4%	0%	0%	8
67.5%	43.7%	21.1%	0.1%	35.1%	0%	0%	9
73.6%	46.8%	16.8%	0.1%	36.3%	0%	0%	10
81.4%	46.8%	10.7%	0.1%	42.3%	0%	0%	11
85.1%	48.4%	8.5%	0.1%	43%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.1s (32.5%)

Results

896.0ms	8256×	body	256	valid
232.0ms	1155×	body	256	infinite

Bogosity

preprocess147.0ms (4.2%)

Algorithm

2×	egg-herbie

Rules

1088×	`rational.json-simplify-2`
944×	`rational.json-simplify-19`
924×	`rational.json-simplify-44`
898×	`rational.json-simplify-37`
812×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	15	34
2	23	34
3	59	34
4	355	34
5	3901	34
6	6145	34
7	7205	34
8	7863	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify130.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
986×	`rational.json-simplify-39`
862×	`rational.json-simplify-59`
608×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	10	17
2	14	17
3	32	17
4	180	17
5	1958	17
6	5898	17
7	7763	17

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	y	@	inf	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	x	@	inf	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	y	@	0	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	x	@	-inf	(.f64 x (exp.f64 (.f64 y y)))

rewrite68.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1608×	`bool.json-1`
1608×	`bool.json-2`
1584×	`rational.json-1`
1584×	`rational.json-2`
1238×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	79	17
2	223	17
3	533	17
4	1683	17
5	5378	17

Stop Event

1×	node limit

Counts

1 → 8

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (exp.f64 (.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (exp.f64 (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (exp.f64 (.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (exp.f64 (.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 (.f64 y y)) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 x (exp.f64 (.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 x (exp.f64 (.f64 y y))) (.f64 x (exp.f64 (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 x (exp.f64 (.f64 y y))) (.f64 x (exp.f64 (*.f64 y y))))))))

Outputs

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

simplify119.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1372×	`rational.json-simplify-2`
1060×	`rational.json-simplify-59`
1034×	`rational.json-simplify-19`
920×	`rational.json-simplify-51`
858×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	606
1	99	606
2	189	594
3	387	588
4	1088	588
5	3994	588
6	6355	588
7	7550	588

Stop Event

1×	node limit

Counts

32 → 22

Calls

Call 1

Inputs
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(+.f64 (.f64 x (exp.f64 (.f64 y y))) 0)
(+.f64 0 (.f64 x (exp.f64 (.f64 y y))))
(-.f64 (.f64 x (exp.f64 (.f64 y y))) 0)
(/.f64 (.f64 x (exp.f64 (.f64 y y))) 1)
(/.f64 (.f64 (exp.f64 (.f64 y y)) (+.f64 x x)) 2)
(/.f64 (.f64 x (.f64 (exp.f64 (*.f64 y y)) 4)) 4)
(/.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) 8)
(/.f64 (+.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4)))) 16)

Outputs
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 x (*.f64 (pow.f64 y 2) x))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 x (.f64 1/2 (*.f64 x (pow.f64 y 4)))))
(+.f64 x (+.f64 (.f64 x (.f64 1/2 (pow.f64 y 4))) (*.f64 (pow.f64 y 2) x)))
(+.f64 x (.f64 x (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(+.f64 (.f64 1/2 (.f64 x (pow.f64 y 4))) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 x (.f64 1/6 (*.f64 x (pow.f64 y 6))))))
(+.f64 (.f64 x (.f64 1/2 (pow.f64 y 4))) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 x (.f64 x (*.f64 1/6 (pow.f64 y 6))))))
(+.f64 x (+.f64 (.f64 x (+.f64 (pow.f64 y 2) (.f64 1/6 (pow.f64 y 6)))) (.f64 (pow.f64 y 4) (.f64 x 1/2))))
(+.f64 x (.f64 x (+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(+.f64 (.f64 x (exp.f64 (.f64 y y))) 0)
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 0 (.f64 x (exp.f64 (.f64 y y))))
(.f64 x (exp.f64 (.f64 y y)))
(-.f64 (.f64 x (exp.f64 (.f64 y y))) 0)
(.f64 x (exp.f64 (.f64 y y)))
(/.f64 (.f64 x (exp.f64 (.f64 y y))) 1)
(.f64 x (exp.f64 (.f64 y y)))
(/.f64 (.f64 (exp.f64 (.f64 y y)) (+.f64 x x)) 2)
(.f64 x (exp.f64 (.f64 y y)))
(/.f64 (.f64 x (.f64 (exp.f64 (*.f64 y y)) 4)) 4)
(.f64 x (exp.f64 (.f64 y y)))
(/.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) 8)
(.f64 x (exp.f64 (.f64 y y)))
(/.f64 (+.f64 (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 x (.f64 (exp.f64 (.f64 y y)) 4)))) 16)
(.f64 x (exp.f64 (.f64 y y)))

eval7.0ms (0.2%)

Compiler: Compiled 283 to 170 computations (39.9% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	3	23

Error

Counts

23 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
	0.7b	x

Compiler

Compiled 20 to 13 computations (35% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.0b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(*.f64 (pow.f64 y 2) x)
0.0ms	y	@	inf	(*.f64 (pow.f64 y 2) x)
0.0ms	x	@	inf	(*.f64 (pow.f64 y 2) x)
0.0ms	x	@	-inf	(*.f64 (pow.f64 y 2) x)
0.0ms	x	@	0	(*.f64 (pow.f64 y 2) x)

rewrite96.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1798×	`bool.json-1`
1798×	`bool.json-2`
1092×	`bool.json-3`
1042×	`rational.json-1`
1042×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	190	13
3	386	13
4	770	13
5	1645	13
6	3877	13
7	6972	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)

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

Outputs

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

simplify1.6s (46.9%)

Algorithm

1×	egg-herbie

Rules

7748×	`rational.json-simplify-41`
3902×	`rational.json-simplify-35`
3518×	`rational.json-simplify-2`
2106×	`rational.json-simplify-53`
746×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	143
1	89	143
2	179	143
3	419	143
4	1433	143
5	2661	143
6	3064	143
7	3174	143
8	3255	143
9	3334	143
10	3411	143
11	4106	143
12	4749	143
13	4827	143
14	4904	143
15	4981	143
16	5058	143
17	5135	143
18	5135	143
19	5135	143
20	5461	143
21	5732	143
22	6119	143
23	6453	143
24	6601	143
25	6716	143
26	6812	143
27	6891	143
28	6968	143
29	7045	143
30	7122	143
31	7199	143
32	7276	143
33	7353	143
34	7430	143
35	7507	143
36	7507	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

Inputs
(+.f64 (*.f64 (pow.f64 y 2) x) 0)
(+.f64 0 (*.f64 (pow.f64 y 2) x))
(+.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(-.f64 (*.f64 (pow.f64 y 2) x) 0)
(/.f64 (*.f64 (pow.f64 y 2) x) 1)
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) 2)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) 4)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 8)) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8)))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8)))) (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8))))) 64)

Outputs
(+.f64 (*.f64 (pow.f64 y 2) x) 0)
(*.f64 (pow.f64 y 2) x)
(+.f64 0 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 (pow.f64 y 2) (.f64 x 1/2)) (.f64 (pow.f64 y 2) (.f64 x 1/2)))
(*.f64 (pow.f64 y 2) x)
(-.f64 (*.f64 (pow.f64 y 2) x) 0)
(*.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 (pow.f64 y 2) x) 1)
(*.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 (pow.f64 y 2) (+.f64 x x)) 2)
(*.f64 (pow.f64 y 2) x)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 4)) 4)
(*.f64 (pow.f64 y 2) x)
(/.f64 (.f64 (pow.f64 y 2) (.f64 x 8)) 8)
(*.f64 (pow.f64 y 2) x)
(/.f64 (.f64 2 (.f64 (pow.f64 y 2) (*.f64 x 8))) 16)
(*.f64 (pow.f64 y 2) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8)))) 32)
(*.f64 (pow.f64 y 2) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8)))) (.f64 2 (.f64 2 (.f64 (pow.f64 y 2) (.f64 x 8))))) 64)
(*.f64 (pow.f64 y 2) x)

eval3.0ms (0.1%)

Compiler: Compiled 150 to 109 computations (27.3% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	12	3	15

Error

Counts

15 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
	0.7b	x

Compiler

Compiled 20 to 13 computations (35% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	2	2
Total	3	3

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
	0.7b	x

Compiler

Compiled 20 to 13 computations (35% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	2	2
Total	3	3

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
	0.7b	x

Compiler

Compiled 20 to 13 computations (35% saved)

regimes15.0ms (0.4%)

Accuracy

Total -0.7b remaining (-16736.1%)

Threshold costs -0.7b (-16736.1%)

Counts

3 → 1

Calls

Call 1

Inputs
x
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 (*.f64 (pow.f64 y 2) x) x)

Outputs
(.f64 x (exp.f64 (.f64 y y)))

Calls

5 calls:

4.0ms	y
3.0ms	x
3.0ms	(.f64 x (exp.f64 (.f64 y y)))
2.0ms	(*.f64 y y)
2.0ms	(exp.f64 (*.f64 y y))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(.f64 x (exp.f64 (.f64 y y)))`
0.0b	1	`(exp.f64 (*.f64 y y))`
0.0b	1	`(*.f64 y y)`

Compiler

Compiled 41 to 25 computations (39% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))
x

Outputs
(.f64 x (exp.f64 (.f64 y y)))
x

Compiler

Compiled 11 to 7 computations (36.4% saved)

soundness0.0ms (0%)

end15.0ms (0.4%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

Details

analyze92.0ms (2.6%)

sample1.1s (32.5%)

preprocess147.0ms (4.2%)

simplify130.0ms (3.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite68.0ms (1.9%)

simplify119.0ms (3.4%)

eval7.0ms (0.2%)

prune4.0ms (0.1%)

localize9.0ms (0.3%)

series2.0ms (0%)

rewrite96.0ms (2.7%)

simplify1.6s (46.9%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes15.0ms (0.4%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end15.0ms (0.4%)

Profiling