Details

Time bar (total: 21.5s)

sample110.0ms

Algorithm
intervals
Results
55.0ms293×body80valid
24.0ms105×body80nan

simplify2.0s

Counts
1 → 1

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize25.0ms

Local error

Found 4 expressions with local error:

10.3b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.3b
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
368×add-cbrt-cube add-exp-log
190×prod-exp cbrt-unprod
114×cbrt-undiv div-exp
16×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity times-frac add-cube-cbrt
10×pow1
5×frac-times associate-*l/
4×insert-posit16 add-log-exp
3×pow-prod-down associate-*r/ sqrt-prod div-inv
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l* unswap-sqr
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l* *-commutative flip--
Counts
4 → 198
Calls
4 calls:
Slowest
178.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
22.0ms
(/ (* M D) (* 2 d))
17.0ms
(/ (* M D) (* 2 d))
4.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

series404.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
189.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
134.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
49.0ms
(/ (* M D) (* 2 d))
33.0ms
(/ (* M D) (* 2 d))

simplify768.0ms

Counts
221 → 210

prune3.3s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.4b

localize26.0ms

Local error

Found 4 expressions with local error:

9.0b
(* (/ (* M D) (* 2 d)) (/ h l))
3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.3b
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) (/ h l)))))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
69×add-cbrt-cube add-exp-log
26×prod-exp cbrt-unprod
21×cbrt-undiv div-exp
19×add-sqr-sqrt
13×*-un-lft-identity times-frac associate-*r* add-cube-cbrt
7×pow1
5×associate-*l*
4×insert-posit16 div-inv add-log-exp
3×sqrt-prod
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l* unswap-sqr
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 113
Calls
4 calls:
Slowest
56.0ms
(* (/ (* M D) (* 2 d)) (/ h l))
11.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))
7.0ms
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) (/ h l)))))

series381.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
193.0ms
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) (/ h l)))))
103.0ms
(* (/ (* M D) (* 2 d)) (/ h l))
43.0ms
(/ (* M D) (* 2 d))
41.0ms
(/ (* M D) (* 2 d))

simplify937.0ms

Counts
134 → 125

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.3b

localize53.0ms

Local error

Found 4 expressions with local error:

3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.3b
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l))))))
2.6b
(* (sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))) w0)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
13×add-sqr-sqrt
9×prod-exp cbrt-unprod
8×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
7×pow1 sqrt-prod
6×associate-*l*
4×sqrt-div insert-posit16 add-log-exp
3×associate-*r*
2×clear-num associate-/r* frac-2neg times-frac flip3-- associate-*l/ div-inv flip-- associate-/l* unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down *-commutative
Counts
4 → 85
Calls
4 calls:
Slowest
17.0ms
(/ (* M D) (* 2 d))
13.0ms
(* (sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))) w0)
11.0ms
(/ (* M D) (* 2 d))
4.0ms
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l))))))

series631.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
350.0ms
(* (sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))) w0)
208.0ms
(sqrt (- 1 (* (/ (* M D) (* 2 d)) (* (* (/ (cbrt h) (cbrt l)) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l))))))
37.0ms
(/ (* M D) (* 2 d))
36.0ms
(/ (* M D) (* 2 d))

simplify825.0ms

Counts
105 → 97

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.1b

localize111.0ms

Local error

Found 4 expressions with local error:

3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
16×cbrt-undiv div-exp prod-exp cbrt-unprod
4×add-sqr-sqrt pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Counts
4 → 88
Calls
4 calls:
Slowest
18.0ms
(/ (* M D) (* 2 d))
11.0ms
(/ (* M D) (* 2 d))
11.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))

series194.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
55.0ms
(/ (* M D) (* 2 d))
49.0ms
(/ (* M D) (* 2 d))
48.0ms
(/ (* M D) (* 2 d))
42.0ms
(/ (* M D) (* 2 d))

simplify260.0ms

Counts
108 → 100

prune2.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.1b

regimes1.5s

Accuracy

0% (0.9b remaining)

Error of 8.1b against oracle of 7.2b and baseline of 8.1b

bsearch5.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.9s9325×body80valid
657.0ms3061×body80nan