Details

Time bar (total: 1.6m)

sample734.0ms

Algorithm
intervals
Results
462.0ms1289×body80nan
185.0ms416×body80valid

simplify5.4s

Counts
1 → 1

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.4b

localize57.0ms

Local error

Found 4 expressions with local error:

13.8b
(sqrt (/ d l))
13.8b
(sqrt (/ d l))
11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))

rewrite14.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
7.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))

series281.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
83.0ms
(sqrt (/ d l))
82.0ms
(sqrt (/ d h))
60.0ms
(sqrt (/ d h))
57.0ms
(sqrt (/ d l))

simplify1.9s

Counts
116 → 116

prune2.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 19.3b

localize93.0ms

Local error

Found 4 expressions with local error:

13.8b
(sqrt (/ d l))
11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))
9.4b
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))

rewrite216.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
204.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))

series722.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
478.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
89.0ms
(sqrt (/ d h))
86.0ms
(sqrt (/ d h))
69.0ms
(sqrt (/ d l))

simplify2.5s

Counts
206 → 206

prune4.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 13.7b

localize126.0ms

Local error

Found 4 expressions with local error:

11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))
9.4b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
7.7b
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))

rewrite729.0ms

Algorithm
rewrite-expression-head
Rules
1575×add-cbrt-cube add-exp-log
766×prod-exp cbrt-unprod
614×cbrt-undiv div-exp
42×pow1
38×associate-*l/ associate-*r/
34×frac-times sqrt-div
27×pow-prod-down
26×sqrt-prod
24×add-sqr-sqrt
21×times-frac
18×*-un-lft-identity add-cube-cbrt
15×associate-/l/
4×rem-sqrt-square insert-posit16 add-log-exp
3×div-inv
2×sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-*r* associate-*l* *-commutative associate-/l*
Counts
4 → 498
Calls
4 calls:
Slowest
356.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
335.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
4.0ms
(sqrt (/ d h))
4.0ms
(sqrt (/ d h))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
640.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
570.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
90.0ms
(sqrt (/ d h))
74.0ms
(sqrt (/ d h))

simplify3.9s

Counts
510 → 510

prune14.2s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.2b

localize150.0ms

Local error

Found 4 expressions with local error:

11.0b
(sqrt (/ d h))
9.4b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
7.7b
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
4.9b
(/ M (/ 2 (/ D d)))

rewrite613.0ms

Algorithm
rewrite-expression-head
Rules
1584×add-cbrt-cube add-exp-log
766×prod-exp cbrt-unprod
620×cbrt-undiv div-exp
407×times-frac
199×add-sqr-sqrt
196×*-un-lft-identity add-cube-cbrt
45×associate-/r*
41×pow1
38×associate-*l/ associate-*r/
34×frac-times
33×sqrt-div
27×pow-prod-down
19×div-inv
15×associate-/l/
13×sqrt-prod
5×associate-/r/
4×insert-posit16 associate-/l* add-log-exp
2×rem-sqrt-square clear-num frac-2neg
1×sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 669
Calls
4 calls:
Slowest
291.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
255.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
14.0ms
(/ M (/ 2 (/ D d)))
4.0ms
(sqrt (/ d h))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
891.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
485.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
59.0ms
(sqrt (/ d h))
30.0ms
(/ M (/ 2 (/ D d)))

simplify4.7s

Counts
681 → 681

prune23.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 9.3b

regimes2.5s

Accuracy

29.7% (3.5b remaining)

Error of 12.4b against oracle of 8.9b and baseline of 13.9b

bsearch59.0ms

end0.0ms

sample24.7s

Algorithm
intervals
Results
16.7s38250×body80nan
5.5s12709×body80valid