Details

sample40.0ms

Algorithm

intervals

Results

23.0ms	313×	body	80	valid
1.0ms	3×	body	640	valid
1.0ms	3×	body	1280	valid
1.0ms	3×	body	320	valid
0.0ms	2×	body	160	valid

simplify22.6s

Counts

1 → 1

Iterations

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite2.8s

Algorithm

rewrite-expression-head

Rules

95×	`*-un-lft-identity`
66×	`distribute-lft-out`
27×	`associate-l`
23×	`add-log-exp`
14×	`sum-log`
8×	`associate-+l+`
7×	`add-sqr-sqrt`
5×	`pow1` `+-commutative` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`flip3-+` `associate-r` `flip-+` `insert-posit16`
2×	`associate-+r+` `associate-*l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 79

Calls

3 calls:

297.0ms	(+ (+ (+ y z) (+ y z)) t)
1.8s	(+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))
710.0ms	(* (+ (+ (+ y z) (+ y z)) t) x)

series215.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(+ (+ (+ y z) (+ y z)) t)
113.0ms	(+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))
68.0ms	(* (+ (+ (+ y z) (+ y z)) t) x)

simplify1.6s

Counts

88 → 88

Iterations

Iter	Nodes
done	5004
2	1119
1	285
0	110

prune406.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
62×	`distribute-lft-out`
53×	`associate-l`
33×	`associate-r`
26×	`add-sqr-sqrt`
15×	`add-log-exp`
14×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`add-cube-cbrt`
8×	`unswap-sqr`
7×	`sum-log`
6×	`associate-+r+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
4×	`+-commutative` `insert-posit16`
2×	`flip3-+` `distribute-rgt-out` `flip-+`

Counts

4 → 122

Calls

4 calls:

51.0ms	(* 2 (* x y))
46.0ms	(* 2 (* x z))
129.0ms	(+ (* t x) (* 2 (* x y)))
1.0s	(+ (* y 5.0) (+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y)))))

series222.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* 2 (* x y))
35.0ms	(* 2 (* x z))
69.0ms	(+ (* t x) (* 2 (* x y)))
92.0ms	(+ (* y 5.0) (+ (* 2 (* x z)) (+ (* t x) (* 2 (* x y)))))

simplify2.0s

Counts

134 → 134

Iterations

Iter	Nodes
done	5001
2	1834
1	481
0	169

prune577.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.5s

Algorithm

rewrite-expression-head

Rules

1933×	`*-un-lft-identity`
1400×	`distribute-lft-out`
685×	`associate-l`
543×	`cbrt-prod`
230×	`swap-sqr`
23×	`add-sqr-sqrt`
20×	`associate-r`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
8×	`add-cbrt-cube`
6×	`add-exp-log`
4×	`frac-times` `cbrt-unprod` `insert-posit16` `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`

Counts

4 → 388

Calls

4 calls:

14.2s	(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
1.7s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
1.8s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
1.7s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

series3.2s

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))))
639.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
619.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
630.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))

simplify1.9s

Counts

400 → 400

Iterations

Iter	Nodes
done	5002
2	1344
1	481
0	189

prune788.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0m

Algorithm

rewrite-expression-head

Rules

1991×	`*-un-lft-identity`
1440×	`distribute-lft-out`
983×	`associate-l`
903×	`cbrt-prod`
234×	`swap-sqr`
86×	`cbrt-div`
71×	`add-sqr-sqrt`
40×	`associate-r`
30×	`flip3-+` `flip-+` `unswap-sqr`
28×	`frac-times`
19×	`add-cube-cbrt`
14×	`associate-*l/`
8×	`associate-*r/`
5×	`*-commutative`
4×	`pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `add-log-exp`
2×	`pow3` `rem-cbrt-cube`

Counts

4 → 443

Calls

4 calls:

1.5s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
1.5s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
1.7s	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
57.3s	(cbrt (* (* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))))

series2.4s

Counts

4 → 12

Calls

4 calls:

595.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
542.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
584.0ms	(cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))
640.0ms	(cbrt (* (* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))))

simplify3.5s

Counts

455 → 455

Iterations

Iter	Nodes
done	5000
3	4969
2	1348
1	597
0	292

prune1.0s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes358.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

Iter	Nodes
done	24
1	24
0	15

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.3s	10453×	body	80	valid
37.0ms	94×	body	640	valid
31.0ms	73×	body	1280	valid
13.0ms	53×	body	320	valid
7.0ms	40×	body	160	valid