Details

Time bar (total: 1.5m)

sample818.0ms

Algorithm
intervals
Results
538.0ms1433×body80nan
159.0ms419×body80valid

simplify4.5s

Counts
1 → 1

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.3b

localize57.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
13.5b
(sqrt (/ d l))
13.1b
(/ (* (* (/ M (/ d D)) 1/4) (/ M (/ d D))) (/ l (* -1/2 h)))
11.0b
(sqrt (/ d h))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
247×add-cbrt-cube add-exp-log
128×cbrt-undiv div-exp
76×prod-exp cbrt-unprod
43×times-frac
39×sqrt-prod
38×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
7×pow1 associate-/r*
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-*l/ associate-/l/
1×frac-times clear-num frac-2neg associate-*r/ associate-/r/ associate-/l*
Counts
4 → 194
Calls
4 calls:
Slowest
64.0ms
(/ (* (* (/ M (/ d D)) 1/4) (/ M (/ d D))) (/ l (* -1/2 h)))
7.0ms
(sqrt (/ d h))
3.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))

series330.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
131.0ms
(/ (* (* (/ M (/ d D)) 1/4) (/ M (/ d D))) (/ l (* -1/2 h)))
75.0ms
(sqrt (/ d l))
71.0ms
(sqrt (/ d l))
53.0ms
(sqrt (/ d h))

simplify1.6s

Counts
206 → 206

prune3.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

localize48.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
13.5b
(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
3.0ms
(sqrt (/ d l))
3.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series236.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
65.0ms
(sqrt (/ d l))
62.0ms
(sqrt (/ d l))
58.0ms
(sqrt (/ d h))
51.0ms
(sqrt (/ d h))

simplify2.1s

Counts
124 → 124

prune2.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.6b

localize121.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
11.0b
(sqrt (/ d h))
11.0b
(sqrt (/ d h))
5.6b
(/ (/ M (/ d D)) (/ -2 h))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
1931×times-frac
839×add-sqr-sqrt
830×*-un-lft-identity add-cube-cbrt
105×div-inv
44×associate-/l*
39×sqrt-prod
25×add-cbrt-cube add-exp-log
15×cbrt-undiv div-exp associate-/r/
13×associate-/r*
7×pow1
6×rem-sqrt-square
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-pow1 pow1/2 sqrt-div
1×clear-num frac-2neg associate-/l/
Counts
4 → 740
Calls
4 calls:
Slowest
30.0ms
(/ (/ M (/ d D)) (/ -2 h))
5.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d h))
4.0ms
(sqrt (/ d h))

series281.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
84.0ms
(sqrt (/ d l))
70.0ms
(sqrt (/ d h))
68.0ms
(/ (/ M (/ d D)) (/ -2 h))
60.0ms
(sqrt (/ d h))

simplify2.6s

Counts
752 → 752

prune20.9s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 13.9b

localize125.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
1921×times-frac
829×add-sqr-sqrt
823×*-un-lft-identity add-cube-cbrt
104×div-inv
44×associate-/l*
26×sqrt-prod
25×add-cbrt-cube add-exp-log
15×cbrt-undiv div-exp associate-/r/
13×associate-/r*
6×pow1
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 → 723
Calls
4 calls:
Slowest
14.0ms
(/ (/ M (/ d D)) (/ -2 h))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))
0.0ms
(fma (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))) (* (/ (* (/ M (/ d D)) 1/4) l) (/ (/ M (/ d D)) (/ -2 h))) (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))))

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
1.7s
(fma (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))) (* (/ (* (/ M (/ d D)) 1/4) l) (/ (/ M (/ d D)) (/ -2 h))) (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))))
74.0ms
(sqrt (/ d h))
65.0ms
(sqrt (/ d h))
64.0ms
(/ (/ M (/ d D)) (/ -2 h))

simplify3.2s

Counts
735 → 735

prune18.4s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 13.8b

regimes2.7s

Accuracy

0% (3.1b remaining)

Error of 17.8b against oracle of 14.7b and baseline of 17.8b

bsearch5.0ms

end0.0ms

sample24.4s

Algorithm
intervals
Results
15.7s38941×body80nan
6.2s12854×body80valid