Details

sample56.0ms

Algorithm

intervals

Results

15.0ms	291×	body	80	nan
11.0ms	288×	body	80	valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	12	8
2	14	8
done	14	8

prune4.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: 19.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

1.7b	(* c0 (sqrt (/ A (* V l))))
1.9b	(/ A (* V l))
18.3b	(sqrt (/ A (* V l)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`sqrt-prod`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `associate-r` `add-cbrt-cube`
9×	`times-frac`
6×	`pow1`
3×	`associate-l` `div-inv` `associate-/l*` `add-log-exp`
2×	`cbrt-undiv` `sqrt-div` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative`

Counts

3 → 66

Calls

3 calls:

8.0ms	(* c0 (sqrt (/ A (* V l))))
5.0ms	(/ A (* V l))
4.0ms	(sqrt (/ A (* V l)))

series29.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(* c0 (sqrt (/ A (* V l))))
5.0ms	(/ A (* V l))
9.0ms	(sqrt (/ A (* V l)))

simplify2.8s

Counts

75 → 75

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	104	661
1	215	611
2	596	561
3	1943	561
done	5000	561

prune153.0ms

Filtered

55 candidates to 75 candidates (-36.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	59	16	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	17	76

Merged error: 8.4b

Counts

76 → 17

localize9.0ms

Local error

Found 4 expressions with local error:

2.5b	(sqrt (sqrt (/ A (* V l))))
2.5b	(sqrt (sqrt (/ A (* V l))))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

50×	`sqrt-prod`
20×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
10×	`pow1` `sqrt-pow1`
6×	`rem-sqrt-square` `pow1/2` `sqrt-div`
4×	`add-exp-log` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

4 → 84

Calls

4 calls:

5.0ms	(sqrt (sqrt (/ A (* V l))))
5.0ms	(sqrt (sqrt (/ A (* V l))))
4.0ms	(sqrt (/ A (* V l)))
4.0ms	(sqrt (/ A (* V l)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(sqrt (sqrt (/ A (* V l))))
27.0ms	(sqrt (sqrt (/ A (* V l))))
12.0ms	(sqrt (/ A (* V l)))
10.0ms	(sqrt (/ A (* V l)))

simplify2.0s

Counts

96 → 96

Iterations

Useful iterations: 4 (319.0ms)

Iter	Nodes	Cost
0	89	910
1	143	794
2	286	762
3	644	762
4	1230	746
5	3137	746
done	5000	746

prune153.0ms

Filtered

70 candidates to 96 candidates (-37.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	2	13	15
Picked	0	1	1
Done	1	0	1
Total	97	16	113

Merged error: 8.4b

Counts

113 → 16

localize16.0ms

Local error

Found 4 expressions with local error:

2.5b	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
18.3b	(sqrt (/ A (* V l)))
21.4b	(cbrt (/ A (* V l)))
21.4b	(cbrt (/ A (* V l)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod`
11×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
8×	`pow1` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-div` `sqrt-pow1` `sqrt-div` `div-inv`
2×	`pow1/2` `pow1/3`
1×	`rem-sqrt-square` `associate-*r/` `pow-prod-down`

Counts

4 → 62

Calls

4 calls:

5.0ms	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
4.0ms	(sqrt (/ A (* V l)))
4.0ms	(cbrt (/ A (* V l)))
4.0ms	(cbrt (/ A (* V l)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
9.0ms	(sqrt (/ A (* V l)))
21.0ms	(cbrt (/ A (* V l)))
21.0ms	(cbrt (/ A (* V l)))

simplify1.5s

Counts

74 → 74

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	131	904
1	225	840
2	519	759
3	1329	747
4	3514	711
done	5000	708

prune152.0ms

Filtered

61 candidates to 74 candidates (-21.3%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	74	16	90

Merged error: 8.4b

Counts

90 → 16

localize18.0ms

Local error

Found 4 expressions with local error:

18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

28×	`sqrt-prod`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
8×	`pow1`
4×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `sqrt-div` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

4 → 72

Calls

4 calls:

4.0ms	(sqrt (/ A (* V l)))
5.0ms	(sqrt (/ A (* V l)))
5.0ms	(sqrt (/ A (* V l)))
4.0ms	(sqrt (/ A (* V l)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (/ A (* V l)))
9.0ms	(sqrt (/ A (* V l)))
9.0ms	(sqrt (/ A (* V l)))
9.0ms	(sqrt (/ A (* V l)))

simplify3.1s

Counts

84 → 84

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	43	680
1	60	608
2	95	592
3	147	592
4	186	592
5	206	592
6	227	592
7	288	592
8	496	592
9	1420	592
done	5000	592

prune103.0ms

Filtered

68 candidates to 84 candidates (-23.5%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	84	16	100

Merged error: 8.4b

Counts

100 → 16

regimes1.2s

Accuracy

44.3% (7.4b remaining)

Error of 13.7b against oracle of 6.3b and baseline of 19.6b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	50
1	36	50
done	36	50

end0.0ms

sample1.5s

Algorithm

intervals

Results

332.0ms	8906×	body	80	valid
322.0ms	8865×	body	80	nan

Details

sample56.0ms

simplify4.0ms

prune4.0ms

localize7.0ms

rewrite18.0ms

series29.0ms

simplify2.8s

prune153.0ms

localize9.0ms

rewrite21.0ms

series74.0ms

simplify2.0s

prune153.0ms

localize16.0ms

rewrite19.0ms

series94.0ms

simplify1.5s

prune152.0ms

localize18.0ms

rewrite19.0ms

series37.0ms

simplify3.1s

prune103.0ms

regimes1.2s

bsearch1.0ms

simplify3.0ms

end0.0ms

sample1.5s

Profiling