Details

analyze0.0ms (0%)

Algorithm

1×

random

Compiler

Compiled 22 to 22 computations (0% saved)

sample1.0s (95.3%)

Results

1.0s

8256×

body

256

valid

Bogosity

preprocess7.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

2× 1-exp

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1
1	20	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)

simplify11.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2× 1-exp

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1
1	20	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)

simplify4.0ms (0.4%)

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)

soundness14.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2× 1-exp

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1
1	20	1

Stop Event

1×

saturated

Compiler

Compiled 121 to 121 computations (0% saved)

end11.0ms (1%)

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

Details

analyze0.0ms (0%)

sample1.0s (95.3%)

preprocess7.0ms (0.6%)

simplify11.0ms (1%)

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

simplify4.0ms (0.4%)

soundness14.0ms (1.3%)

end11.0ms (1%)

Profiling