Details

Time bar (total: 3.1m)

sample991.0ms

Algorithm
intervals
Results
561.0ms79×body5120valid
101.0ms49×body2560valid
101.0ms407×body80nan
53.0ms18×body640valid
53.0ms204×body80valid
37.0ms27×body1280valid
24.0ms13×body10240exit
6.0ms7×body320valid
1.0ms3×body160valid

simplify978.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
978.0ms
(* (/ 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)))))

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 51.3b

localize49.0ms

Local error

Found 4 expressions with local error:

29.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))
14.2b
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
11.7b
(* (+ (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))
10.7b
(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite315.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
185.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))
44.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
43.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))
39.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series2.6s

Counts
4 → 12
Calls
4 calls:
Slowest
904.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))
898.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))
746.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
99.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify39.1s

Counts
141 → 161
Calls
141 calls:
Slowest
1.1s
(* (+ (* (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))
894.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)
887.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))
868.0ms
(* (sqrt (+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (sqrt (/ c0 w)))
813.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)

prune2.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 23.5b

localize3.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

prune106.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 23.5b

localize20.0ms

Local error

Found 4 expressions with local error:

10.0b
(/ (* d c0) (* w D))
10.0b
(/ (* 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)))

rewrite166.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
79.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
43.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
23.0ms
(/ (* d c0) (* w D))
11.0ms
(/ (* d c0) (* w D))

series253.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
101.0ms
(/ (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) h)
85.0ms
(* (/ (* d c0) (* w D)) (/ (* d c0) (* w D)))
34.0ms
(/ (* d c0) (* w D))
32.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 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.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.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.4s
(* (* (* (/ (* d c0) (* w D)) (/ (* d c0) (* w D))) (/ (* d c0) (* w D))) (/ (* (* (* d c0) (* d c0)) (* d c0)) (* (* (* w w) w) (* (* D D) D))))

prune3.2s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 20.0b

localize29.0ms

Local error

Found 4 expressions with local error:

10.0b
(/ (* d c0) (* w D))
10.0b
(/ (* d c0) (* w D))
4.8b
(/ (/ (* d c0) (* w D)) h)
0.2b
(* (/ (* d c0) (* w D)) (/ (/ (* d c0) (* w D)) h))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
219×add-cbrt-cube add-exp-log
86×cbrt-undiv div-exp prod-exp cbrt-unprod
41×times-frac
29×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
19×associate-*r*
12×div-inv
7×associate-/l*
6×pow1
5×associate-/r* associate-*l*
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×unswap-sqr
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 188
Calls
4 calls:
Slowest
75.0ms
(* (/ (* d c0) (* w D)) (/ (/ (* d c0) (* w D)) h))
29.0ms
(/ (/ (* d c0) (* w D)) h)
22.0ms
(/ (* d c0) (* w D))
22.0ms
(/ (* d c0) (* w D))

series242.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
106.0ms
(* (/ (* d c0) (* w D)) (/ (/ (* d c0) (* w D)) h))
65.0ms
(/ (/ (* d c0) (* w D)) h)
37.0ms
(/ (* d c0) (* w D))
34.0ms
(/ (* d c0) (* w D))

simplify48.8s

Counts
170 → 200
Calls
170 calls:
Slowest
2.6s
(* (/ (* (* (* 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.5s
(* (/ (* (* (* 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.4s
(* (/ (* (* (* 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.2s
(* (/ (* (* (* 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)))
1.9s
(* (/ (* (* (* d d) d) (* (* c0 c0) c0)) (* (* (* w w) w) (* (* D D) D))) (* (* (/ (/ (* d c0) (* w D)) h) (/ (/ (* d c0) (* w D)) h)) (/ (/ (* d c0) (* w D)) h)))

prune2.5s

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 19.9b

regimes1.9s

Accuracy

-1.1% (16.0b remaining)

Error of 34.2b against oracle of 18.2b and baseline of 34.0b

bsearch1.1s

end0.0ms

sample20.4s

Algorithm
intervals
Results
4.9s13318×body80nan
4.5s2238×body5120valid
4.3s1790×body2560valid
2.2s6892×body80valid
1.3s591×body10240exit
1.2s934×body1280valid
500.0ms432×body640valid
147.0ms205×body320valid
68.0ms95×body160valid