Details

Time bar (total: 4.0m)

sample564.0ms

Algorithm
intervals
Results
152.0ms73×body5120valid
113.0ms56×body2560valid
95.0ms411×body80nan
76.0ms231×body80valid
48.0ms28×body10240exit
29.0ms26×body1280valid
7.0ms8×body640valid
3.0ms5×body320valid
3.0ms7×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)))))

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 50.3b

localize60.0ms

Local error

Found 4 expressions with local error:

26.8b
(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
13.5b
(* (/ c0 w) (* (/ d D) (/ d D)))
13.5b
(* (/ c0 w) (* (/ d D) (/ d D)))
13.5b
(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
127×add-cbrt-cube add-exp-log
54×prod-exp cbrt-unprod
39×cbrt-undiv div-exp associate-*l*
34×add-sqr-sqrt
30×times-frac
27×*-un-lft-identity
25×add-cube-cbrt
19×frac-times pow1
17×associate-*r/
11×associate-*l/
9×pow-prod-down
8×sqrt-div frac-add
6×add-log-exp unswap-sqr
4×flip3-+ flip-+ insert-posit16
3×flip3-- associate-*r* *-commutative div-inv flip--
1×+-commutative sum-log distribute-lft-out
Counts
4 → 183
Calls
4 calls:
Slowest
67.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)))
32.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
30.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
844.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))
105.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
94.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
85.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify31.2s

Counts
168 → 195
Calls
168 calls:
Slowest
847.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)))))
768.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)))))
716.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
637.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
628.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))

prune3.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 48.0b

localize32.0ms

Local error

Found 4 expressions with local error:

12.0b
(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
9.4b
(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
7.4b
(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
0.3b
(* (/ d D) (/ d D))

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
396×add-cbrt-cube add-exp-log
166×prod-exp cbrt-unprod
157×cbrt-undiv div-exp
63×add-sqr-sqrt
59×times-frac
45×*-un-lft-identity add-cube-cbrt
27×associate-*r* associate-*l*
18×pow1
13×swap-sqr
12×frac-times associate-*r/
8×associate-*l/ div-inv
7×unswap-sqr associate-/l/
5×pow-prod-down
4×insert-posit16 add-log-exp
3×associate-/r* *-commutative
1×pow2 clear-num frac-2neg pow-plus pow-sqr pow-prod-up associate-/l*
Counts
4 → 285
Calls
4 calls:
Slowest
179.0ms
(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
59.0ms
(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
43.0ms
(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
15.0ms
(* (/ d D) (/ d D))

series486.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
192.0ms
(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
141.0ms
(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
127.0ms
(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
26.0ms
(* (/ d D) (/ d D))

simplify1.1m

Counts
279 → 297
Calls
279 calls:
Slowest
1.6s
(* (/ (* (* (* (/ (* 2 c0) h) (/ (* 2 c0) h)) (/ (* 2 c0) h)) (* (* (* (/ d D) (/ d D)) (/ d D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* w w) w)) (/ (* (* c0 c0) c0) (* (* w w) w)))
1.6s
(* (/ (* (* (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (* w w) w)) (* (* (/ c0 w) (/ c0 w)) (/ c0 w)))
1.6s
(* (/ (* (* (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (* w w) w)) (/ (* (* c0 c0) c0) (* (* w w) w)))
1.4s
(* (/ (* (* (* (/ (* 2 c0) h) (/ (* 2 c0) h)) (/ (* 2 c0) h)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* w w) w)) (* (* (/ c0 w) (/ c0 w)) (/ c0 w)))
1.4s
(/ (* (/ (* (* (* 2 c0) (* 2 c0)) (* 2 c0)) (* (* h h) h)) (* (* (* (/ d D) (/ d D)) (/ d D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* w w) w))

prune4.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 35.8b

localize23.0ms

Local error

Found 4 expressions with local error:

12.3b
(/ (* d c0) (* w D))
12.3b
(/ (* d c0) (* w D))
8.9b
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
0.2b
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))

rewrite151.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
59.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
41.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
27.0ms
(/ (* d c0) (* w D))
11.0ms
(/ (* d c0) (* w D))

series273.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
91.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
43.0ms
(/ (* d c0) (* w D))
40.0ms
(/ (* d c0) (* w D))

simplify1.1m

Counts
177 → 212
Calls
177 calls:
Slowest
3.0s
(/ (* (/ (* (* (* 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.9s
(/ (* (/ (* (* (* 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))
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.8s
(* (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D))) (* (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) (/ (* d c0) (* w D))))
2.5s
(/ (* (/ (* (* (* 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))

prune3.3s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 33.0b

localize51.0ms

Local error

Found 4 expressions with local error:

12.3b
(/ (* d c0) (* w D))
12.3b
(/ (* d c0) (* w D))
3.4b
(/ (/ (* d c0) (* w D)) (* (cbrt h) (cbrt h)))
2.7b
(/ (/ (* d c0) (* w D)) (cbrt h))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
87×add-exp-log
72×add-cbrt-cube
46×times-frac
35×cbrt-undiv div-exp
25×add-sqr-sqrt *-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod
18×cbrt-prod
13×div-inv
12×associate-/l*
9×associate-/r*
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-/l/
Counts
4 → 150
Calls
4 calls:
Slowest
36.0ms
(/ (/ (* d c0) (* w D)) (* (cbrt h) (cbrt h)))
32.0ms
(/ (/ (* d c0) (* w D)) (cbrt h))
22.0ms
(/ (* d c0) (* w D))
14.0ms
(/ (* d c0) (* w D))

series566.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
279.0ms
(/ (/ (* d c0) (* w D)) (* (cbrt h) (cbrt h)))
207.0ms
(/ (/ (* d c0) (* w D)) (cbrt h))
41.0ms
(/ (* d c0) (* w D))
39.0ms
(/ (* d c0) (* w D))

simplify35.3s

Counts
149 → 162
Calls
149 calls:
Slowest
1.6s
(/ (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w D) (* w D)) (* w D))) (* (* (* (cbrt h) (cbrt h)) (* (cbrt h) (cbrt h))) (* (cbrt h) (cbrt h))))
1.5s
(/ (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D))) (* (* (* (cbrt h) (cbrt h)) (* (cbrt h) (cbrt h))) (* (cbrt h) (cbrt h))))
1.3s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D))) (* (* (* (cbrt h) (cbrt h)) (* (cbrt h) (cbrt h))) (* (cbrt h) (cbrt h))))
1.1s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D))) (* (* (* (cbrt h) (cbrt h)) (* (cbrt h) (cbrt h))) (* (cbrt h) (cbrt h))))
1.1s
(/ (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w D) (* w D)) (* w D))) (* h h))

prune2.8s

Pruning

39 alts after pruning (39 fresh and 0 done)

Merged error: 32.2b

regimes3.3s

Accuracy

-1.6% (11.2b remaining)

Error of 46.4b against oracle of 35.2b and baseline of 46.2b

bsearch510.0ms

end0.0ms

sample19.9s

Algorithm
intervals
Results
5.6s2254×body5120valid
5.0s13036×body80nan
3.1s1746×body2560valid
1.8s6757×body80valid
1.2s867×body1280valid
1.2s552×body10240exit
552.0ms210×body320valid
522.0ms519×body640valid
63.0ms131×body160valid