Details

Time bar (total: 59.5s)

sample273.0ms

Algorithm
intervals
Results
105.0ms63×body2560valid
62.0ms63×body1280valid
36.0ms68×body80valid
19.0ms31×body640valid
9.0ms20×body320valid
3.0ms1×body5120valid
3.0ms10×body160valid

simplify38.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
023609
142609
280609
3202609
4377609
5514609
6722609
7958609
81127609
91222609
101352609
111406609
121445609
131485609
141517609
151553609
161581609
171613609
181641609
191673609
201701609
211733609
221761609
231793609
241821609
251853609
261881609
271913609
281941609
291973609
302001609
312033609
322061609
332093609
342121609
352153609
362181609
372213609
382241609
392273609
402301609
412333609
422361609
432393609
442421609
452453609
462481609
472513609
482541609
492573609
502601609
512633609
522661609
532693609
542721609
552753609
562781609
572813609
582841609
592873609
602901609
612933609
622961609
632993609
643021609
653053609
663081609
673113609
683141609
693173609
703201609
713233609
723261609
733293609
743321609
753353609
763381609
773413609
783441609
793473609
803501609
813533609
823561609
833593609
843621609
853653609
863681609
873713609
883741609
893773609
903801609
913833609
923861609
933893609
943921609
953953609
963981609
974013609
984041609
994073609
1004101609
1014133609
1024161609
1034193609
1044221609
1054253609
1064281609
1074313609
1084341609
1094373609
1104401609
1114433609
1124461609
1134493609
1144521609
1154553609
1164581609
1174613609
1184641609
1194673609
1204701609
1214733609
1224761609
1234793609
1244821609
1254853609
1264881609
1274913609
1284941609
1294973609
done5000609

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.9b

localize47.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))

rewrite72.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×add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 54
Calls
4 calls:
30.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
34.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))

series174.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
45.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
39.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
43.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify1.6s

Counts
66 → 66
Iterations

Useful iterations: done (1.6s)

IterNodesCost
013816618
138215634
2164015314
done500014914

prune692.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 40.6b

localize24.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))

rewrite74.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×add-log-exp
3×*-commutative
2×flip3-+ flip-+
1×1-exp unswap-sqr
Counts
4 → 66
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)))
35.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series221.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (+ (* a 2.0) 1.0) b)
78.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
45.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
57.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify3.2s

Counts
78 → 78
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
012721144
131319163
295218682
3390218442
done501618442

prune631.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 39.0b

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: 39.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite253.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 associate-*l/
4×add-log-exp
3×associate-*r*
2×pow1/3
1×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 55
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
247.0ms
(* (* (* (+ (* a 2.0) 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t)
4.0ms
(cos (/ (* (* (* (+ (* a 2.0) 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t) 16.0))

series510.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt b)
189.0ms
(cbrt b)
75.0ms
(* (* (* (+ (* a 2.0) 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t)
58.0ms
(cos (/ (* (* (* (+ (* a 2.0) 1.0) (* (cbrt b) (cbrt b))) (cbrt b)) t) 16.0))

simplify1.8s

Counts
67 → 67
Iterations

Useful iterations: done (1.7s)

IterNodesCost
011920411
133518865
2115718627
done500113027

prune315.0ms

Pruning

40 alts after pruning (39 fresh and 1 done)

Merged error: 38.9b

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.1s

Algorithm
intervals
Results
2.4s1819×body2560valid
1.8s2168×body1280valid
1.2s1203×body640valid
777.0ms1928×body80valid
280.0ms569×body320valid
206.0ms47×body5120valid
86.0ms266×body160valid