Details

Time bar (total: 10.7s)

sample57.0ms

Algorithm
intervals
Results
22.0ms372×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01717
13217
26817
312117
419217
529317
643517
764917
887617
9103617
10119217
11132917
12148917
13164217
14177917
15193917
16209317
17223017
18239017
19254417
20268117
21284117
22299517
23313217
24329217
25344617
26358317
27374317
28389717
29403417
30419417
31434817
32448517
33464517
34479917
35493617
done500017

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b
(/ (* a b) 4.0)
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(+ (* x y) (/ (* z t) 16.0))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
13×*-un-lft-identity
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt sum-log
4×pow1 diff-log
3×associate-+l+ flip3-+ times-frac associate-/r* flip-+
2×cbrt-undiv +-commutative sub-neg div-exp associate--l+ frac-sub distribute-lft-out distribute-lft-out--
1×associate-+l- flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv associate-/l* difference-of-squares
Counts
4 → 69
Calls
4 calls:
9.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
9.0ms
(/ (* a b) 4.0)
12.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
5.0ms
(+ (* x y) (/ (* z t) 16.0))

series97.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0ms
(/ (* a b) 4.0)
49.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
13.0ms
(+ (* x y) (/ (* z t) 16.0))

simplify412.0ms

Counts
81 → 81
Iterations

Useful iterations: done (410.0ms)

IterNodesCost
01411389
13811288
213331232
done50001204

prune113.0ms

Filtered
60 candidates to 81 candidates (-35.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New79281
Fresh000
Picked011
Done000
Total79382

Merged error: 0.0b

Counts
82 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.3b
(/ a (/ 4.0 b))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
55×add-sqr-sqrt
53×*-un-lft-identity
46×add-cube-cbrt
20×add-log-exp
13×associate-/r*
9×add-exp-log add-cbrt-cube
6×sum-log
5×div-inv
4×pow1 diff-log
3×cbrt-undiv associate-+l+ flip3-+ div-exp flip-+ associate-/l* difference-of-squares
2×+-commutative sub-neg associate--l+ frac-sub distribute-lft-out distribute-lft-out--
1×associate-+l- flip3-- frac-2neg clear-num associate-/r/ flip--
Counts
4 → 120
Calls
4 calls:
19.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
26.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
5.0ms
(+ (* x y) (/ (* z t) 16.0))
6.0ms
(/ a (/ 4.0 b))

series98.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
53.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
12.0ms
(+ (* x y) (/ (* z t) 16.0))
4.0ms
(/ a (/ 4.0 b))

simplify523.0ms

Counts
132 → 132
Iterations

Useful iterations: 2 (169.0ms)

IterNodesCost
02462161
16052000
220631934
done50001934

prune190.0ms

Filtered
105 candidates to 132 candidates (-25.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1311132
Fresh011
Picked011
Done011
Total1314135

Merged error: 0.0b

Counts
135 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.2b
(/ (/ 4.0 b) a)
0.5b
(/ 1 (/ (/ 4.0 b) a))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
237×*-un-lft-identity
230×add-sqr-sqrt add-cube-cbrt
46×associate-/r*
30×add-exp-log
23×div-inv
18×div-exp add-cbrt-cube
16×associate-/l*
15×add-log-exp
9×cbrt-undiv
5×pow1 sum-log
3×rec-exp associate-+l+ 1-exp distribute-lft-out
2×+-commutative frac-2neg flip3-+ diff-log clear-num flip-+ distribute-lft-out--
1×associate-+l- sub-neg pow-flip associate--l+ associate-/r/ associate-/l/ inv-pow
Counts
4 → 301
Calls
4 calls:
50.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
5.0ms
(+ (* x y) (/ (* z t) 16.0))
7.0ms
(/ (/ 4.0 b) a)
13.0ms
(/ 1 (/ (/ 4.0 b) a))

series75.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
12.0ms
(+ (* x y) (/ (* z t) 16.0))
3.0ms
(/ (/ 4.0 b) a)
4.0ms
(/ 1 (/ (/ 4.0 b) a))

simplify693.0ms

Counts
313 → 313
Iterations

Useful iterations: 2 (370.0ms)

IterNodesCost
04895177
112374603
238803829
done50003829

prune324.0ms

Filtered
176 candidates to 313 candidates (-77.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New3130313
Fresh011
Picked011
Done022
Total3134317

Merged error: 0.0b

Counts
317 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
0.5b
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.5b
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.5b
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
51×cbrt-prod
23×add-sqr-sqrt
22×distribute-lft-out
18×cbrt-div
15×add-cube-cbrt
14×swap-sqr
11×pow1 distribute-lft-out--
9×flip3-+ pow1/3 flip-+
8×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 105
Calls
4 calls:
34.0ms
(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
16.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
12.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
12.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

series299.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
55.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
57.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
53.0ms
(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

simplify671.0ms

Counts
117 → 117
Iterations

Useful iterations: 3 (260.0ms)

IterNodesCost
01384572
12954331
28634027
329703363
done50013363

prune258.0ms

Filtered
75 candidates to 117 candidates (-56.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1161117
Fresh000
Picked011
Done123
Total1174121

Merged error: 0b

Counts
121 → 4

regimes1.3s

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01717
12217
done2217

end0.0ms

sample1.7s

Algorithm
intervals
Results
735.0ms11996×body80valid

Profiling

Loading profile data...