Details

sample197.0ms

Algorithm

intervals

Results

97.0ms	773×	body	80	nan
21.0ms	180×	body	80	valid
15.0ms	25×	body	640	valid
12.0ms	9×	body	1280	valid
11.0ms	28×	body	320	valid
4.0ms	15×	body	160	valid

simplify1.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
79	1982
78	1959
77	1931
76	1910
75	1880
74	1859
73	1831
72	1808
71	1780
70	1759
69	1729
68	1708
67	1680
66	1657
65	1629
64	1608
63	1578
62	1557
61	1529
60	1506
59	1478
58	1457
57	1427
56	1406
55	1378
54	1355
53	1327
52	1306
51	1276
50	1255
49	1227
48	1204
47	1176
46	1155
45	1125
44	1104
43	1076
42	1051
41	1023
40	1002
39	972
38	951
37	923
36	900
35	872
34	851
33	821
32	800
31	772
30	747
29	719
28	698
27	668
26	647
25	619
24	596
23	568
22	547
21	517
20	496
19	468
18	445
17	417
16	396
15	364
14	342
13	318
12	306
11	273
10	214
9	138
8	92
7	68
6	57
5	47
4	39
3	37
2	30
1	21
0	12

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
4.7b	(log (- 1.0 y))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`log-prod` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `associate-r`
6×	`associate-l`
4×	`insert-posit16` `distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`sum-log` `sub-neg` `rem-log-exp` `associate--l+`

Counts

4 → 90

Calls

4 calls:

34.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
10.0ms	(* z (log (- 1.0 y)))
10.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

series318.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
83.0ms	(* z (log (- 1.0 y)))
51.0ms	(* x (log y))
61.0ms	(log (- 1.0 y))

simplify733.0ms

Counts

102 → 102

Iterations

Iter	Nodes
done	2008
2	1149
1	466
0	213

prune412.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (log y)) (- (- (* (log 1.0) z) (/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))) (* (* 1.0 y) z)))
0.3b	(* x (log y))
0.3b	(* (/ 1.0 y) (/ 1.0 y))
7.2b	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-cbrt-cube` `add-exp-log`
52×	`add-sqr-sqrt`
41×	`times-frac`
38×	`*-un-lft-identity` `add-cube-cbrt`
22×	`cbrt-undiv` `div-exp`
18×	`prod-exp` `cbrt-unprod`
17×	`associate-r`
16×	`associate-l`
14×	`pow1`
13×	`swap-sqr` `add-log-exp`
12×	`log-prod`
6×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
5×	`div-inv` `unswap-sqr`
4×	`associate-+r+` `insert-posit16`
3×	`sum-log` `diff-log` `associate-/r/`
2×	`frac-times` `sub-neg` `pow-prod-down` `associate-l/` `associate--l+` `associate-r/` `*-commutative`
1×	`pow2` `+-commutative` `clear-num` `associate-+r-` `associate-/r` `frac-2neg` `flip3-+` `pow-plus` `pow-sqr` `log-pow` `pow-prod-up` `flip-+` `associate-/l`

Counts

4 → 156

Calls

4 calls:

77.0ms	(+ (* x (log y)) (- (- (* (log 1.0) z) (/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))) (* (* 1.0 y) z)))
6.0ms	(* x (log y))
12.0ms	(* (/ 1.0 y) (/ 1.0 y))
15.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

series262.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(+ (* x (log y)) (- (- (* (log 1.0) z) (/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))) (* (* 1.0 y) z)))
49.0ms	(* x (log y))
38.0ms	(* (/ 1.0 y) (/ 1.0 y))
39.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

simplify597.0ms

Counts

168 → 168

Iterations

Iter	Nodes
done	2000
1	809
0	264

prune902.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
7.2b	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-cbrt-cube` `add-exp-log`
18×	`cbrt-undiv` `div-exp`
13×	`prod-exp` `cbrt-unprod`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`pow1/3` `associate-/r/`
1×	`frac-times` `clear-num` `associate-/r` `frac-2neg` `times-frac` `associate-l/` `associate-r/` `div-inv` `associate-/l`

Counts

4 → 73

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
14.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

series763.0ms

Counts

4 → 12

Calls

4 calls:

248.0ms	(cbrt y)
238.0ms	(cbrt y)
244.0ms	(cbrt y)
33.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

simplify516.0ms

Counts

85 → 85

Iterations

Iter	Nodes
done	2011
2	1257
1	310
0	110

prune454.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
5.1b	(pow y 1/3)
7.2b	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-exp-log`
45×	`add-cbrt-cube`
18×	`cbrt-undiv` `div-exp`
13×	`prod-exp` `cbrt-unprod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-prod`
5×	`pow1`
4×	`insert-posit16` `add-log-exp`
3×	`pow-unpow` `unpow-prod-down` `associate-/r/`
2×	`pow1/3`
1×	`frac-times` `pow-to-exp` `clear-num` `associate-/r` `pow-pow` `frac-2neg` `times-frac` `unpow1/3` `associate-l/` `pow-exp` `associate-r/` `div-inv` `associate-/l` `sqr-pow`

Counts

4 → 80

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)
17.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

series736.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(cbrt y)
207.0ms	(cbrt y)
258.0ms	(pow y 1/3)
49.0ms	(/ (* z 1/2) (* (/ 1.0 y) (/ 1.0 y)))

simplify766.0ms

Counts

92 → 92

Iterations

Iter	Nodes
done	2003
2	1828
1	389
0	138

prune741.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes275.0ms

Accuracy

0% (0.1b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 0.3b

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	26
1	26
0	20

end0.0ms

sample6.6s

Algorithm

intervals

Results

3.7s	23412×	body	80	nan
758.0ms	5598×	body	80	valid
486.0ms	853×	body	640	valid
407.0ms	409×	body	1280	valid
286.0ms	704×	body	320	valid
109.0ms	470×	body	160	valid