Details

Time bar (total: 1.2m)

sample657.0ms

Algorithm
intervals
Results
419.0ms1135×body80nan
155.0ms393×body80valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
48692
31132
2196
158
022

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.3b

localize66.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
12.0b
(sqrt (/ d h))
12.7b
(sqrt (/ d l))
12.7b
(sqrt (/ d l))

rewrite619.0ms

Algorithm
rewrite-expression-head
Rules
453×add-cbrt-cube add-exp-log
263×prod-exp cbrt-unprod
132×cbrt-undiv div-exp
39×sqrt-prod
35×add-sqr-sqrt
30×times-frac
26×*-un-lft-identity add-cube-cbrt
12×pow1
6×rem-sqrt-square
5×sqrt-div
4×associate-*l/ insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 associate-*r* pow-prod-down div-inv
1×frac-times associate-*l* associate-*r/ *-commutative
Counts
4 → 204
Calls
4 calls:
600.0ms
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))

series595.0ms

Counts
4 → 12
Calls
4 calls:
402.0ms
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
62.0ms
(sqrt (/ d h))
71.0ms
(sqrt (/ d l))
59.0ms
(sqrt (/ d l))

simplify5.0s

Counts
216 → 216
Iterations
IterNodes
210113
11982
0594

prune4.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 11.2b

localize121.0ms

Local error

Found 4 expressions with local error:

7.9b
(/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))
8.7b
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
12.7b
(sqrt (/ d l))
12.7b
(sqrt (/ d l))

rewrite826.0ms

Algorithm
rewrite-expression-head
Rules
793×add-cbrt-cube add-exp-log
419×prod-exp cbrt-unprod
264×cbrt-undiv div-exp
26×sqrt-prod
25×add-sqr-sqrt
21×times-frac
19×*-un-lft-identity add-cube-cbrt
18×frac-times
15×associate-*l/ associate-/l/
12×associate-*r/
11×pow1
4×rem-sqrt-square sqrt-div insert-posit16 add-log-exp
3×associate-*r* pow-prod-down div-inv
2×sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-*l* *-commutative associate-/l*
Counts
4 → 311
Calls
4 calls:
68.0ms
(/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))
729.0ms
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
2.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d l))

series677.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))
389.0ms
(* (* (sqrt (/ d l)) (/ (* (* (/ M d) (/ D 2)) (* (/ M d) (/ D 2))) (* l 2))) h)
64.0ms
(sqrt (/ d l))
85.0ms
(sqrt (/ d l))

simplify5.8s

Counts
323 → 323
Iterations
IterNodes
210078
11965
0573

prune7.2s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 8.6b

localize120.0ms

Local error

Found 4 expressions with local error:

4.9b
(/ (* l 2) (* (/ M d) (/ D 2)))
8.7b
(* (* (sqrt (/ d l)) (/ (* (/ M d) (/ D 2)) (/ (* l 2) (* (/ M d) (/ D 2))))) h)
12.7b
(sqrt (/ d l))
12.7b
(sqrt (/ d l))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
513×add-cbrt-cube add-exp-log
235×prod-exp cbrt-unprod
207×cbrt-undiv div-exp
26×sqrt-prod
25×add-sqr-sqrt
21×times-frac
19×*-un-lft-identity add-cube-cbrt
11×pow1
5×associate-*l/
4×rem-sqrt-square sqrt-div insert-posit16 add-log-exp
3×associate-*r* pow-prod-down associate-/r/ div-inv
2×frac-times sqrt-pow1 pow1/2 associate-*r/
1×clear-num associate-/r* frac-2neg associate-*l* *-commutative associate-/l*
Counts
4 → 221
Calls
4 calls:
29.0ms
(/ (* l 2) (* (/ M d) (/ D 2)))
273.0ms
(* (* (sqrt (/ d l)) (/ (* (/ M d) (/ D 2)) (/ (* l 2) (* (/ M d) (/ D 2))))) h)
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))

series601.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(/ (* l 2) (* (/ M d) (/ D 2)))
409.0ms
(* (* (sqrt (/ d l)) (/ (* (/ M d) (/ D 2)) (/ (* l 2) (* (/ M d) (/ D 2))))) h)
57.0ms
(sqrt (/ d l))
77.0ms
(sqrt (/ d l))

simplify5.7s

Counts
233 → 233
Iterations
IterNodes
29108
11887
0549

prune5.5s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 6.4b

localize114.0ms

Local error

Found 4 expressions with local error:

4.9b
(/ (* l 2) (* (/ M d) (/ D 2)))
5.0b
(* (sqrt (/ d l)) (* (/ M d) (/ D 2)))
12.7b
(sqrt (/ d l))
12.7b
(sqrt (/ d l))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
63×add-cbrt-cube add-exp-log
39×sqrt-prod
32×add-sqr-sqrt
30×times-frac
26×*-un-lft-identity add-cube-cbrt
22×cbrt-undiv div-exp prod-exp cbrt-unprod
16×associate-*l*
11×pow1
6×frac-times sqrt-div associate-*r/
4×rem-sqrt-square associate-*l/ insert-posit16 div-inv add-log-exp
3×pow-prod-down associate-/r/
2×sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-*r* *-commutative associate-/l*
Counts
4 → 134
Calls
4 calls:
19.0ms
(/ (* l 2) (* (/ M d) (/ D 2)))
32.0ms
(* (sqrt (/ d l)) (* (/ M d) (/ D 2)))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))

series317.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ (* l 2) (* (/ M d) (/ D 2)))
106.0ms
(* (sqrt (/ d l)) (* (/ M d) (/ D 2)))
69.0ms
(sqrt (/ d l))
81.0ms
(sqrt (/ d l))

simplify867.0ms

Counts
146 → 146
Iterations
IterNodes
23089
1623
0224

prune3.1s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 6.2b

regimes2.6s

Accuracy

9.3% (4.0b remaining)

Error of 13.4b against oracle of 9.3b and baseline of 13.8b

bsearch6.0ms

simplify32.0ms

Iterations
IterNodes
289
189
065

end0.0ms

sample23.6s

Algorithm
intervals
Results
15.4s38187×body80nan
5.8s12851×body80valid