Details

analyze0.0ms (0%)

Algorithm

1×

random

Compiler

Compiled 22 to 22 computations (0% saved)

sample1.2s (88.1%)

Results

1.2s

8256×

body

256

valid

preprocess91.0ms (6.8%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	1
1	18	1
0	0	0

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs

Outputs

Call 2

Inputs
(.f64 2 (+.f64 (+.f64 (.f64 1 (/.f64 1 9)) (.f64 (/.f64 1 9) (/.f64 1 9))) (.f64 (/.f64 1 9) 1)))

Outputs
(.f64 2 (+.f64 (+.f64 (.f64 1 (/.f64 1 9)) (.f64 (/.f64 1 9) (/.f64 1 9))) (.f64 (/.f64 1 9) 1)))
38/81

Compiler

Compiled 21 to 21 computations (0% saved)

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	1
1	18	1

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 2 (+.f64 (+.f64 (.f64 1 (/.f64 1 9)) (.f64 (/.f64 1 9) (/.f64 1 9))) (.f64 (/.f64 1 9) 1)))

Outputs
(.f64 2 (+.f64 (+.f64 (.f64 1 (/.f64 1 9)) (.f64 (/.f64 1 9) (/.f64 1 9))) (.f64 (/.f64 1 9) 1)))
38/81

eval1.0ms (0.1%)

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

prune0.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	38/81

Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	38/81

Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	38/81

Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	38/81

Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	38/81

Compiler

Compiled 23 to 23 computations (0% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
38/81

Outputs
38/81

Compiler

Compiled 1 to 1 computations (0% saved)

soundness48.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	1
1	18	1

Stop Event

1×

saturated

Compiler

Compiled 121 to 121 computations (0% saved)

end10.0ms (0.7%)

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

Details

analyze0.0ms (0%)

sample1.2s (88.1%)

preprocess91.0ms (6.8%)

simplify6.0ms (0.5%)

eval1.0ms (0.1%)

prune0.0ms (0%)

eval0.0ms (0%)

prune0.0ms (0%)

eval0.0ms (0%)

prune0.0ms (0%)

eval0.0ms (0%)

prune0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify2.0ms (0.1%)

soundness48.0ms (3.5%)

end10.0ms (0.7%)

Profiling