Details

Time bar (total: 1.5m)

sample644.0ms

Algorithm
intervals
Results
374.0ms1159×body80nan
187.0ms408×body80valid

simplify5.7s

Counts
1 → 1

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.0b

localize98.0ms

Local error

Found 4 expressions with local error:

12.0b
(sqrt (/ d l))
12.0b
(sqrt (/ d l))
11.7b
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
10.2b
(sqrt (/ d h))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
289×add-cbrt-cube add-exp-log
135×prod-exp cbrt-unprod
108×cbrt-undiv div-exp
39×sqrt-prod
34×add-sqr-sqrt
30×times-frac
28×pow1
25×*-un-lft-identity add-cube-cbrt
19×sqrt-div associate-*l/
17×frac-times
15×pow-prod-down
11×associate-*r/
6×rem-sqrt-square
4×insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 194
Calls
4 calls:
Slowest
167.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
4.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))

series643.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
433.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
80.0ms
(sqrt (/ d l))
66.0ms
(sqrt (/ d h))
64.0ms
(sqrt (/ d l))

simplify2.3s

Counts
206 → 206

prune3.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.9b

localize106.0ms

Local error

Found 4 expressions with local error:

12.0b
(sqrt (/ d l))
11.7b
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
10.2b
(sqrt (/ d h))
10.2b
(sqrt (/ d h))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
289×add-cbrt-cube add-exp-log
135×prod-exp cbrt-unprod
108×cbrt-undiv div-exp
39×sqrt-prod
34×add-sqr-sqrt
30×times-frac
28×pow1
25×*-un-lft-identity add-cube-cbrt
19×sqrt-div associate-*l/
17×frac-times
15×pow-prod-down
11×associate-*r/
6×rem-sqrt-square
4×insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 194
Calls
4 calls:
Slowest
149.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))

series644.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
440.0ms
(* (* (sqrt (/ d l)) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
71.0ms
(sqrt (/ d h))
70.0ms
(sqrt (/ d l))
64.0ms
(sqrt (/ d h))

simplify1.9s

Counts
206 → 206

prune5.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 11.5b

localize140.0ms

Local error

Found 4 expressions with local error:

11.7b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
10.2b
(sqrt (/ d h))
10.2b
(sqrt (/ d h))
7.5b
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))

rewrite658.0ms

Algorithm
rewrite-expression-head
Rules
1575×add-cbrt-cube add-exp-log
766×prod-exp cbrt-unprod
614×cbrt-undiv div-exp
42×pow1
38×associate-*l/ associate-*r/
34×frac-times sqrt-div
27×pow-prod-down
26×sqrt-prod
24×add-sqr-sqrt
21×times-frac
18×*-un-lft-identity add-cube-cbrt
15×associate-/l/
4×rem-sqrt-square insert-posit16 add-log-exp
3×div-inv
2×sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-*r* associate-*l* *-commutative associate-/l*
Counts
4 → 498
Calls
4 calls:
Slowest
325.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
298.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
617.0ms
(/ (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h))) (* l 2))
503.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (/ M (/ 2 (/ D d))) (* (/ M (/ 2 (/ D d))) h)))
73.0ms
(sqrt (/ d h))
68.0ms
(sqrt (/ d h))

simplify3.5s

Counts
510 → 510

prune13.4s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 9.8b

localize145.0ms

Local error

Found 4 expressions with local error:

10.2b
(sqrt (/ d h))
10.2b
(sqrt (/ d h))
8.8b
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d))))
7.5b
(/ (* (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d)))) (* (/ M (/ 2 (/ D d))) h)) (* l 2))

rewrite825.0ms

Algorithm
rewrite-expression-head
Rules
1198×add-cbrt-cube add-exp-log
564×prod-exp cbrt-unprod
486×cbrt-undiv div-exp
351×times-frac
174×add-sqr-sqrt
168×*-un-lft-identity add-cube-cbrt
137×associate-*r*
30×associate-*l/
26×sqrt-div sqrt-prod
22×frac-times associate-*r/
16×div-inv
15×pow1 associate-/l/
6×pow-prod-down
4×rem-sqrt-square associate-/r/ insert-posit16 add-log-exp
2×sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-*l* *-commutative associate-/l*
Counts
4 → 526
Calls
4 calls:
Slowest
616.0ms
(/ (* (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d)))) (* (/ M (/ 2 (/ D d))) h)) (* l 2))
145.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d))))
4.0ms
(sqrt (/ d h))
4.0ms
(sqrt (/ d h))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
519.0ms
(/ (* (* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d)))) (* (/ M (/ 2 (/ D d))) h)) (* l 2))
400.0ms
(* (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (/ M (/ 2 (/ D d))))
89.0ms
(sqrt (/ d h))
71.0ms
(sqrt (/ d h))

simplify4.6s

Counts
538 → 538

prune13.4s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 9.6b

regimes3.1s

Accuracy

7.2% (4.8b remaining)

Error of 16.3b against oracle of 11.5b and baseline of 16.7b

bsearch28.0ms

end0.0ms

sample24.3s

Algorithm
intervals
Results
15.9s39256×body80nan
5.7s12940×body80valid