Details

Time bar (total: 1.1m)

sample304.0ms

Algorithm
intervals
Results
113.0ms77×body5120valid
47.0ms444×body80nan
37.0ms54×body2560valid
21.0ms193×body80valid
15.0ms18×body10240exit
12.0ms23×body1280valid
10.0ms23×body640valid
1.0ms6×body160valid
1.0ms4×body320valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5207
32972
2280
159
021

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.9b

localize51.0ms

Local error

Found 4 expressions with local error:

12.8b
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
12.8b
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
13.3b
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
27.0b
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
134×add-cbrt-cube add-exp-log
54×prod-exp cbrt-unprod
48×cbrt-undiv div-exp
16×sqrt-div
10×frac-times associate-*r/
8×frac-add
7×pow1 flip3-+ flip-+
6×*-un-lft-identity flip3-- associate-*l/ flip-- add-log-exp associate-/l/
4×add-sqr-sqrt add-cube-cbrt insert-posit16
2×clear-num associate-/r* frac-2neg sqrt-pow1 times-frac div-inv associate-/l*
1×+-commutative sum-log pow1/2 pow-prod-down sqrt-prod distribute-lft-out
Counts
4 → 131
Calls
4 calls:
26.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
26.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
34.0ms
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
82.0ms
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

series1.7s

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
90.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
694.0ms
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
811.0ms
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

simplify2.6s

Counts
143 → 143
Iterations
IterNodes
done5009
23584
1670
0224

prune939.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 50.3b

localize72.0ms

Local error

Found 4 expressions with local error:

12.8b
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
12.8b
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
13.3b
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
30.7b
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
134×add-cbrt-cube add-exp-log
54×prod-exp cbrt-unprod
48×cbrt-undiv div-exp
16×sqrt-div
10×frac-times associate-*r/
8×frac-add
7×pow1 flip3-+ flip-+
6×*-un-lft-identity flip3-- associate-*l/ flip-- add-log-exp associate-/l/
4×add-sqr-sqrt add-cube-cbrt insert-posit16
2×clear-num associate-/r* frac-2neg sqrt-pow1 times-frac div-inv associate-/l*
1×+-commutative sum-log pow1/2 pow-prod-down sqrt-prod distribute-lft-out
Counts
4 → 131
Calls
4 calls:
52.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
28.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
21.0ms
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
37.0ms
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

series1.9s

Counts
4 → 12
Calls
4 calls:
100.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
101.0ms
(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
776.0ms
(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
910.0ms
(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

simplify2.6s

Counts
143 → 143
Iterations
IterNodes
done5218
23788
1713
0227

prune1.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 50.3b

localize64.0ms

Local error

Found 4 expressions with local error:

12.8b
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
12.8b
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
13.3b
(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
27.0b
(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

rewrite525.0ms

Algorithm
rewrite-expression-head
Rules
8458×times-frac
3062×*-un-lft-identity
3060×add-sqr-sqrt add-cube-cbrt
1154×associate-/l*
390×div-inv
134×add-cbrt-cube add-exp-log
88×cbrt-undiv div-exp
56×associate-/r/
16×sqrt-div
14×prod-exp cbrt-unprod
8×frac-times frac-add
7×pow1 flip3-+ flip-+
6×flip3-- flip-- add-log-exp
4×associate-*l/ associate-*r/ insert-posit16
2×clear-num associate-/r* frac-2neg sqrt-pow1 associate-/l/
1×+-commutative sum-log pow1/2 pow-prod-down sqrt-prod distribute-lft-out
Counts
4 → 2431
Calls
4 calls:
24.0ms
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
32.0ms
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
117.0ms
(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
130.0ms
(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

series1.7s

Counts
4 → 12
Calls
4 calls:
117.0ms
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
100.0ms
(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
554.0ms
(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
897.0ms
(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

simplify3.5s

Counts
2443 → 2443
Iterations
IterNodes
done5000
02905

prune28.9s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 27.4b

localize11.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune0.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 27.4b

regimes1.9s

Accuracy

18.2% (6.8b remaining)

Error of 32.8b against oracle of 25.9b and baseline of 34.3b

bsearch8.0ms

simplify20.0ms

Iterations
IterNodes
done58
158
043

end0.0ms

sample13.8s

Algorithm
intervals
Results
3.6s2372×body5120valid
3.0s13194×body80nan
2.1s1699×body2560valid
2.0s6691×body80valid
798.0ms948×body1280valid
617.0ms549×body10240exit
283.0ms452×body640valid
85.0ms227×body320valid
29.0ms113×body160valid