Details

Time bar (total: 29.3s)

sample112.0ms

Algorithm
intervals
Results
65.0ms300×body80valid
15.0ms89×body80nan

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
44693
3589
293
136
017

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.1b

localize32.0ms

Local error

Found 4 expressions with local error:

5.4b
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
8.0b
(/ (* M D) (* 2 d))
8.0b
(/ (* M D) (* 2 d))
11.4b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

rewrite283.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:
8.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
23.0ms
(/ (* M D) (* 2 d))
23.0ms
(/ (* M D) (* 2 d))
217.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

series435.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
57.0ms
(/ (* M D) (* 2 d))
51.0ms
(/ (* M D) (* 2 d))
131.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

simplify1.4s

Counts
210 → 210
Iterations
IterNodes
23936
1957
0321

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 9.6b

localize85.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l))))) w0)
5.4b
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l)))))
8.0b
(/ (* M D) (* 2 d))
8.0b
(/ (* M D) (* 2 d))

rewrite66.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:
22.0ms
(* (sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l))))) w0)
4.0ms
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l)))))
11.0ms
(/ (* M D) (* 2 d))
27.0ms
(/ (* M D) (* 2 d))

series582.0ms

Counts
4 → 12
Calls
4 calls:
335.0ms
(* (sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l))))) w0)
171.0ms
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l))) (* (/ (* M D) (* 2 d)) (/ (cbrt h) (cbrt l)))) (/ (cbrt h) (cbrt l)))))
40.0ms
(/ (* M D) (* 2 d))
36.0ms
(/ (* M D) (* 2 d))

simplify6.1s

Counts
97 → 97
Iterations
IterNodes
311649
21451
1327
0129

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.6b

localize81.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ (* M D) (* 2 d))
19.7b
(cbrt (/ (* M D) (* 2 d)))
19.7b
(cbrt (/ (* M D) (* 2 d)))
19.7b
(cbrt (/ (* M D) (* 2 d)))

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
15×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-undiv times-frac div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
3×cbrt-div pow1/3
1×clear-num associate-/r* frac-2neg associate-/l*
Counts
4 → 67
Calls
4 calls:
12.0ms
(/ (* M D) (* 2 d))
340.0ms
(cbrt (/ (* M D) (* 2 d)))
6.0ms
(cbrt (/ (* M D) (* 2 d)))
5.0ms
(cbrt (/ (* M D) (* 2 d)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ (* M D) (* 2 d))
126.0ms
(cbrt (/ (* M D) (* 2 d)))
148.0ms
(cbrt (/ (* M D) (* 2 d)))
151.0ms
(cbrt (/ (* M D) (* 2 d)))

simplify3.3s

Counts
79 → 79
Iterations
IterNodes
37096
2995
1241
0103

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 9.6b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.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:
11.0ms
(/ (* M D) (* 2 d))
21.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))

series159.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ (* M D) (* 2 d))
38.0ms
(/ (* M D) (* 2 d))
48.0ms
(/ (* M D) (* 2 d))
42.0ms
(/ (* M D) (* 2 d))

simplify2.7s

Counts
100 → 100
Iterations
IterNodes
36436
2836
1159
057

prune1.9s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 9.6b

regimes1.4s

Accuracy

0% (0.9b remaining)

Error of 8.3b against oracle of 7.4b and baseline of 8.3b

bsearch0.0ms

simplify12.0ms

Iterations
IterNodes
232
132
024

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.4s9336×body80valid
538.0ms3055×body80nan