Details

Time bar (total: 23.9s)

sample97.0ms

Algorithm
intervals
Results
54.0ms293×body80valid
16.0ms105×body80nan

simplify1.7s

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

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

rewrite287.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×expm1-log1p-u insert-posit16 log1p-expm1-u 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 → 206
Calls
4 calls:
Slowest
212.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
24.0ms
(/ (* M D) (* 2 d))
23.0ms
(/ (* M D) (* 2 d))
11.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

series387.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
207.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
99.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
50.0ms
(/ (* M D) (* 2 d))
31.0ms
(/ (* M D) (* 2 d))

simplify731.0ms

Counts
229 → 218

prune3.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.4b

localize65.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (/ (* M D) (* 2 d)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt 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)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))))) (/ (cbrt h) (cbrt l)))))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
158×add-exp-log
118×add-cbrt-cube
73×prod-exp cbrt-unprod
48×cbrt-undiv div-exp
10×pow1
8×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt
5×frac-times associate-*l* associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×times-frac pow-prod-down associate-*l/ sqrt-prod div-inv
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l*
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*r* *-commutative flip-- unswap-sqr
Counts
4 → 143
Calls
4 calls:
Slowest
63.0ms
(* (/ (* M D) (* 2 d)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))))
22.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))
11.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))))) (/ (cbrt h) (cbrt l)))))

series475.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
222.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))))) (/ (cbrt h) (cbrt l)))))
176.0ms
(* (/ (* M D) (* 2 d)) (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))))
41.0ms
(/ (* M D) (* 2 d))
35.0ms
(/ (* M D) (* 2 d))

simplify498.0ms

Counts
165 → 155

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.4b

localize49.0ms

Local error

Found 4 expressions with local error:

4.0b
(/ (* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h))) (* (cbrt l) (cbrt l)))
3.5b
(/ (* M D) (* 2 d))
3.5b
(/ (* M D) (* 2 d))
3.4b
(* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
186×add-exp-log
134×add-cbrt-cube
88×prod-exp cbrt-unprod
54×cbrt-undiv div-exp
9×pow1
6×add-sqr-sqrt
5×*-un-lft-identity associate-*l* add-cube-cbrt
4×expm1-log1p-u times-frac insert-posit16 log1p-expm1-u div-inv add-log-exp
3×clear-num associate-/r* frac-2neg pow-prod-down associate-/l*
2×associate-*l/
1×associate-*r* *-commutative unswap-sqr associate-/l/
Counts
4 → 150
Calls
4 calls:
Slowest
52.0ms
(/ (* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h))) (* (cbrt l) (cbrt l)))
44.0ms
(* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h)))
12.0ms
(/ (* M D) (* 2 d))
12.0ms
(/ (* M D) (* 2 d))

series471.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
205.0ms
(/ (* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h))) (* (cbrt l) (cbrt l)))
201.0ms
(* (/ (* M D) (* 2 d)) (* (cbrt h) (cbrt h)))
35.0ms
(/ (* M D) (* 2 d))
29.0ms
(/ (* M D) (* 2 d))

simplify501.0ms

Counts
168 → 162

prune2.8s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 6.3b

localize81.0ms

Local error

Found 4 expressions with local error:

20.0b
(cbrt (/ (* M D) (* 2 d)))
20.0b
(cbrt (/ (* M D) (* 2 d)))
20.0b
(cbrt (/ (* M D) (* 2 d)))
4.0b
(/ (* (* (cbrt (/ (* M D) (* 2 d))) (cbrt (/ (* M D) (* 2 d)))) (* (cbrt (/ (* M D) (* 2 d))) (* (cbrt h) (cbrt h)))) (* (cbrt l) (cbrt l)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
37×prod-exp cbrt-unprod
27×add-cbrt-cube
15×cbrt-prod cbrt-div
14×cbrt-undiv div-exp
9×associate-*l/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l/
5×frac-times
4×expm1-log1p-u pow1 times-frac insert-posit16 log1p-expm1-u div-inv add-log-exp
3×pow1/3 associate-*r/
1×clear-num associate-/r* frac-2neg associate-/l*
Counts
4 → 102
Calls
4 calls:
Slowest
111.0ms
(/ (* (* (cbrt (/ (* M D) (* 2 d))) (cbrt (/ (* M D) (* 2 d)))) (* (cbrt (/ (* M D) (* 2 d))) (* (cbrt h) (cbrt h)))) (* (cbrt l) (cbrt l)))
7.0ms
(cbrt (/ (* M D) (* 2 d)))
7.0ms
(cbrt (/ (* M D) (* 2 d)))
4.0ms
(cbrt (/ (* M D) (* 2 d)))

series636.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
295.0ms
(/ (* (* (cbrt (/ (* M D) (* 2 d))) (cbrt (/ (* M D) (* 2 d)))) (* (cbrt (/ (* M D) (* 2 d))) (* (cbrt h) (cbrt h)))) (* (cbrt l) (cbrt l)))
123.0ms
(cbrt (/ (* M D) (* 2 d)))
109.0ms
(cbrt (/ (* M D) (* 2 d)))
109.0ms
(cbrt (/ (* M D) (* 2 d)))

simplify1.4s

Counts
131 → 114

prune2.2s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 6.3b

regimes1.7s

Accuracy

0% (0.7b remaining)

Error of 8.0b against oracle of 7.3b and baseline of 8.0b

bsearch7.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.0s9325×body80valid
559.0ms3061×body80nan