Details

Time bar (total: 41.0s)

sample239.0ms

Algorithm
intervals
Results
71.0ms331×body80nan
36.0ms45×body1280valid
25.0ms193×body80valid
22.0ms38×body640valid
16.0ms12×body2560valid
4.0ms10×body320valid
1.0ms2×body160valid

simplify134.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
018428
133428
258428
382428
4100428
5108428
6110428
done110428

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.4b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(/ a (* b 3.0))
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
24.6b
(cos (- y (/ (* z t) 3.0)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×prod-diff
19×add-cbrt-cube add-exp-log
15×times-frac
9×pow1
5×prod-exp cbrt-unprod div-inv
4×expm1-log1p-u cbrt-undiv associate-/r* div-exp log1p-expm1-u associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×clear-num frac-2neg
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
9.0ms
(/ (* z t) 3.0)
6.0ms
(/ a (* b 3.0))
26.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
20.0ms
(cos (- y (/ (* z t) 3.0)))

series215.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(/ (* z t) 3.0)
22.0ms
(/ a (* b 3.0))
117.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
44.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.9s

Counts
113 → 113
Iterations

Useful iterations: done (1.9s)

IterNodesCost
032746524
171142335
2291938468
done500038018

prune1.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 13.6b

localize99.0ms

Local error

Found 4 expressions with local error:

24.5b
(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
24.8b
(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
1×cos-sum sin-sum
Counts
4 → 40
Calls
4 calls:
3.0ms
(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
3.0ms
(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
0.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series565.0ms

Counts
4 → 12
Calls
4 calls:
415.0ms
(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
43.0ms
(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
50.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
58.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.1s

Counts
52 → 52
Iterations

Useful iterations: done (1.1s)

IterNodesCost
06414671
110612204
225211054
394610309
done50007973

prune1.1s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 13.5b

localize151.0ms

Local error

Found 4 expressions with local error:

27.7b
(sin (- (* (/ t 3.0) (/ z 1))))
27.7b
(cos (- (* (/ t 3.0) (/ z 1))))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
2×neg-sub0 fma-udef
1×cos-diff cos-neg sin-neg sin-diff
Counts
4 → 42
Calls
4 calls:
10.0ms
(sin (- (* (/ t 3.0) (/ z 1))))
10.0ms
(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(sin (- (* (/ t 3.0) (/ z 1))))
20.0ms
(cos (- (* (/ t 3.0) (/ z 1))))
42.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.0s

Counts
54 → 54
Iterations

Useful iterations: done (993.0ms)

IterNodesCost
05713088
19211365
22289927
39579207
done50006871

prune1.3s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 13.4b

localize154.0ms

Local error

Found 4 expressions with local error:

27.7b
(cos (- (* (/ t 3.0) (/ z 1))))
28.0b
(sin (- (* 0.3333333333333333 (* t z))))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
2×neg-sub0 fma-udef
1×cos-diff cos-neg sin-neg sin-diff
Counts
4 → 42
Calls
4 calls:
5.0ms
(cos (- (* (/ t 3.0) (/ z 1))))
20.0ms
(sin (- (* 0.3333333333333333 (* t z))))
0.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series132.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(cos (- (* (/ t 3.0) (/ z 1))))
25.0ms
(sin (- (* 0.3333333333333333 (* t z))))
40.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
46.0ms
(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.2s

Counts
54 → 54
Iterations

Useful iterations: done (1.2s)

IterNodesCost
05812596
19010645
22269927
39469207
done50016871

prune913.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 13.4b

regimes8.3s

Accuracy

47.4% (2.0b remaining)

Error of 16.5b against oracle of 14.5b and baseline of 18.3b

bsearch7.0ms

simplify12.6s

Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
0552027
1811947
21051947
31301947
41391947
51431947
61471947
71511947
81551947
91591947
101631947
111671947
121711947
131751947
141791947
151831947
161871947
171911947
181951947
191991947
202031947
212071947
222111947
232151947
242191947
252231947
262271947
272311947
282351947
292391947
302431947
312471947
322511947
332551947
342591947
352631947
362671947
372711947
382751947
392791947
402831947
412871947
422911947
432951947
442991947
453031947
463071947
473111947
483151947
493191947
503231947
513271947
523311947
533351947
543391947
553431947
563471947
573511947
583551947
593591947
603631947
613671947
623711947
633751947
643791947
653831947
663871947
673911947
683951947
693991947
704031947
714071947
724111947
734151947
744191947
754231947
764271947
774311947
784351947
794391947
804431947
814471947
824511947
834551947
844591947
854631947
864671947
874711947
884751947
894791947
904831947
914871947
924911947
934951947
944991947
955031947
965071947
975111947
985151947
995191947
1005231947
1015271947
1025311947
1035351947
1045391947
1055431947
1065471947
1075511947
1085551947
1095591947
1105631947
1115671947
1125711947
1135751947
1145791947
1155831947
1165871947
1175911947
1185951947
1195991947
1206031947
1216071947
1226111947
1236151947
1246191947
1256231947
1266271947
1276311947
1286351947
1296391947
1306431947
1316471947
1326511947
1336551947
1346591947
1356631947
1366671947
1376711947
1386751947
1396791947
1406831947
1416871947
1426911947
1436951947
1446991947
1457031947
1467071947
1477111947
1487151947
1497191947
1507231947
1517271947
1527311947
1537351947
1547391947
1557431947
1567471947
1577511947
1587551947
1597591947
1607631947
1617671947
1627711947
1637751947
1647791947
1657831947
1667871947
1677911947
1687951947
1697991947
1708031947
1718071947
1728111947
1738151947
1748191947
1758231947
1768271947
1778311947
1788351947
1798391947
1808431947
1818471947
1828511947
1838551947
1848591947
1858631947
1868671947
1878711947
1888751947
1898791947
1908831947
1918871947
1928911947
1938951947
1948991947
1959031947
1969071947
1979111947
1989151947
1999191947
2009231947
2019271947
2029311947
2039351947
2049391947
2059431947
2069471947
2079511947
2089551947
2099591947
2109631947
2119671947
2129711947
2139751947
2149791947
2159831947
2169871947
2179911947
2189951947
2199991947
22010031947
22110071947
22210111947
22310151947
22410191947
22510231947
22610271947
22710311947
22810351947
22910391947
23010431947
23110471947
23210511947
23310551947
23410591947
23510631947
23610671947
23710711947
23810751947
23910791947
24010831947
24110871947
24210911947
24310951947
24410991947
24511031947
24611071947
24711111947
24811151947
24911191947
25011231947
25111271947
25211311947
25311351947
25411391947
25511431947
25611471947
25711511947
25811551947
25911591947
26011631947
26111671947
26211711947
26311751947
26411791947
26511831947
26611871947
26711911947
26811951947
26911991947
27012031947
27112071947
27212111947
27312151947
27412191947
27512231947
27612271947
27712311947
27812351947
27912391947
28012431947
28112471947
28212511947
28312551947
28412591947
28512631947
28612671947
28712711947
28812751947
28912791947
29012831947
29112871947
29212911947
29312951947
29412991947
29513031947
29613071947
29713111947
29813151947
29913191947
30013231947
30113271947
30213311947
30313351947
30413391947
30513431947
30613471947
30713511947
30813551947
30913591947
31013631947
31113671947
31213711947
31313751947
31413791947
31513831947
31613871947
31713911947
31813951947
31913991947
32014031947
32114071947
32214111947
32314151947
32414191947
32514231947
32614271947
32714311947
32814351947
32914391947
33014431947
33114471947
33214511947
33314551947
33414591947
33514631947
33614671947
33714711947
33814751947
33914791947
34014831947
34114871947
34214911947
34314951947
34414991947
34515031947
34615071947
34715111947
34815151947
34915191947
35015231947
35115271947
35215311947
35315351947
35415391947
35515431947
35615471947
35715511947
35815551947
35915591947
36015631947
36115671947
36215711947
36315751947
36415791947
36515831947
36615871947
36715911947
36815951947
36915991947
37016031947
37116071947
37216111947
37316151947
37416191947
37516231947
37616271947
37716311947
37816351947
37916391947
38016431947
38116471947
38216511947
38316551947
38416591947
38516631947
38616671947
38716711947
38816751947
38916791947
39016831947
39116871947
39216911947
39316951947
39416991947
39517031947
39617071947
39717111947
39817151947
39917191947
40017231947
40117271947
40217311947
40317351947
40417391947
40517431947
40617471947
40717511947
40817551947
40917591947
41017631947
41117671947
41217711947
41317751947
41417791947
41517831947
41617871947
41717911947
41817951947
41917991947
42018031947
42118071947
42218111947
42318151947
42418191947
42518231947
42618271947
42718311947
42818351947
42918391947
43018431947
43118471947
43218511947
43318551947
43418591947
43518631947
43618671947
43718711947
43818751947
43918791947
44018831947
44118871947
44218911947
44318951947
44418991947
44519031947
44619071947
44719111947
44819151947
44919191947
45019231947
45119271947
45219311947
45319351947
45419391947
45519431947
45619471947
45719511947
45819551947
45919591947
46019631947
46119671947
46219711947
46319751947
46419791947
46519831947
46619871947
46719911947
46819951947
46919991947
47020031947
47120071947
47220111947
47320151947
47420191947
47520231947
47620271947
47720311947
47820351947
47920391947
48020431947
48120471947
48220511947
48320551947
48420591947
48520631947
48620671947
48720711947
48820751947
48920791947
49020831947
49120871947
49220911947
49320951947
49420991947
49521031947
49621071947
49721111947
49821151947
49921191947
50021231947
50121271947
50221311947
50321351947
50421391947
50521431947
50621471947
50721511947
50821551947
50921591947
51021631947
51121671947
51221711947
51321751947
51421791947
51521831947
51621871947
51721911947
51821951947
51921991947
52022031947
52122071947
52222111947
52322151947
52422191947
52522231947
52622271947
52722311947
52822351947
52922391947
53022431947
53122471947
53222511947
53322551947
53422591947
53522631947
53622671947
53722711947
53822751947
53922791947
54022831947
54122871947
54222911947
54322951947
54422991947
54523031947
54623071947
54723111947
54823151947
54923191947
55023231947
55123271947
55223311947
55323351947
55423391947
55523431947
55623471947
55723511947
55823551947
55923591947
56023631947
56123671947
56223711947
56323751947
56423791947
56523831947
56623871947
56723911947
56823951947
56923991947
57024031947
57124071947
57224111947
57324151947
57424191947
57524231947
57624271947
57724311947
57824351947
57924391947
58024431947
58124471947
58224511947
58324551947
58424591947
58524631947
58624671947
58724711947
58824751947
58924791947
59024831947
59124871947
59224911947
59324951947
59424991947
59525031947
59625071947
59725111947
59825151947
59925191947
60025231947
60125271947
60225311947
60325351947
60425391947
60525431947
60625471947
60725511947
60825551947
60925591947
61025631947
61125671947
61225711947
61325751947
61425791947
61525831947
61625871947
61725911947
61825951947
61925991947
62026031947
62126071947
62226111947
62326151947
62426191947
62526231947
62626271947
62726311947
62826351947
62926391947
63026431947
63126471947
63226511947
63326551947
63426591947
63526631947
63626671947
63726711947
63826751947
63926791947
64026831947
64126871947
64226911947
64326951947
64426991947
64527031947
64627071947
64727111947
64827151947
64927191947
65027231947
65127271947
65227311947
65327351947
65427391947
65527431947
65627471947
65727511947
65827551947
65927591947
66027631947
66127671947
66227711947
66327751947
66427791947
66527831947
66627871947
66727911947
66827951947
66927991947
67028031947
67128071947
67228111947
67328151947
67428191947
67528231947
67628271947
67728311947
67828351947
67928391947
68028431947
68128471947
68228511947
68328551947
68428591947
68528631947
68628671947
68728711947
68828751947
68928791947
69028831947
69128871947
69228911947
69328951947
69428991947
69529031947
69629071947
69729111947
69829151947
69929191947
70029231947
70129271947
70229311947
70329351947
70429391947
70529431947
70629471947
70729511947
70829551947
70929591947
71029631947
71129671947
71229711947
71329751947
71429791947
71529831947
71629871947
71729911947
71829951947
71929991947
72030031947
72130071947
72230111947
72330151947
72430191947
72530231947
72630271947
72730311947
72830351947
72930391947
73030431947
73130471947
73230511947
73330551947
73430591947
73530631947
73630671947
73730711947
73830751947
73930791947
74030831947
74130871947
74230911947
74330951947
74430991947
74531031947
74631071947
74731111947
74831151947
74931191947
75031231947
75131271947
75231311947
75331351947
75431391947
75531431947
75631471947
75731511947
75831551947
75931591947
76031631947
76131671947
76231711947
76331751947
76431791947
76531831947
76631871947
76731911947
76831951947
76931991947
77032031947
77132071947
77232111947
77332151947
77432191947
77532231947
77632271947
77732311947
77832351947
77932391947
78032431947
78132471947
78232511947
78332551947
78432591947
78532631947
78632671947
78732711947
78832751947
78932791947
79032831947
79132871947
79232911947
79332951947
79432991947
79533031947
79633071947
79733111947
79833151947
79933191947
80033231947
80133271947
80233311947
80333351947
80433391947
80533431947
80633471947
80733511947
80833551947
80933591947
81033631947
81133671947
81233711947
81333751947
81433791947
81533831947
81633871947
81733911947
81833951947
81933991947
82034031947
82134071947
82234111947
82334151947
82434191947
82534231947
82634271947
82734311947
82834351947
82934391947
83034431947
83134471947
83234511947
83334551947
83434591947
83534631947
83634671947
83734711947
83834751947
83934791947
84034831947
84134871947
84234911947
84334951947
84434991947
84535031947
84635071947
84735111947
84835151947
84935191947
85035231947
85135271947
85235311947
85335351947
85435391947
85535431947
85635471947
85735511947
85835551947
85935591947
86035631947
86135671947
86235711947
86335751947
86435791947
86535831947
86635871947
86735911947
86835951947
86935991947
87036031947
87136071947
87236111947
87336151947
87436191947
87536231947
87636271947
87736311947
87836351947
87936391947
88036431947
88136471947
88236511947
88336551947
88436591947
88536631947
88636671947
88736711947
88836751947
88936791947
89036831947
89136871947
89236911947
89336951947
89436991947
89537031947
89637071947
89737111947
89837151947
89937191947
90037231947
90137271947
90237311947
90337351947
90437391947
90537431947
90637471947
90737511947
90837551947
90937591947
91037631947
91137671947
91237711947
91337751947
91437791947
91537831947
91637871947
91737911947
91837951947
91937991947
92038031947
92138071947
92238111947
92338151947
92438191947
92538231947
92638271947
92738311947
92838351947
92938391947
93038431947
93138471947
93238511947
93338551947
93438591947
93538631947
93638671947
93738711947
93838751947
93938791947
94038831947
94138871947
94238911947
94338951947
94438991947
94539031947
94639071947
94739111947
94839151947
94939191947
95039231947
95139271947
95239311947
95339351947
95439391947
95539431947
95639471947
95739511947
95839551947
95939591947
96039631947
96139671947
96239711947
96339751947
96439791947
96539831947
96639871947
96739911947
96839951947
96939991947
97040031947
97140071947
97240111947
97340151947
97440191947
97540231947
97640271947
97740311947
97840351947
97940391947
98040431947
98140471947
98240511947
98340551947
98440591947
98540631947
98640671947
98740711947
98840751947
98940791947
99040831947
99140871947
99240911947
99340951947
99440991947
99541031947
99641071947
99741111947
99841151947
99941191947
100041231947
100141271947
100241311947
100341351947
100441391947
100541431947
100641471947
100741511947
100841551947
100941591947
101041631947
101141671947
101241711947
101341751947
101441791947
101541831947
101641871947
101741911947
101841951947
101941991947
102042031947
102142071947
102242111947
102342151947
102442191947
102542231947
102642271947
102742311947
102842351947
102942391947
103042431947
103142471947
103242511947
103342551947
103442591947
103542631947
103642671947
103742711947
103842751947
103942791947
104042831947
104142871947
104242911947
104342951947
104442991947
104543031947
104643071947
104743111947
104843151947
104943191947
105043231947
105143271947
105243311947
105343351947
105443391947
105543431947
105643471947
105743511947
105843551947
105943591947
106043631947
106143671947
106243711947
106343751947
106443791947
106543831947
106643871947
106743911947
106843951947
106943991947
107044031947
107144071947
107244111947
107344151947
107444191947
107544231947
107644271947
107744311947
107844351947
107944391947
108044431947
108144471947
108244511947
108344551947
108444591947
108544631947
108644671947
108744711947
108844751947
108944791947
109044831947
109144871947
109244911947
109344951947
109444991947
109545031947
109645071947
109745111947
109845151947
109945191947
110045231947
110145271947
110245311947
110345351947
110445391947
110545431947
110645471947
110745511947
110845551947
110945591947
111045631947
111145671947
111245711947
111345751947
111445791947
111545831947
111645871947
111745911947
111845951947
111945991947
112046031947
112146071947
112246111947
112346151947
112446191947
112546231947
112646271947
112746311947
112846351947
112946391947
113046431947
113146471947
113246511947
113346551947
113446591947
113546631947
113646671947
113746711947
113846751947
113946791947
114046831947
114146871947
114246911947
114346951947
114446991947
114547031947
114647071947
114747111947
114847151947
114947191947
115047231947
115147271947
115247311947
115347351947
115447391947
115547431947
115647471947
115747511947
115847551947
115947591947
116047631947
116147671947
116247711947
116347751947
116447791947
116547831947
116647871947
116747911947
116847951947
116947991947
117048031947
117148071947
117248111947
117348151947
117448191947
117548231947
117648271947
117748311947
117848351947
117948391947
118048431947
118148471947
118248511947
118348551947
118448591947
118548631947
118648671947
118748711947
118848751947
118948791947
119048831947
119148871947
119248911947
119348951947
119448991947
119549031947
119649071947
119749111947
119849151947
119949191947
120049231947
120149271947
120249311947
120349351947
120449391947
120549431947
120649471947
120749511947
120849551947
120949591947
121049631947
121149671947
121249711947
121349751947
121449791947
121549831947
121649871947
121749911947
121849951947
121949991947
done50011947

end0.0ms

sample8.2s

Algorithm
intervals
Results
2.7s9021×body80nan
1.4s1537×body1280valid
1.2s994×body640valid
893.0ms5565×body80valid
604.0ms409×body2560valid
221.0ms458×body320valid
101.0ms185×body160valid