Details

sample253.0ms

Algorithm

intervals

Results

113.0ms	1769×	body	80	nan
24.0ms	256×	body	80	valid

simplify5.2s

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	667	16
6	1155	16
7	1891	16
8	2078	16
9	2081	16
done	2081	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

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

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

8.0ms	(- (+ (log (+ x y)) (log z)) t)
19.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
7.0ms	(+ (log (+ x y)) (log z))

series121.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(- (+ (log (+ x y)) (log z)) t)
60.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
11.0ms	(* (- a 0.5) (log t))
15.0ms	(+ (log (+ x y)) (log z))

simplify808.0ms

Counts

114 → 114

Iterations

Useful iterations: done (805.0ms)

Iter	Nodes	Cost
0	254	1890
1	673	1757
2	2273	1626
done	5000	1618

prune187.0ms

Filtered

81 candidates to 114 candidates (-40.7%)

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

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

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

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

series180.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(cbrt (+ x y))
34.0ms	(cbrt (+ x y))
64.0ms	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
43.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))

simplify1.9s

Counts

132 → 132

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	195	2149
1	458	1894
2	1214	1565
3	4158	1423
done	5001	1422

prune373.0ms

Filtered

87 candidates to 132 candidates (-51.7%)

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

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

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

series98.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
8.0ms	(* (- a 0.5) (log (sqrt t)))
12.0ms	(* (log (sqrt t)) (- a 0.5))
15.0ms	(+ (log (+ x y)) (log z))

simplify753.0ms

Counts

127 → 127

Iterations

Useful iterations: done (749.0ms)

Iter	Nodes	Cost
0	270	1994
1	653	1862
2	2236	1742
done	5000	1740

prune175.0ms

Filtered

90 candidates to 127 candidates (-41.1%)

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

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

rewrite26.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))
4.0ms	(cbrt t)
1.0ms	(cbrt t)

series126.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (log (cbrt t)) (- a 0.5)))
15.0ms	(+ (log (+ x y)) (log z))
24.0ms	(cbrt t)
24.0ms	(cbrt t)

simplify713.0ms

Counts

82 → 82

Iterations

Useful iterations: done (711.0ms)

Iter	Nodes	Cost
0	189	1206
1	517	1040
2	1584	919
done	5002	829

prune116.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.0s

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

sample7.9s

Algorithm

intervals

Results

3.7s	56874×	body	80	nan
589.0ms	8028×	body	80	valid

Details

sample253.0ms

simplify5.2s

prune5.0ms

localize15.0ms

rewrite46.0ms

series121.0ms

simplify808.0ms

prune187.0ms

localize25.0ms

rewrite46.0ms

series180.0ms

simplify1.9s

prune373.0ms

localize19.0ms

rewrite41.0ms

series98.0ms

simplify753.0ms

prune175.0ms

localize21.0ms

rewrite26.0ms

series126.0ms

simplify713.0ms

prune116.0ms

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.9s

Profiling