Details

sample52.0ms

Algorithm

intervals

Results

14.0ms	304×	body	80	valid
11.0ms	281×	body	80	nan

simplify3.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	25	12
2	47	12
3	85	12
4	146	12
5	191	12
6	244	12
7	353	12
8	554	12
9	815	12
10	1053	12
11	1266	12
12	1382	12
13	1517	12
14	1746	12
15	1862	12
16	1997	12
17	2226	12
18	2342	12
19	2477	12
20	2706	12
21	2822	12
22	2957	12
23	3186	12
24	3302	12
25	3437	12
26	3666	12
27	3782	12
28	3917	12
29	4146	12
30	4262	12
31	4397	12
32	4626	12
33	4742	12
34	4877	12
done	5000	12

prune3.0ms

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

Merged error: 0.0b

Counts

2 → 1

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.1b	(* y (+ (- 1.0 z) (log z)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 39

Calls

2 calls:

6.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
11.0ms	(* y (+ (- 1.0 z) (log z)))

series31.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
15.0ms	(* y (+ (- 1.0 z) (log z)))

simplify389.0ms

Counts

45 → 45

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	105	641
1	308	578
2	1025	512
done	5000	512

prune68.0ms

Filtered

32 candidates to 45 candidates (-40.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	42	3	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	4	46

Merged error: 0.0b

Counts

46 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))
0.5b	(cbrt (+ (- 1.0 z) (log z)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 131

Calls

4 calls:

24.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))
7.0ms	(cbrt (+ (- 1.0 z) (log z)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))

simplify706.0ms

Counts

143 → 143

Iterations

Useful iterations: 2 (314.0ms)

Iter	Nodes	Cost
0	307	4295
1	832	3916
2	3236	3283
done	5000	3283

prune361.0ms

Filtered

77 candidates to 143 candidates (-85.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	143	4	147

Merged error: 0.0b

Counts

147 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1.0 z) (- 1.0 z))
0.5b	(* (log z) (log z))
5.8b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
7.6b	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

50×	`*-un-lft-identity`
36×	`add-sqr-sqrt`
30×	`pow1`
18×	`add-cube-cbrt` `distribute-lft-out--`
15×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube`
13×	`swap-sqr` `associate-r`
12×	`associate-l`
10×	`log-pow`
9×	`flip3--` `flip--`
8×	`sub-neg` `times-frac` `associate--l+` `associate-/r*`
7×	`difference-of-squares`
6×	`log-prod` `associate-*r/`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `*-commutative` `unswap-sqr`
2×	`cbrt-undiv` `pow2` `pow-plus` `div-exp` `associate-*l/` `associate-/r/` `pow-sqr` `pow-prod-up` `associate-/l/`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 149

Calls

4 calls:

10.0ms	(* (- 1.0 z) (- 1.0 z))
6.0ms	(* (log z) (log z))
15.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
22.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

series103.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (- 1.0 z) (- 1.0 z))
16.0ms	(* (log z) (log z))
22.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
62.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

simplify867.0ms

Counts

161 → 161

Iterations

Useful iterations: done (861.0ms)

Iter	Nodes	Cost
0	316	2972
1	867	2625
2	3850	2249
done	5000	2245

prune215.0ms

Filtered

88 candidates to 161 candidates (-83.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	161	4	165

Merged error: 0b

Counts

165 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (- (- 1.0 z) (log z)))
0.5b	(* (log z) (log z))
5.8b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
7.5b	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- (- 1.0 z) (log z))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

95×	`*-un-lft-identity`
55×	`add-sqr-sqrt`
48×	`times-frac`
42×	`distribute-lft-out--`
39×	`pow1`
38×	`associate-r`
37×	`add-cube-cbrt`
34×	`add-exp-log`
22×	`add-cbrt-cube`
20×	`log-pow`
14×	`prod-exp`
13×	`distribute-rgt-in` `distribute-lft-in`
8×	`associate-l` `associate--l+` `associate-/r*` `cbrt-unprod` `difference-of-squares`
7×	`associate-*r/`
6×	`sub-neg` `log-prod` `swap-sqr` `div-exp`
5×	`flip3--` `pow-prod-down` `flip--`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `1-exp` `-commutative` `associate-/l`
2×	`frac-times` `associate-*l/` `div-inv` `unswap-sqr`
1×	`pow2` `pow-flip` `frac-2neg` `pow-plus` `clear-num` `pow-sqr` `un-div-inv` `pow-prod-up` `inv-pow`

Counts

4 → 181

Calls

4 calls:

10.0ms	(/ 1 (- (- 1.0 z) (log z)))
6.0ms	(* (log z) (log z))
14.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
26.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- (- 1.0 z) (log z))))

series107.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 1 (- (- 1.0 z) (log z)))
20.0ms	(* (log z) (log z))
22.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
58.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- (- 1.0 z) (log z))))

simplify906.0ms

Counts

193 → 193

Iterations

Useful iterations: done (900.0ms)

Iter	Nodes	Cost
0	370	4076
1	1025	3540
2	4586	2917
done	5000	2911

prune243.0ms

Filtered

98 candidates to 193 candidates (-96.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	193	4	197

Merged error: 0b

Counts

197 → 4

regimes403.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	12
1	15	12
done	15	12

end0.0ms

sample1.5s

Algorithm

intervals

Results

438.0ms	9200×	body	80	valid
385.0ms	9128×	body	80	nan

Details

sample52.0ms

simplify3.5s

prune3.0ms

localize15.0ms

rewrite18.0ms

series31.0ms

simplify389.0ms

prune68.0ms

localize14.0ms

rewrite52.0ms

series77.0ms

simplify706.0ms

prune361.0ms

localize14.0ms

rewrite58.0ms

series103.0ms

simplify867.0ms

prune215.0ms

localize16.0ms

rewrite69.0ms

series107.0ms

simplify906.0ms

prune243.0ms

regimes403.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling