Details

Time bar (total: 1.5m)

sample1.2s

Algorithm
intervals
Results
600.0ms388×body80valid
466.0ms1199×body80nan

simplify5.4s

Counts
1 → 1

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.3b

localize91.0ms

Local error

Found 4 expressions with local error:

11.3b
(sqrt (/ d l))
11.3b
(sqrt (/ d l))
10.6b
(sqrt (/ d h))
10.6b
(sqrt (/ d h))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
52×sqrt-prod
44×add-sqr-sqrt
40×times-frac
32×*-un-lft-identity add-cube-cbrt
8×pow1 rem-sqrt-square
4×sqrt-pow1 add-cbrt-cube pow1/2 sqrt-div add-exp-log insert-posit16 div-inv add-log-exp
Counts
4 → 104
Calls
4 calls:
Slowest
4.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d h))
4.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d h))

series303.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(sqrt (/ d h))
82.0ms
(sqrt (/ d l))
74.0ms
(sqrt (/ d l))
62.0ms
(sqrt (/ d h))

simplify1.8s

Counts
116 → 116

prune2.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 18.3b

localize92.0ms

Local error

Found 4 expressions with local error:

11.3b
(sqrt (/ d l))
10.6b
(sqrt (/ d h))
10.6b
(sqrt (/ d h))
9.7b
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
289×add-cbrt-cube add-exp-log
135×prod-exp cbrt-unprod
108×cbrt-undiv div-exp
39×sqrt-prod
34×add-sqr-sqrt
30×times-frac
28×pow1
25×*-un-lft-identity add-cube-cbrt
19×sqrt-div associate-*l/
17×frac-times
15×pow-prod-down
11×associate-*r/
6×rem-sqrt-square
4×insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 194
Calls
4 calls:
Slowest
186.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series662.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
467.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
68.0ms
(sqrt (/ d h))
67.0ms
(sqrt (/ d h))
60.0ms
(sqrt (/ d l))

simplify2.5s

Counts
206 → 206

prune5.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 11.9b

localize106.0ms

Local error

Found 4 expressions with local error:

10.6b
(sqrt (/ d h))
10.6b
(sqrt (/ d h))
9.7b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
7.4b
(/ M (/ 2 (/ D d)))

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
472×add-cbrt-cube add-exp-log
416×times-frac
234×prod-exp cbrt-unprod
209×add-sqr-sqrt
203×*-un-lft-identity add-cube-cbrt
168×cbrt-undiv div-exp
44×associate-/r*
42×pow1
27×pow-prod-down
26×sqrt-prod
19×associate-*l/ associate-*r/ div-inv
18×sqrt-div
17×frac-times
5×associate-/r/
4×rem-sqrt-square insert-posit16 add-log-exp
3×associate-/l*
2×sqrt-pow1 pow1/2
1×clear-num frac-2neg associate-*r* associate-*l* *-commutative
Counts
4 → 410
Calls
4 calls:
Slowest
288.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
9.0ms
(/ M (/ 2 (/ D d)))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series658.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
487.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
64.0ms
(sqrt (/ d h))
54.0ms
(sqrt (/ d h))
53.0ms
(/ M (/ 2 (/ D d)))

simplify2.6s

Counts
422 → 422

prune10.4s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 11.9b

localize130.0ms

Local error

Found 4 expressions with local error:

10.6b
(sqrt (/ d h))
9.7b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (* (sqrt (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h)))) (sqrt (/ (cbrt d) (cbrt h))))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
7.4b
(/ M (/ 2 (/ D d)))
7.4b
(/ M (/ 2 (/ D d)))

rewrite867.0ms

Algorithm
rewrite-expression-head
Rules
850×add-cbrt-cube add-exp-log
802×times-frac
453×prod-exp cbrt-unprod
384×add-sqr-sqrt
381×*-un-lft-identity add-cube-cbrt
282×cbrt-undiv div-exp
129×frac-times
113×sqrt-div
107×associate-*l/
103×associate-*r/
88×associate-/r*
74×pow1
54×pow-prod-down
35×div-inv
13×sqrt-prod
10×associate-/r/
6×associate-/l*
4×insert-posit16 add-log-exp
2×rem-sqrt-square clear-num frac-2neg
1×sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 719
Calls
4 calls:
Slowest
805.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (* (sqrt (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h)))) (sqrt (/ (cbrt d) (cbrt h))))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
8.0ms
(/ M (/ 2 (/ D d)))
8.0ms
(/ M (/ 2 (/ D d)))
2.0ms
(sqrt (/ d h))

series685.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
545.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (* (sqrt (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h)))) (sqrt (/ (cbrt d) (cbrt h))))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
67.0ms
(sqrt (/ d h))
41.0ms
(/ M (/ 2 (/ D d)))
32.0ms
(/ M (/ 2 (/ D d)))

simplify3.6s

Counts
731 → 731

prune22.5s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 6.6b

regimes3.2s

Accuracy

7.8% (5.0b remaining)

Error of 12.7b against oracle of 7.7b and baseline of 13.1b

bsearch1.2s

end0.0ms

sample24.4s

Algorithm
intervals
Results
16.1s37335×body80nan
5.8s12716×body80valid