Details

Time bar (total: 2.7m)

sample540.0ms

Algorithm
intervals
Results
123.0ms57×body5120valid
94.0ms427×body80nan
84.0ms60×body2560valid
75.0ms230×body80valid
46.0ms15×body640valid
34.0ms29×body1280valid
24.0ms15×body10240exit
5.0ms10×body160valid
4.0ms6×body320valid

simplify1.0s

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.1b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
86×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
26×cbrt-undiv div-exp associate-*l*
24×add-sqr-sqrt
20×*-un-lft-identity times-frac
18×frac-times add-cube-cbrt
17×pow1
16×sqrt-div
14×associate-*r/
10×associate-*l/
8×frac-add
7×flip3-+ pow-prod-down flip-+
6×flip3-- flip-- add-log-exp
4×insert-posit16 unswap-sqr
2×sqrt-pow1 associate-*r* *-commutative div-inv
1×+-commutative sum-log pow1/2 sqrt-prod distribute-lft-out
Counts
4 → 149
Calls
4 calls:
Slowest
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))
52.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
47.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
32.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series2.2s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
732.0ms
(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
115.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
96.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify27.4s

Counts
133 → 161
Calls
133 calls:
Slowest
797.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)))))
784.0ms
(* (* (* (/ c0 w) (/ c0 w)) (/ c0 w)) (* (/ (* (* d d) d) (* (* D D) D)) (* (* (/ d D) (/ d D)) (/ d D))))
761.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)))))
669.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)))))
617.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))

prune2.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 46.8b

localize62.0ms

Local error

Found 4 expressions with local error:

14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
6.0b
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
180×add-cbrt-cube add-exp-log
72×prod-exp cbrt-unprod
63×cbrt-undiv div-exp
39×associate-*l*
36×add-sqr-sqrt
33×times-frac
27×*-un-lft-identity add-cube-cbrt
20×frac-times associate-*r/
19×pow1
12×associate-*l/
9×pow-prod-down
7×associate-/l/
6×unswap-sqr
4×insert-posit16 div-inv add-log-exp
3×associate-/r* associate-*r* *-commutative
1×clear-num frac-2neg associate-/l*
Counts
4 → 209
Calls
4 calls:
Slowest
54.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
52.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
47.0ms
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)
35.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

series523.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
143.0ms
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)
137.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
127.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
116.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify37.7s

Counts
188 → 221
Calls
188 calls:
Slowest
991.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (* (* (/ d D) (/ d D)) (/ d D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* h h) h))
970.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* h h) h))
818.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* h h) h))
772.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (* (* (/ d D) (/ d D)) (/ d D))))
707.0ms
(/ (* (* (* (/ c0 w) (/ c0 w)) (/ c0 w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* h h) h))

prune4.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 46.7b

localize78.0ms

Local error

Found 4 expressions with local error:

23.6b
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
23.6b
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
23.6b
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
45×add-cbrt-cube add-exp-log
21×cbrt-div
20×frac-times associate-*r/
18×prod-exp cbrt-unprod
14×add-sqr-sqrt
13×cbrt-undiv div-exp associate-*l*
12×associate-*l/
11×*-un-lft-identity add-cube-cbrt
10×times-frac
9×pow1
4×insert-posit16 add-log-exp
3×cbrt-prod pow1/3 pow-prod-down
2×unswap-sqr
1×associate-*r* *-commutative div-inv
Counts
4 → 105
Calls
4 calls:
Slowest
39.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
36.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
25.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
18.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))

series580.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
175.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
158.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
137.0ms
(cbrt (* (/ c0 w) (* (/ d D) (/ d D))))
110.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify14.4s

Counts
82 → 117
Calls
82 calls:
Slowest
1.1s
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
788.0ms
(exp (* 1/3 (- (+ (log (/ -1 w)) (* 2 (log (/ -1 D)))) (+ (* 2 (log (/ -1 d))) (log (/ -1 c0))))))
687.0ms
(exp (* 1/3 (- (+ (log (/ -1 w)) (* 2 (log (/ -1 D)))) (+ (* 2 (log (/ -1 d))) (log (/ -1 c0))))))
656.0ms
(exp (* 1/3 (- (+ (log (/ -1 w)) (* 2 (log (/ -1 D)))) (+ (* 2 (log (/ -1 d))) (log (/ -1 c0))))))
515.0ms
(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (* (* (/ d D) (/ d D)) (/ d D)) (/ (* (* d d) d) (* (* D D) D))))

prune2.7s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 46.7b

localize80.0ms

Local error

Found 4 expressions with local error:

14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
14.2b
(* (/ c0 w) (* (/ d D) (/ d D)))
6.0b
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
180×add-cbrt-cube add-exp-log
72×prod-exp cbrt-unprod
63×cbrt-undiv div-exp
39×associate-*l*
36×add-sqr-sqrt
33×times-frac
27×*-un-lft-identity add-cube-cbrt
20×frac-times associate-*r/
19×pow1
12×associate-*l/
9×pow-prod-down
7×associate-/l/
6×unswap-sqr
4×insert-posit16 div-inv add-log-exp
3×associate-/r* associate-*r* *-commutative
1×clear-num frac-2neg associate-/l*
Counts
4 → 209
Calls
4 calls:
Slowest
52.0ms
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)
46.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
33.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
32.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

series419.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
106.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))
104.0ms
(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)
101.0ms
(* (/ c0 w) (* (/ d D) (/ d D)))

simplify36.9s

Counts
188 → 221
Calls
188 calls:
Slowest
951.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* h h) h))
862.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (* (* (/ d D) (/ d D)) (/ d D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* h h) h))
853.0ms
(/ (* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* h h) h))
743.0ms
(* (* (* (/ c0 w) (/ c0 w)) (/ c0 w)) (* (* (* (/ d D) (/ d D)) (/ d D)) (/ (* (* d d) d) (* (* D D) D))))
713.0ms
(/ (* (* (* (/ c0 w) (/ c0 w)) (/ c0 w)) (* (/ (* (* d d) d) (* (* D D) D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* h h) h))

prune4.8s

Pruning

21 alts after pruning (19 fresh and 2 done)

Merged error: 46.7b

regimes2.5s

Accuracy

34.8% (4.1b remaining)

Error of 52.0b against oracle of 47.9b and baseline of 54.2b

bsearch60.0ms

end0.0ms

sample19.8s

Algorithm
intervals
Results
5.1s2301×body5120valid
4.5s12801×body80nan
2.9s1703×body2560valid
2.5s6718×body80valid
1.7s918×body1280valid
1.1s542×body10240exit
493.0ms454×body640valid
169.0ms209×body320valid
95.0ms139×body160valid