Details

Time bar (total: 1.2m)

sample230.0ms

Algorithm
intervals
Results
92.0ms63×body2560valid
47.0ms63×body1280valid
39.0ms20×body320valid
15.0ms31×body640valid
7.0ms68×body80valid
3.0ms1×body5120valid
2.0ms10×body160valid

simplify48.6s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
023609
144559
284559
3214559
4414559
5616559
6853559
71150559
81324559
91403559
101528559
111569559
121605559
131630559
141658559
151683559
161710559
171734559
181762559
191786559
201814559
211839559
221867559
231892559
241920559
251944559
261971559
271994559
282021559
292045559
302073559
312098559
322126559
332150559
342176559
352200559
362229559
372254559
382282559
392307559
402335559
412359559
422385559
432410559
442439559
452464559
462492559
472517559
482546559
492571559
502597559
512622559
522651559
532676559
542703559
552727559
562754559
572779559
582806559
592831559
602860559
612885559
622912559
632936559
642965559
652990559
663017559
673040559
683068559
693092559
703119559
713142559
723169559
733194559
743221559
753246559
763275559
773300559
783327559
793350559
803377559
813402559
823430559
833454559
843481559
853505559
863532559
873557559
883585559
893610559
903638559
913663559
923691559
933716559
943743559
953768559
963795559
973819559
983846559
993870559
1003898559
1013922559
1023948559
1033972559
1044001559
1054026559
1064054559
1074078559
1084106559
1094131559
1104158559
1114183559
1124211559
1134236559
1144263559
1154287559
1164314559
1174339559
1184366559
1194390559
1204419559
1214444559
1224470559
1234493559
1244521559
1254546559
1264573559
1274598559
1284627559
1294652559
1304679559
1314702559
1324730559
1334755559
1344782559
1354807559
1364836559
1374861559
1384888559
1394913559
1404942559
1414967559
1424995559
done5000559

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.8b

localize44.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (+ (* a 2.0) 1.0) b) t)
3.6b
(* (* (+ (* y 2.0) 1.0) z) t)
32.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
36.5b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-cbrt-cube add-exp-log
8×associate-*l/
6×add-sqr-sqrt *-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 62
Calls
4 calls:
30.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
35.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
3.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
3.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series169.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
46.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
39.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
40.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify1.7s

Counts
74 → 74
Iterations

Useful iterations: done (1.7s)

IterNodesCost
014618982
139716448
2168816318
done500015728

prune598.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 40.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* a 2.0) 1.0) b)
0.1b
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
2.5b
(* (* (+ (* a 2.0) 1.0) b) t)
32.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
16×pow1 add-cbrt-cube
10×add-sqr-sqrt
9×associate-*r* prod-exp
8×*-un-lft-identity add-cube-cbrt
7×pow-prod-down cbrt-unprod
6×associate-*l/
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×flip3-+ flip-+
1×1-exp unswap-sqr
Counts
4 → 74
Calls
4 calls:
20.0ms
(* (+ (* a 2.0) 1.0) b)
14.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
29.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series201.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (+ (* a 2.0) 1.0) b)
73.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
46.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
39.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify2.5s

Counts
86 → 86
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
013523590
132619732
2113119441
3460618881
done500018881

prune631.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 38.8b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune206.0ms

Pruning

33 alts after pruning (32 fresh and 1 done)

Merged error: 38.8b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
2.5b
(* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t)
32.6b
(cos (/ (* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t) 16.0))

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
13×add-cbrt-cube
10×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r*
2×pow1/3
1×associate-*l* *-commutative
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
182.0ms
(* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t)
3.0ms
(cos (/ (* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t) 16.0))

series517.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(cbrt b)
190.0ms
(cbrt b)
76.0ms
(* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t)
61.0ms
(cos (/ (* (* (* (fma 2.0 a 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t) 16.0))

simplify3.5s

Counts
73 → 73
Iterations

Useful iterations: 3 (1.9s)

IterNodesCost
010820851
126819516
292019278
3469613358
done500013358

prune363.0ms

Pruning

40 alts after pruning (39 fresh and 1 done)

Merged error: 38.7b

regimes3.6s

Accuracy

0% (4.4b remaining)

Error of 44.0b against oracle of 39.6b and baseline of 44.0b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
done11

end0.0ms

sample7.6s

Algorithm
intervals
Results
3.3s1819×body2560valid
2.5s2168×body1280valid
702.0ms1203×body640valid
302.0ms1928×body80valid
218.0ms569×body320valid
132.0ms47×body5120valid
61.0ms266×body160valid