Details

Time bar (total: 54.2s)

sample625.0ms

Algorithm
intervals
Results
359.0ms1128×body80nan
213.0ms393×body80valid

simplify275.0ms

Calls
1 calls:
Slowest
275.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.8b

localize75.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
13.4b
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (* (/ l h) 2))
11.2b
(sqrt (/ d h))
6.5b
(/ (* M D) (* 2 d))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
24×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
8×add-sqr-sqrt sqrt-prod
6×*-un-lft-identity add-cube-cbrt
4×pow1 prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
3×associate-/l/
2×rem-sqrt-square clear-num associate-/r* frac-2neg times-frac pow1/2 sqrt-div associate-*l/ associate-/l*
1×frac-times associate-*r/ associate-/r/
Calls
4 calls:
Slowest
25.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (* (/ l h) 2))
6.0ms
(/ (* M D) (* 2 d))
1.0ms
(sqrt (/ d h))
1.0ms
(sqrt (/ d l))

series205.0ms

Calls
4 calls:
Slowest
95.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (* (/ l h) 2))
46.0ms
(sqrt (/ d l))
36.0ms
(sqrt (/ d h))
27.0ms
(/ (* M D) (* 2 d))

simplify8.0s

Calls
44 calls:
Slowest
2.0s
(/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))) (* (* (* (/ l h) 2) (* (/ l h) 2)) (* (/ l h) 2)))
1.8s
(/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d)))) (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d)))) (* (* (* (/ l h) 2) (* (/ l h) 2)) (* (/ l h) 2)))
746.0ms
(- (+ (log (/ (* M D) (* 2 d))) (log (/ (* M D) (* 2 d)))) (log (* (/ l h) 2)))
426.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
268.0ms
(* (/ (* M D) (* 2 d)) (* M D))

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 17.1b

localize28.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
11.9b
(/ (/ (* M D) (* 2 d)) (/ l h))
11.2b
(sqrt (/ d h))
6.5b
(/ (* M D) (* 2 d))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
26×times-frac
19×add-sqr-sqrt
17×*-un-lft-identity add-cube-cbrt
15×div-inv
11×add-cbrt-cube add-exp-log
8×sqrt-prod
6×associate-/l*
5×associate-/r*
4×pow1 cbrt-undiv div-exp insert-posit16 add-log-exp
2×rem-sqrt-square clear-num frac-2neg pow1/2 sqrt-div
1×associate-/r/ associate-/l/
Calls
4 calls:
Slowest
12.0ms
(/ (/ (* M D) (* 2 d)) (/ l h))
6.0ms
(/ (* M D) (* 2 d))
1.0ms
(sqrt (/ d l))
1.0ms
(sqrt (/ d h))

series156.0ms

Calls
4 calls:
Slowest
53.0ms
(/ (/ (* M D) (* 2 d)) (/ l h))
40.0ms
(sqrt (/ d l))
37.0ms
(sqrt (/ d h))
26.0ms
(/ (* M D) (* 2 d))

simplify6.9s

Calls
81 calls:
Slowest
758.0ms
(/ (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* (/ l h) (/ l h)) (/ l h)))
596.0ms
(/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* (/ l h) (/ l h)) (/ l h)))
413.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
387.0ms
(/ (/ (* M D) (* 2 d)) (cbrt (/ l h)))
363.0ms
(/ (/ (* M D) (* 2 d)) (sqrt (/ l h)))

prune2.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 16.5b

localize37.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
11.2b
(sqrt (/ d h))
6.5b
(/ (* M D) (* 2 d))
6.5b
(/ (* M D) (* 2 d))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-cbrt-cube add-exp-log sqrt-prod
6×*-un-lft-identity add-cube-cbrt
4×pow1 insert-posit16 div-inv add-log-exp
2×cbrt-undiv rem-sqrt-square clear-num associate-/r* frac-2neg times-frac pow1/2 sqrt-div div-exp associate-/l*
Calls
4 calls:
Slowest
6.0ms
(/ (* M D) (* 2 d))
3.0ms
(/ (* M D) (* 2 d))
1.0ms
(sqrt (/ d l))
1.0ms
(sqrt (/ d h))

series97.0ms

Calls
4 calls:
Slowest
26.0ms
(/ (* M D) (* 2 d))
25.0ms
(/ (* M D) (* 2 d))
23.0ms
(sqrt (/ d l))
22.0ms
(sqrt (/ d h))

simplify1.7s

Calls
32 calls:
Slowest
480.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
414.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
112.0ms
(- (log (* M D)) (log (* 2 d)))
110.0ms
(* 1/2 (/ (* M D) d))
99.0ms
(* 1/2 (/ (* M D) d))

prune1.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 14.7b

localize16.0ms

Local error

Found 4 expressions with local error:

13.5b
(sqrt (/ d l))
11.2b
(sqrt (/ d h))
6.6b
(* (* M D) (/ 1 (* 2 d)))
6.5b
(/ (* M D) (* 2 d))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log
9×add-sqr-sqrt
8×add-cbrt-cube sqrt-prod
7×*-un-lft-identity add-cube-cbrt
6×pow1
4×associate-*r* insert-posit16 div-inv add-log-exp
2×rem-sqrt-square pow1/2 sqrt-div prod-exp
1×cbrt-undiv rec-exp clear-num associate-/r* frac-2neg times-frac div-exp associate-*l* pow-prod-down associate-*r/ un-div-inv *-commutative cbrt-unprod associate-/l*
Calls
4 calls:
Slowest
4.0ms
(* (* M D) (/ 1 (* 2 d)))
3.0ms
(/ (* M D) (* 2 d))
1.0ms
(sqrt (/ d l))
0.0ms
(sqrt (/ d h))

series100.0ms

Calls
4 calls:
Slowest
26.0ms
(/ (* M D) (* 2 d))
26.0ms
(* (* M D) (/ 1 (* 2 d)))
26.0ms
(sqrt (/ d h))
22.0ms
(sqrt (/ d l))

simplify2.5s

Calls
38 calls:
Slowest
537.0ms
(* (* M D) (/ 1 (* 2 d)))
441.0ms
(+ (log (* M D)) (log (/ 1 (* 2 d))))
423.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
186.0ms
(+ (log (* M D)) (- (log (* 2 d))))
169.0ms
(* (* (* (* M D) (* M D)) (* M D)) (* (* (/ 1 (* 2 d)) (/ 1 (* 2 d))) (/ 1 (* 2 d))))

prune1.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 14.7b

regimes1.2s

Accuracy

50.3% (3.9b remaining)

Error of 18.7b against oracle of 14.8b and baseline of 22.6b

bsearch2.1s

end0.0ms

sample23.9s

Algorithm
intervals
Results
16.4s38613×body80nan
5.5s12916×body80valid