Details

analyze428.0ms (10.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%	74.9%	0.1%	0%	25%	0%	4
16.7%	12.5%	62.4%	0.1%	0%	25%	0%	5
30%	18.7%	43.7%	0.1%	0%	37.5%	0%	6
45%	28.1%	34.3%	0.1%	0%	37.5%	0%	7
58.3%	32.8%	23.4%	0.1%	0%	43.7%	0%	8
66.7%	36.7%	18.3%	0.1%	1.2%	43.7%	0%	9
76.2%	39.4%	12.3%	0.1%	1.4%	46.8%	0%	10
81.5%	41.6%	9.5%	0.1%	2%	46.8%	0%	11
87.2%	43%	6.3%	0.1%	2.2%	48.4%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample2.3s (53.9%)

Results

2.2s	8253×	body	256	valid
29.0ms	261×	body	256	invalid
16.0ms	173×	body	256	infinite
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess10.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

4×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	46
1	18	46
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
(+.f64 (-.f64 1 y) (*.f64 x (sqrt.f64 y)))

Outputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))
(+.f64 (-.f64 1 y) (*.f64 x (sqrt.f64 y)))

Compiler

Compiled 12 to 9 computations (25% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	12	23

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

Outputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% 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.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 y (sqrt.f64 x))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series36.0ms (0.9%)

Counts

1 → 0

Calls

6 calls:

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

rewrite92.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`bool.json-1`
1622×	`bool.json-2`
1588×	`rational.json-1`
1588×	`rational.json-2`
1140×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	69	11
2	194	11
3	403	11
4	809	11
5	1739	11
6	3713	11
7	6672	11

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 y (sqrt.f64 x))

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

Outputs

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

simplify1.4s (31.9%)

Algorithm

1×	egg-herbie

Rules

7720×	`rational.json-simplify-41`
3446×	`rational.json-simplify-35`
2974×	`rational.json-simplify-2`
1872×	`rational.json-simplify-53`
736×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	121
1	90	121
2	185	121
3	454	121
4	1422	121
5	2609	121
6	3175	121
7	3269	121
8	3333	121
9	3395	121
10	3456	121
11	3941	121
12	4469	121
13	4674	121
14	4828	121
15	4889	121
16	4950	121
17	5011	121
18	5072	121
19	5133	121
20	5194	121
21	5194	121
22	5419	121
23	5581	121
24	5667	121
25	5735	121
26	5796	121
27	5857	121
28	5918	121
29	5979	121
30	6040	121
31	6101	121
32	6162	121
33	6499	121
34	6560	121
35	6621	121
36	6682	121
37	6743	121

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

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

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

eval3.0ms (0.1%)

Compiler: Compiled 160 to 103 computations (35.6% saved)

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	1	13

Error

0.1b

Counts

13 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

Compiler

Compiled 20 to 14 computations (30% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

Outputs
(+.f64 (-.f64 1 x) (*.f64 y (sqrt.f64 x)))

Compiler

Compiled 10 to 7 computations (30% saved)

soundness0.0ms (0%)

end13.0ms (0.3%)

Compiler: Compiled 10 to 7 computations (30% saved)

Details

analyze428.0ms (10.1%)

sample2.3s (53.9%)

preprocess10.0ms (0.2%)

simplify7.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series36.0ms (0.9%)

rewrite92.0ms (2.2%)

simplify1.4s (31.9%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

soundness0.0ms (0%)

end13.0ms (0.3%)

Profiling