Details

Time bar (total: 1.6m)

sample1.1s

Algorithm
intervals
Results
843.0ms1289×body80nan
193.0ms416×body80valid

simplify5.1s

Counts
1 → 1

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.2b

localize55.0ms

Local error

Found 4 expressions with local error:

13.8b
(sqrt (/ d l))
13.8b
(sqrt (/ d l))
12.9b
(/ (* (/ M (/ 2 (/ D d))) (* -1/2 (/ M (/ 2 (/ D d))))) (/ l h))
11.0b
(sqrt (/ d h))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
289×add-cbrt-cube add-exp-log
171×cbrt-undiv div-exp
72×prod-exp cbrt-unprod
61×times-frac
48×add-sqr-sqrt
39×*-un-lft-identity add-cube-cbrt sqrt-prod
13×associate-/r*
7×pow1
6×rem-sqrt-square div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 pow1/2 sqrt-div associate-*r/ associate-/l/
1×frac-times clear-num frac-2neg associate-*l/ associate-/r/ associate-/l*
Counts
4 → 212
Calls
4 calls:
Slowest
54.0ms
(/ (* (/ M (/ 2 (/ D d))) (* -1/2 (/ M (/ 2 (/ D d))))) (/ l h))
4.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))

series348.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
133.0ms
(/ (* (/ M (/ 2 (/ D d))) (* -1/2 (/ M (/ 2 (/ D d))))) (/ l h))
79.0ms
(sqrt (/ d h))
70.0ms
(sqrt (/ d l))
66.0ms
(sqrt (/ d l))

simplify1.6s

Counts
224 → 224

prune4.4s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 19.6b

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

rewrite11.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×expm1-log1p-u sqrt-pow1 add-cbrt-cube pow1/2 sqrt-div add-exp-log insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
4 → 112
Calls
4 calls:
Slowest
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))

series291.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
82.0ms
(sqrt (/ d l))
73.0ms
(sqrt (/ d h))
70.0ms
(sqrt (/ d h))
66.0ms
(sqrt (/ d l))

simplify1.9s

Counts
124 → 124

prune3.7s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 18.6b

localize156.0ms

Local error

Found 4 expressions with local error:

13.8b
(sqrt (/ d l))
11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))
6.9b
(fma (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
39×sqrt-prod
34×add-sqr-sqrt
30×times-frac
25×*-un-lft-identity add-cube-cbrt
7×pow1
6×rem-sqrt-square
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 pow1/2 sqrt-div div-inv
1×fma-udef
Counts
4 → 95
Calls
4 calls:
Slowest
5.0ms
(sqrt (/ d l))
5.0ms
(sqrt (/ d h))
4.0ms
(sqrt (/ d h))
0.0ms
(fma (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
1.4s
(fma (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))
82.0ms
(sqrt (/ d h))
82.0ms
(sqrt (/ d l))
78.0ms
(sqrt (/ d h))

simplify2.2s

Counts
107 → 107

prune2.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.7b

localize133.0ms

Local error

Found 4 expressions with local error:

11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))
6.9b
(fma (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))
5.6b
(/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
2823×times-frac
1062×add-sqr-sqrt
1056×*-un-lft-identity add-cube-cbrt
219×div-inv
137×associate-/l*
106×add-exp-log
74×add-cbrt-cube
66×cbrt-undiv div-exp
26×sqrt-prod
25×associate-/r/
16×prod-exp cbrt-unprod
6×pow1
5×associate-/r*
4×expm1-log1p-u rem-sqrt-square insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-pow1 pow1/2 sqrt-div
1×clear-num frac-2neg fma-udef associate-/l/
Counts
4 → 949
Calls
4 calls:
Slowest
51.0ms
(/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h))))
5.0ms
(sqrt (/ d h))
5.0ms
(sqrt (/ d h))
0.0ms
(fma (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.5s
(fma (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))) (* (/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h)))) (/ (* -1/2 (/ M (/ 2 (/ D d)))) (/ (cbrt l) (cbrt h)))) (* (* (fabs (cbrt d)) (sqrt (/ (cbrt d) l))) (sqrt (/ d h))))
183.0ms
(/ (/ M (/ 2 (/ D d))) (/ (* (cbrt l) (cbrt l)) (* (cbrt h) (cbrt h))))
75.0ms
(sqrt (/ d h))
61.0ms
(sqrt (/ d h))

simplify8.2s

Counts
961 → 961

prune28.2s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 14.4b

regimes2.8s

Accuracy

0% (3.1b remaining)

Error of 17.7b against oracle of 14.5b and baseline of 17.7b

bsearch7.0ms

end0.0ms

sample25.1s

Algorithm
intervals
Results
16.7s38250×body80nan
6.0s12709×body80valid