Details

sample68.0ms

Algorithm

intervals

Results

34.0ms	328×	body	80	valid
2.0ms	6×	body	1280	valid
1.0ms	4×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

simplify29.3s

Counts

1 → 1

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	12	285
1	30	245
2	82	245
3	219	245
4	545	245
5	998	245
6	1255	245
7	1348	245
8	1435	245
9	1472	245
10	1558	245
11	1588	245
12	1673	245
13	1706	245
14	1786	245
15	1819	245
16	1899	245
17	1932	245
18	2012	245
19	2045	245
20	2125	245
21	2158	245
22	2238	245
23	2271	245
24	2351	245
25	2384	245
26	2464	245
27	2497	245
28	2577	245
29	2610	245
30	2690	245
31	2723	245
32	2803	245
33	2836	245
34	2916	245
35	2949	245
36	3029	245
37	3062	245
38	3142	245
39	3175	245
40	3255	245
41	3288	245
42	3368	245
43	3401	245
44	3481	245
45	3514	245
46	3594	245
47	3627	245
48	3707	245
49	3740	245
50	3820	245
51	3853	245
52	3933	245
53	3966	245
54	4046	245
55	4079	245
56	4159	245
57	4192	245
58	4272	245
59	4305	245
60	4385	245
61	4418	245
62	4498	245
63	4531	245
64	4611	245
65	4644	245
66	4724	245
67	4757	245
68	4837	245
69	4870	245
70	4950	245
71	4977	245
done	5000	245

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))
0.0b	(* (+ (+ (+ y z) (+ y z)) t) x)

rewrite789.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
13×	`distribute-lft-out`
8×	`associate-l`
6×	`add-sqr-sqrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`associate-r`
2×	`flip3-+` `associate-*l/` `flip-+`
1×	`+-commutative` `sum-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

120.0ms	(+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))
667.0ms	(* (+ (+ (+ y z) (+ y z)) t) x)

series130.0ms

Counts

2 → 6

Calls

2 calls:

78.0ms	(+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))
52.0ms	(* (+ (+ (+ y z) (+ y z)) t) x)

simplify1.4s

Counts

42 → 42

Iterations

Useful iterations: 2 (254.0ms)

Iter	Nodes	Cost
0	75	11265
1	216	10602
2	967	10522
done	5001	10522

prune236.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 2 (* x y))
0.0b	(+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y))))
0.0b	(+ (* y 5.0) (+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y)))))
0.0b	(+ (* t x) (* 2 (* x y)))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
10×	`sum-log`
9×	`pow1` `add-cbrt-cube` `add-exp-log`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
3×	`+-commutative` `flip3-+` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`associate-+r+`
1×	`associate-r` `*-commutative`

Counts

4 → 56

Calls

4 calls:

21.0ms	(* 2 (* x y))
23.0ms	(+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y))))
66.0ms	(+ (* y 5.0) (+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y)))))
12.0ms	(+ (* t x) (* 2 (* x y)))

series268.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* 2 (* x y))
72.0ms	(+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y))))
104.0ms	(+ (* y 5.0) (+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y)))))
64.0ms	(+ (* t x) (* 2 (* x y)))

simplify2.0s

Counts

68 → 68

Iterations

Useful iterations: 2 (524.0ms)

Iter	Nodes	Cost
0	112	20636
1	349	17663
2	1545	16422
done	5003	16422

prune437.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

41.0ms	(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
6.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

series2.8s

Counts

4 → 12

Calls

4 calls:

1.3s	(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
550.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
434.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
487.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

simplify2.1s

Counts

99 → 99

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	184	56651
1	460	52915
2	1264	52716
done	5000	51676

prune785.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
0.6b	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `cbrt-div` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `flip3-+` `add-cbrt-cube` `pow1/3` `add-exp-log` `flip-+` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
4.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

series2.1s

Counts

4 → 12

Calls

4 calls:

473.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
505.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
531.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
591.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

simplify2.6s

Counts

64 → 64

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	99	36980
1	250	35452
2	705	35292
3	3390	34336
done	5001	34336

prune724.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0.0b

regimes533.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	366
1	24	366
done	24	366

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.2s	10609×	body	80	valid
76.0ms	62×	body	320	valid
63.0ms	92×	body	640	valid
35.0ms	115×	body	1280	valid
8.0ms	41×	body	160	valid