Details

Time bar (total: 3.9m)

sample506.0ms

Algorithm
intervals
Results
179.0ms65×body5120valid
83.0ms362×body80nan
78.0ms54×body2560valid
44.0ms201×body80valid
30.0ms24×body1280valid
23.0ms16×body10240exit
11.0ms12×body640valid
7.0ms10×body320valid
2.0ms4×body160valid

simplify1.1s

Counts
1 → 1
Calls
1 calls:
Slowest
1.1s
(* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 50.0b

localize77.0ms

Local error

Found 4 expressions with local error:

25.2b
(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
15.9b
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
12.2b
(* (+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (/ c0 w))
12.2b
(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
50×add-cbrt-cube add-exp-log
32×sqrt-div
31×frac-times
27×add-sqr-sqrt
24×frac-add
23×*-un-lft-identity
21×associate-*l/
20×times-frac prod-exp cbrt-unprod
19×add-cube-cbrt
17×associate-*l*
15×flip3-+ flip-+
14×pow1 cbrt-undiv div-exp associate-*r* associate-*r/
12×flip3-- flip--
6×add-log-exp
5×pow-prod-down
4×insert-posit16 unswap-sqr
2×sqrt-pow1 *-commutative div-inv distribute-lft-out
1×+-commutative sum-log pow1/2 sqrt-prod
Counts
4 → 149
Calls
4 calls:
Slowest
203.0ms
(* (+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (/ c0 w))
54.0ms
(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
41.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
38.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series2.7s

Counts
4 → 12
Calls
4 calls:
Slowest
988.0ms
(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
813.0ms
(* (+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (/ c0 w))
758.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
105.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify40.5s

Counts
141 → 161
Calls
141 calls:
Slowest
1.0s
(* (+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D))))) (/ c0 w))
924.0ms
(* (+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D))))) c0)
918.0ms
(* (+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D))))) c0)
915.0ms
(* (+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D))))) (/ c0 w))
812.0ms
(* (+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M M)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (* (/ c0 w) (* (/ d D) (/ d D))))) (/ c0 w))

prune3.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 16.9b

localize8.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune101.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 16.9b

localize47.0ms

Local error

Found 4 expressions with local error:

10.2b
(/ (* d c0) (* w D))
10.2b
(/ (* d c0) (* w D))
8.1b
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
0.3b
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
315×add-cbrt-cube add-exp-log
138×prod-exp cbrt-unprod
114×cbrt-undiv div-exp
12×add-sqr-sqrt
11×pow1
10×*-un-lft-identity add-cube-cbrt
9×times-frac
7×div-inv
5×associate-/r* swap-sqr associate-*r* associate-*l*
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-/l* associate-/l/
2×frac-times associate-*l/ associate-*r/
1×pow2 pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up unswap-sqr
Counts
4 → 200
Calls
4 calls:
Slowest
69.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
54.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
22.0ms
(/ (* d c0) (* w D))
22.0ms
(/ (* d c0) (* w D))

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
92.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
35.0ms
(/ (* d c0) (* w D))
30.0ms
(/ (* d c0) (* w D))

simplify1.1m

Counts
177 → 212
Calls
177 calls:
Slowest
3.5s
(/ (* (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D))) (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D)))) (* (* h h) h))
3.2s
(/ (* (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D))) (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D)))) (* (* h h) h))
2.8s
(/ (* (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D))) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D)))) (* (* h h) h))
2.7s
(/ (* (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D))) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D)))) (* (* h h) h))
2.6s
(* (* (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) (/ (* d c0) (* w D))) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D))))

prune3.0s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 14.6b

localize24.0ms

Local error

Found 4 expressions with local error:

10.2b
(/ (* d c0) (* w D))
10.2b
(/ (* d c0) (* w D))
3.1b
(/ h (/ (* d c0) (* w D)))
0.2b
(/ (/ (* d c0) (* w D)) (/ h (/ (* d c0) (* w D))))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
250×times-frac
219×add-cbrt-cube add-exp-log
116×cbrt-undiv div-exp
89×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
56×prod-exp cbrt-unprod
53×div-inv
27×associate-/r*
10×associate-/l*
8×associate-/r/
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Counts
4 → 287
Calls
4 calls:
Slowest
31.0ms
(/ (/ (* d c0) (* w D)) (/ h (/ (* d c0) (* w D))))
22.0ms
(/ h (/ (* d c0) (* w D)))
18.0ms
(/ (* d c0) (* w D))
13.0ms
(/ (* d c0) (* w D))

series276.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
113.0ms
(/ (/ (* d c0) (* w D)) (/ h (/ (* d c0) (* w D))))
70.0ms
(/ h (/ (* d c0) (* w D)))
49.0ms
(/ (* d c0) (* w D))
44.0ms
(/ (* d c0) (* w D))

simplify1.5m

Counts
366 → 299
Calls
366 calls:
Slowest
2.9s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D))) (/ (* (* h h) h) (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D)))))
2.8s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D))) (/ (* (* h h) h) (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D)))))
2.8s
(/ (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D))) (/ (* (* h h) h) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D)))))
2.7s
(/ (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D))) (/ (* (* h h) h) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D)))))
2.5s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D))) (* (* (/ h (/ (* d c0) (* w D))) (/ h (/ (* d c0) (* w D)))) (/ h (/ (* d c0) (* w D)))))

prune4.2s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 14.3b

regimes1.4s

Accuracy

-4.4% (17.2b remaining)

Error of 35.1b against oracle of 17.9b and baseline of 34.4b

bsearch1.3s

end0.0ms

sample19.7s

Algorithm
intervals
Results
5.3s2221×body5120valid
4.4s12949×body80nan
3.3s1723×body2560valid
2.2s6688×body80valid
1.4s936×body1280valid
1.3s600×body10240exit
448.0ms465×body640valid
189.0ms236×body320valid
49.0ms115×body160valid