Details

Time bar (total: 16.0s)

sample47.0ms

Algorithm
intervals
Results
13.0ms281×body80valid
12.0ms304×body80nan

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done12
112
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.4b

localize22.0ms

Local error

Found 3 expressions with local error:

1.2b
(* c0 (sqrt (/ A (* V l))))
6.2b
(/ A (* V l))
16.1b
(sqrt (/ A (* V l)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
6×pow1
3×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
3 → 75
Calls
3 calls:
39.0ms
(* c0 (sqrt (/ A (* V l))))
26.0ms
(/ A (* V l))
6.0ms
(sqrt (/ A (* V l)))

series149.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(* c0 (sqrt (/ A (* V l))))
21.0ms
(/ A (* V l))
56.0ms
(sqrt (/ A (* V l)))

simplify2.3s

Counts
84 → 84
Iterations
IterNodes
done5007
33034
2714
1230
0114

prune473.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.3b

localize22.0ms

Local error

Found 3 expressions with local error:

1.2b
(* c0 (sqrt (* (/ 1 V) (/ A l))))
3.5b
(* (/ 1 V) (/ A l))
16.1b
(sqrt (* (/ 1 V) (/ A l)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
27×add-exp-log
25×times-frac
21×*-un-lft-identity
19×add-cube-cbrt
17×add-cbrt-cube associate-*r*
16×associate-*l*
10×pow1
9×prod-exp
8×div-exp
7×unswap-sqr
6×sqrt-div associate-*r/
5×cbrt-unprod
4×cbrt-undiv
3×expm1-log1p-u frac-times pow-prod-down associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp sqrt-pow1 1-exp *-commutative sqrt-prod div-inv
1×pow1/2
Counts
3 → 101
Calls
3 calls:
26.0ms
(* c0 (sqrt (* (/ 1 V) (/ A l))))
27.0ms
(* (/ 1 V) (/ A l))
15.0ms
(sqrt (* (/ 1 V) (/ A l)))

series180.0ms

Counts
3 → 9
Calls
3 calls:
76.0ms
(* c0 (sqrt (* (/ 1 V) (/ A l))))
26.0ms
(* (/ 1 V) (/ A l))
78.0ms
(sqrt (* (/ 1 V) (/ A l)))

simplify2.7s

Counts
110 → 110
Iterations
IterNodes
done5003
34712
21336
1441
0171

prune614.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.0b

localize23.0ms

Local error

Found 3 expressions with local error:

1.2b
(* (sqrt (* (/ 1 V) (/ A l))) c0)
3.5b
(* (/ 1 V) (/ A l))
16.1b
(sqrt (* (/ 1 V) (/ A l)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
27×add-exp-log
25×times-frac
21×*-un-lft-identity
19×add-cube-cbrt
17×add-cbrt-cube associate-*l*
16×associate-*r*
10×pow1
9×prod-exp
8×div-exp
7×unswap-sqr
6×sqrt-div associate-*l/
5×cbrt-unprod
4×cbrt-undiv
3×expm1-log1p-u frac-times pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp sqrt-pow1 1-exp *-commutative sqrt-prod div-inv
1×pow1/2
Counts
3 → 101
Calls
3 calls:
40.0ms
(* (sqrt (* (/ 1 V) (/ A l))) c0)
22.0ms
(* (/ 1 V) (/ A l))
8.0ms
(sqrt (* (/ 1 V) (/ A l)))

series256.0ms

Counts
3 → 9
Calls
3 calls:
160.0ms
(* (sqrt (* (/ 1 V) (/ A l))) c0)
21.0ms
(* (/ 1 V) (/ A l))
75.0ms
(sqrt (* (/ 1 V) (/ A l)))

simplify2.4s

Counts
110 → 110
Iterations
IterNodes
done5001
34055
21257
1448
0172

prune621.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 5.0b

localize26.0ms

Local error

Found 3 expressions with local error:

1.2b
(* c0 (sqrt (/ A (* V l))))
6.2b
(/ A (* V l))
16.1b
(sqrt (/ A (* V l)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
6×pow1
3×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
3 → 75
Calls
3 calls:
19.0ms
(* c0 (sqrt (/ A (* V l))))
15.0ms
(/ A (* V l))
11.0ms
(sqrt (/ A (* V l)))

series160.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(* c0 (sqrt (/ A (* V l))))
32.0ms
(/ A (* V l))
55.0ms
(sqrt (/ A (* V l)))

simplify1.8s

Counts
84 → 84
Iterations
IterNodes
done5007
33034
2714
1230
0114

prune384.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 5.0b

regimes1.4s

Accuracy

51.3% (7.2b remaining)

Error of 11.7b against oracle of 4.5b and baseline of 19.4b

bsearch1.0ms

simplify9.0ms

Iterations
IterNodes
done41
141
032

end0.0ms

sample2.2s

Algorithm
intervals
Results
574.0ms8939×body80valid
488.0ms8718×body80nan