Details

analyze37.0ms (1.8%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	4
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	5
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	6
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	7
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	8
82%	82%	18%	0.1%	0%	0%	0%	9
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	10
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	11
93.8%	93.8%	6.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample962.0ms (46.2%)

Results

950.0ms

8256×

body

256

valid

Bogosity

preprocess151.0ms (7.2%)

Algorithm

2×	egg-herbie

Rules

3662×	`rational.json-simplify-35`
2606×	`rational.json-simplify-51`
2304×	`rational.json-simplify-44`
1804×	`rational.json-simplify-2`
1482×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	24	34
2	46	34
3	86	34
4	168	34
5	331	34
6	748	34
7	1109	34
8	1394	34
9	1771	34
10	2113	34
11	2625	34
12	3381	34
13	3767	34
14	3945	34
15	5617	34
16	5813	34
17	5813	34
18	6687	34
19	7543	34
20	7955	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(cbrt.f64 (/.f64 a (*.f64 2 g)))

Outputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(cbrt.f64 (/.f64 (/.f64 g 2) a))
(cbrt.f64 (/.f64 a (*.f64 2 g)))
(cbrt.f64 (/.f64 (/.f64 a 2) g))
(cbrt.f64 (/.f64 a (*.f64 g 2)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify171.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

2908×	`rational.json-simplify-35`
2046×	`rational.json-simplify-2`
1830×	`rational.json-simplify-47`
1368×	`rational.json-simplify-1`
938×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	15	17
2	28	17
3	50	17
4	97	17
5	190	17
6	431	17
7	1065	17
8	1604	17
9	2469	17
10	2902	17
11	3486	17
12	4423	17
13	4953	17
14	5387	17
15	5668	17
16	5668	17
17	7025	17
18	7025	17
19	7025	17
20	7866	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

Outputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(cbrt.f64 (/.f64 (/.f64 g a) 2))

eval0.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

16.5b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	16.5b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 8 to 6 computations (25% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	16.0b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 19 to 12 computations (36.8% saved)

series3.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	g	@	0	(cbrt.f64 (/.f64 g (*.f64 2 a)))
0.0ms	a	@	-inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
0.0ms	a	@	inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
0.0ms	g	@	-inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
0.0ms	g	@	inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite77.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1818×	`bool.json-1`
1818×	`bool.json-2`
1768×	`rational.json-1`
1452×	`bool.json-3`
866×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	92	17
2	286	17
3	741	17
4	1989	17
5	5559	17

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

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

Outputs

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

simplify652.0ms (31.3%)

Algorithm

1×	egg-herbie

Rules

5550×	`rational.json-simplify-41`
2174×	`rational.json-simplify-49`
1938×	`rational.json-simplify-35`
870×	`rational.json-simplify-2`
668×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	255
1	70	255
2	135	255
3	346	255
4	801	255
5	1673	255
6	2173	255
7	2232	255
8	2276	255
9	2310	255
10	2340	255
11	2369	255
12	2398	255
13	2427	255
14	2456	255
15	2485	255
16	2514	255
17	2543	255
18	2572	255
19	2601	255
20	3180	255
21	3214	255
22	3247	255
23	3278	255
24	3308	255
25	3338	255
26	3474	255
27	3504	255
28	3534	255
29	3564	255
30	3594	255
31	3624	255
32	3654	255
33	3684	255
34	3714	255
35	3744	255
36	3774	255
37	3804	255
38	3834	255
39	3864	255
40	3894	255

Stop Event

1×	node limit

Counts

15 → 16

Calls

Call 1

Inputs
(+.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 0)
(+.f64 0 (cbrt.f64 (/.f64 g (+.f64 a a))))
(-.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 0)
(*.f64 2 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2))
(.f64 2 (.f64 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2) 1))
(*.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 1)
(*.f64 1 (cbrt.f64 (/.f64 g (+.f64 a a))))
(.f64 (.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))) 1/2)
(.f64 1/2 (.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))))
(*.f64 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2) 2)
(/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 1)
(/.f64 (*.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))) 2)
(/.f64 (*.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4) 4)
(/.f64 (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4)) (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4))) 16)

Outputs
(+.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 0)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(+.f64 0 (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(-.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 0)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 2 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(.f64 2 (.f64 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2) 1))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 1)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 1 (cbrt.f64 (/.f64 g (+.f64 a a))))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(.f64 (.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))) 1/2)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(.f64 1/2 (.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))))
(cbrt.f64 (/.f64 g (+.f64 a a)))
(*.f64 (/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 2) 2)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 1)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (*.f64 2 (cbrt.f64 (/.f64 g (+.f64 a a)))) 2)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (*.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4) 4)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4)) 8)
(cbrt.f64 (/.f64 g (+.f64 a a)))
(/.f64 (+.f64 (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4)) (.f64 2 (.f64 (cbrt.f64 (/.f64 g (+.f64 a a))) 4))) 16)
(cbrt.f64 (/.f64 g (+.f64 a a)))

eval2.0ms (0.1%)

Compiler: Compiled 163 to 64 computations (60.7% saved)

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	16	0	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	1	17

Error

16.5b

Counts

17 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	16.5b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 16 to 12 computations (25% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

Outputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end14.0ms (0.7%)

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

Details

analyze37.0ms (1.8%)

sample962.0ms (46.2%)

preprocess151.0ms (7.2%)

simplify171.0ms (8.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.4%)

series3.0ms (0.2%)

rewrite77.0ms (3.7%)

simplify652.0ms (31.3%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

simplify1.0ms (0.1%)

soundness0.0ms (0%)

end14.0ms (0.7%)

Profiling