Details

sample263.0ms

Algorithm

intervals

Results

119.0ms	1769×	body	80	nan
19.0ms	256×	body	80	valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	27	16
2	58	16
3	121	16
4	296	16
5	727	16
6	1416	16
7	2489	16
8	3565	16
9	4653	16
done	5000	16

prune5.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.2b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
19×	`log-prod`
18×	`add-sqr-sqrt`
15×	`pow1`
14×	`add-log-exp`
12×	`add-cube-cbrt`
9×	`associate-+r+` `log-pow` `distribute-lft-out`
7×	`associate-+l+`
6×	`add-exp-log` `distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*l/` `sum-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`
5×	`associate-+l-` `associate-l`
4×	`log-div` `flip3-+` `diff-log` `associate-r` `frac-add` `flip-+`
2×	`+-commutative` `associate--l-` `sub-neg` `associate--l+` `difference-of-squares`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

9.0ms	(- (+ (log (+ x y)) (log z)) t)
14.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
8.0ms	(+ (log (+ x y)) (log z))

series125.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(- (+ (log (+ x y)) (log z)) t)
57.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
10.0ms	(* (- a 0.5) (log t))
19.0ms	(+ (log (+ x y)) (log z))

simplify563.0ms

Counts

114 → 114

Iterations

Useful iterations: done (552.0ms)

Iter	Nodes	Cost
0	254	1890
1	684	1767
2	2404	1643
done	5001	1632

prune193.0ms

Filtered

82 candidates to 114 candidates (-39.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	107	7	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	7	115

Merged error: 0b

Counts

115 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))
0.5b	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
0.6b	(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
38×	`pow1`
35×	`distribute-lft-out`
32×	`cbrt-prod`
30×	`cbrt-div`
22×	`add-sqr-sqrt` `log-pow`
16×	`flip3-+` `flip-+`
14×	`add-cube-cbrt`
10×	`associate-+l-` `log-div`
9×	`swap-sqr`
8×	`frac-times` `pow1/3`
7×	`associate-r` `associate-l` `pow-prod-down`
6×	`add-exp-log`
5×	`add-log-exp`
4×	`associate-r/` `associate-l/` `add-cbrt-cube` `unswap-sqr`
3×	`sum-log`
2×	`associate-+r-` `pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `associate-+l+` `associate-+r+` `log-prod` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 120

Calls

4 calls:

3.0ms	(cbrt (+ x y))
3.0ms	(cbrt (+ x y))
21.0ms	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
11.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))

series177.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (+ x y))
33.0ms	(cbrt (+ x y))
63.0ms	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
46.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))

simplify1.0s

Counts

132 → 132

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	195	2149
1	465	2018
2	1341	1731
3	4565	1455
done	5000	1444

prune214.0ms

Filtered

93 candidates to 132 candidates (-41.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	132	7	139

Merged error: 0b

Counts

139 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
0.1b	(* (- a 0.5) (log (sqrt t)))
0.1b	(* (log (sqrt t)) (- a 0.5))
0.5b	(+ (log (+ x y)) (log z))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
19×	`log-prod`
16×	`pow1`
14×	`add-cube-cbrt`
11×	`associate-r` `associate-l` `add-log-exp`
10×	`distribute-rgt-in` `distribute-lft-in` `log-pow`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-+l+` `associate-+r+`
6×	`flip3--` `associate-*r/` `sqrt-prod` `flip--`
5×	`sub-neg` `sum-log` `distribute-lft-out`
4×	`frac-add`
3×	`associate-+l-` `flip3-+` `flip-+`
2×	`+-commutative` `log-div` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`associate--l+`

Counts

4 → 115

Calls

4 calls:

14.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
9.0ms	(* (- a 0.5) (log (sqrt t)))
10.0ms	(* (log (sqrt t)) (- a 0.5))
8.0ms	(+ (log (+ x y)) (log z))

series101.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
7.0ms	(* (- a 0.5) (log (sqrt t)))
9.0ms	(* (log (sqrt t)) (- a 0.5))
16.0ms	(+ (log (+ x y)) (log z))

simplify579.0ms

Counts

127 → 127

Iterations

Useful iterations: done (575.0ms)

Iter	Nodes	Cost
0	270	1994
1	659	1874
2	2419	1757
done	5000	1755

prune185.0ms

Filtered

91 candidates to 127 candidates (-39.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	127	7	134

Merged error: 0b

Counts

134 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (log (cbrt t)) (- a 0.5)))
0.5b	(+ (log (+ x y)) (log z))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `associate-*r/`
7×	`associate-+r+` `log-prod`
6×	`cbrt-prod` `add-log-exp`
5×	`distribute-lft-out`
4×	`add-exp-log` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `frac-add` `log-pow` `add-cbrt-cube` `flip--`
3×	`flip3-+` `flip-+`
2×	`+-commutative` `associate-+l-` `log-div` `pow1/3` `sum-log`
1×	`distribute-rgt-out`

Counts

4 → 70

Calls

4 calls:

11.0ms	(+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (log (cbrt t)) (- a 0.5)))
8.0ms	(+ (log (+ x y)) (log z))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series129.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (log (cbrt t)) (- a 0.5)))
16.0ms	(+ (log (+ x y)) (log z))
24.0ms	(cbrt t)
27.0ms	(cbrt t)

simplify483.0ms

Counts

82 → 82

Iterations

Useful iterations: done (481.0ms)

Iter	Nodes	Cost
0	189	1206
1	517	1040
2	1647	922
done	5001	830

prune117.0ms

Filtered

65 candidates to 82 candidates (-26.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	82	7	89

Merged error: 0b

Counts

89 → 7

regimes1.1s

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	28
1	24	28
done	24	28

end0.0ms

sample8.2s

Algorithm

intervals

Results

3.9s	56874×	body	80	nan
609.0ms	8028×	body	80	valid

Details

sample263.0ms

simplify2.1s

prune5.0ms

localize16.0ms

rewrite42.0ms

series125.0ms

simplify563.0ms

prune193.0ms

localize21.0ms

rewrite44.0ms

series177.0ms

simplify1.0s

prune214.0ms

localize19.0ms

rewrite44.0ms

series101.0ms

simplify579.0ms

prune185.0ms

localize20.0ms

rewrite24.0ms

series129.0ms

simplify483.0ms

prune117.0ms

regimes1.1s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample8.2s

Profiling