Details

sample50.0ms

Algorithm

intervals

Results

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

simplify963.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	25	12
2	46	12
3	84	12
4	145	12
5	184	12
6	237	12
7	346	12
8	540	12
9	704	12
10	745	12
11	746	12
done	746	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

localize10.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)))

rewrite17.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))))
10.0ms	(* y (+ (- 1.0 z) (log z)))

series33.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify2.0s

Counts

45 → 45

Iterations

Useful iterations: 2 (109.0ms)

Iter	Nodes	Cost
0	105	641
1	297	578
2	907	512
3	4902	512
done	5000	512

prune73.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)))

rewrite48.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:

20.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)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))
15.0ms	(cbrt (+ (- 1.0 z) (log z)))
18.0ms	(cbrt (+ (- 1.0 z) (log z)))
14.0ms	(cbrt (+ (- 1.0 z) (log z)))

simplify1.1s

Counts

143 → 143

Iterations

Useful iterations: 2 (601.0ms)

Iter	Nodes	Cost
0	307	4295
1	828	3856
2	3064	3285
done	5000	3285

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

localize15.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)))

rewrite57.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))
5.0ms	(* (log z) (log z))
14.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
21.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

series99.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (- 1.0 z) (- 1.0 z))
16.0ms	(* (log z) (log z))
21.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
60.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

simplify1.6s

Counts

161 → 161

Iterations

Useful iterations: 2 (905.0ms)

Iter	Nodes	Cost
0	316	2972
1	845	2615
2	3478	2197
done	5000	2197

prune206.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))))

rewrite66.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))))
28.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- (- 1.0 z) (log z))))

series103.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 1 (- (- 1.0 z) (log z)))
15.0ms	(* (log z) (log z))
21.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
59.0ms	(* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ 1 (- (- 1.0 z) (log z))))

simplify1.9s

Counts

193 → 193

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	370	4076
1	1009	3472
2	3877	2911
done	5000	2910

prune230.0ms

Filtered

96 candidates to 193 candidates (-101.0%)

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

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

437.0ms	9200×	body	80	valid
356.0ms	9128×	body	80	nan

Details

sample50.0ms

simplify963.0ms

prune3.0ms

localize10.0ms

rewrite17.0ms

series33.0ms

simplify2.0s

prune73.0ms

localize14.0ms

rewrite48.0ms

series74.0ms

simplify1.1s

prune359.0ms

localize15.0ms

rewrite57.0ms

series99.0ms

simplify1.6s

prune206.0ms

localize16.0ms

rewrite66.0ms

series103.0ms

simplify1.9s

prune230.0ms

regimes383.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling