Details

Time bar (total: 7.3s)

sample58.0ms

Algorithm
intervals
Results
11.0ms288×body80valid
11.0ms291×body80nan

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
088
1128
2148
done148

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

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

series30.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(* c0 (sqrt (/ A (* V l))))
5.0ms
(/ A (* V l))
10.0ms
(sqrt (/ A (* V l)))

simplify607.0ms

Counts
75 → 75
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0104661
1217613
2651561
32152561
done5001561

prune154.0ms

Filtered
55 candidates to 75 candidates (-36.4%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New591675
Fresh000
Picked011
Done000
Total591776

Merged error: 8.4b

Counts
76 → 17

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

rewrite23.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:
27.0ms
(sqrt (sqrt (/ A (* V l))))
28.0ms
(sqrt (sqrt (/ A (* V l))))
10.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))

simplify986.0ms

Counts
96 → 96
Iterations

Useful iterations: 4 (176.0ms)

IterNodesCost
089910
1143800
2311762
3720762
41745746
54711746
done5000746

prune157.0ms

Filtered
72 candidates to 96 candidates (-33.3%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New94296
Fresh21315
Picked011
Done101
Total9716113

Merged error: 8.4b

Counts
113 → 16

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

rewrite20.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:
6.0ms
(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
5.0ms
(sqrt (/ A (* V l)))
4.0ms
(cbrt (/ A (* V l)))
4.0ms
(cbrt (/ A (* V l)))

series96.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
9.0ms
(sqrt (/ A (* V l)))
22.0ms
(cbrt (/ A (* V l)))
21.0ms
(cbrt (/ A (* V l)))

simplify891.0ms

Counts
74 → 74
Iterations

Useful iterations: 4 (397.0ms)

IterNodesCost
0131904
1225840
2552759
31409747
43811711
done5000711

prune150.0ms

Filtered
59 candidates to 74 candidates (-25.4%)
Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New74074
Fresh01414
Picked011
Done011
Total741690

Merged error: 8.4b

Counts
90 → 16

localize16.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)))
4.0ms
(sqrt (/ A (* V l)))
4.0ms
(sqrt (/ A (* V l)))
4.0ms
(sqrt (/ A (* V l)))

series41.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))
12.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))

simplify1.1s

Counts
84 → 84
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
043680
160608
295592
3147592
4188592
5210592
6234592
7297592
8515592
91471592
done5000592

prune104.0ms

Filtered
68 candidates to 84 candidates (-23.5%)
Pruning

16 alts after pruning (13 fresh and 3 done)

PrunedKeptTotal
New84084
Fresh01313
Picked011
Done022
Total8416100

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)

IterNodesCost
02750
13650
done3650

end0.0ms

sample1.6s

Algorithm
intervals
Results
351.0ms8906×body80valid
343.0ms8865×body80nan

Profiling

Loading profile data...