Details

Time bar (total: 31.3s)

sample142.0ms

Algorithm
intervals
Results
79.0ms302×body80valid
29.0ms137×body80nan

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
44673
3593
293
136
017

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.7b

localize41.0ms

Local error

Found 4 expressions with local error:

3.1b
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
5.0b
(/ (* M D) (* 2 d))
5.0b
(/ (* M D) (* 2 d))
11.9b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

rewrite161.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 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 → 202
Calls
4 calls:
6.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
17.0ms
(/ (* M D) (* 2 d))
16.0ms
(/ (* M D) (* 2 d))
116.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

series383.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
34.0ms
(/ (* M D) (* 2 d))
34.0ms
(/ (* M D) (* 2 d))
114.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))

simplify1.4s

Counts
214 → 214
Iterations
IterNodes
23908
1931
0324

prune3.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.8b

localize87.0ms

Local error

Found 4 expressions with local error:

3.0b
(* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))
3.1b
(sqrt (- 1 (* (* (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))
5.0b
(/ (* M D) (* 2 d))
5.0b
(/ (* M D) (* 2 d))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
59×add-cbrt-cube
46×add-sqr-sqrt
43×times-frac
40×cbrt-prod associate-*l*
31×*-un-lft-identity add-cube-cbrt
26×prod-exp cbrt-unprod
21×cbrt-undiv div-exp
7×pow1
5×associate-*r* unswap-sqr
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×sqrt-prod
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l*
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 147
Calls
4 calls:
31.0ms
(* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))
5.0ms
(sqrt (- 1 (* (* (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))
12.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))

series613.0ms

Counts
4 → 12
Calls
4 calls:
285.0ms
(* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))
225.0ms
(sqrt (- 1 (* (* (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))) (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (/ (cbrt h) (cbrt l)))))
47.0ms
(/ (* M D) (* 2 d))
55.0ms
(/ (* M D) (* 2 d))

simplify1.1s

Counts
159 → 159
Iterations
IterNodes
22840
1617
0223

prune3.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.8b

localize119.0ms

Local error

Found 4 expressions with local error:

5.0b
(/ (* M D) (* 2 d))
18.9b
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
18.9b
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
18.9b
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
9×cbrt-div
4×add-sqr-sqrt expm1-log1p-u pow1 cbrt-undiv *-un-lft-identity div-exp prod-exp add-cube-cbrt cbrt-unprod log1p-expm1-u add-log-exp
3×cbrt-prod frac-times pow1/3 associate-*l/ associate-*r/
1×clear-num associate-/r* frac-2neg times-frac div-inv associate-/l*
Counts
4 → 65
Calls
4 calls:
16.0ms
(/ (* M D) (* 2 d))
15.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
13.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
33.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))

series856.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ (* M D) (* 2 d))
275.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
284.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
250.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))

simplify3.5s

Counts
77 → 77
Iterations
IterNodes
37770
21240
1328
0139

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.8b

localize120.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
216×cbrt-div
132×frac-times
78×associate-*l/
66×associate-*r/
4×cbrt-prod add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
1×pow3 rem-cbrt-cube
Counts
4 → 117
Calls
4 calls:
25.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
24.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
13.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
21.0ms
(cbrt (* (* (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))) (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
306.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
316.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
261.0ms
(cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))
257.0ms
(cbrt (* (* (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d)))) (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))) (cbrt (* (/ (cbrt h) (cbrt l)) (/ (* M D) (* 2 d))))))

simplify3.0s

Counts
129 → 129
Iterations
IterNodes
45916
31755
2769
1509
0322

prune3.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.8b

regimes945.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
233
133
025

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.2s9313×body80valid
590.0ms3155×body80nan