Details

Time bar (total: 56.1s)

sample101.0ms

Algorithm
intervals
Results
23.0ms26×body1280valid
22.0ms182×body80valid
20.0ms31×body640valid
4.0ms11×body320valid
2.0ms6×body160valid

simplify13.5s

Counts
1 → 1
Iterations
IterNodes
done5000
2484982
2474964
2464942
2454924
2444902
2434884
2424862
2414844
2404822
2394804
2384782
2374764
2364742
2354724
2344702
2334684
2324662
2314644
2304622
2294604
2284582
2274564
2264542
2254524
2244502
2234484
2224462
2214444
2204422
2194404
2184382
2174364
2164342
2154324
2144302
2134284
2124262
2114244
2104222
2094204
2084182
2074164
2064142
2054124
2044102
2034084
2024062
2014044
2004022
1994004
1983982
1973964
1963942
1953924
1943902
1933884
1923862
1913844
1903822
1893804
1883782
1873764
1863742
1853724
1843702
1833684
1823662
1813644
1803622
1793604
1783582
1773564
1763542
1753524
1743502
1733484
1723462
1713444
1703422
1693404
1683382
1673364
1663342
1653324
1643302
1633284
1623262
1613244
1603222
1593204
1583182
1573164
1563142
1553124
1543102
1533084
1523062
1513044
1503022
1493004
1482982
1472964
1462942
1452924
1442902
1432884
1422862
1412844
1402822
1392804
1382782
1372764
1362742
1352724
1342702
1332684
1322662
1312644
1302622
1292604
1282582
1272564
1262542
1252524
1242502
1232484
1222462
1212444
1202422
1192404
1182382
1172364
1162342
1152324
1142302
1132284
1122262
1112244
1102222
1092204
1082182
1072164
1062142
1052124
1042102
1032084
1022062
1012044
1002022
992004
981982
971964
961942
951924
941902
931884
921862
911844
901822
891804
881782
871764
861742
851724
841702
831684
821662
811644
801622
791604
781582
771564
761542
751524
741502
731484
721462
711444
701422
691404
681382
671364
661342
651324
641302
631284
621262
611244
601222
591204
581182
571164
561142
551124
541102
531084
521062
511044
501022
491004
48982
47964
46942
45924
44902
43884
42862
41844
40822
39804
38782
37764
36742
35724
34702
33684
32662
31644
30622
29604
28582
27564
26542
25524
24502
23484
22462
21444
20422
19404
18382
17364
16342
15324
14302
13284
12260
11168
10135
999
883
763
649
539
437
335
228
114
08

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize90.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x (cos y)) (* z (sin y)))
0.1b
(* z (sin y))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l*
2×diff-log
1×sub-neg flip3-- pow-prod-down prod-exp associate--l+ sum-log *-commutative flip-- cbrt-unprod unswap-sqr
Counts
2 → 32
Calls
2 calls:
179.0ms
(- (+ x (cos y)) (* z (sin y)))
41.0ms
(* z (sin y))

series396.0ms

Counts
2 → 6
Calls
2 calls:
210.0ms
(- (+ x (cos y)) (* z (sin y)))
185.0ms
(* z (sin y))

simplify3.9s

Counts
38 → 38
Iterations
IterNodes
done5005
31836
2446
1160
069

prune387.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (sin y)) (cbrt (sin y)))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
31.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
3.0ms
(cbrt (sin y))
3.0ms
(cbrt (sin y))
3.0ms
(cbrt (sin y))

series790.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
204.0ms
(cbrt (sin y))
183.0ms
(cbrt (sin y))
192.0ms
(cbrt (sin y))

simplify3.3s

Counts
85 → 85
Iterations
IterNodes
done5000
31329
2468
1175
075

prune729.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
24.0ms
(* (cbrt z) (cbrt z))
2.0ms
(cbrt z)
2.0ms
(cbrt z)
2.0ms
(cbrt z)

series2.2s

Counts
4 → 12
Calls
4 calls:
449.0ms
(* (cbrt z) (cbrt z))
439.0ms
(cbrt z)
953.0ms
(cbrt z)
395.0ms
(cbrt z)

simplify8.6s

Counts
85 → 85
Iterations
IterNodes
done5002
43625
31001
2372
1137
061

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize275.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.6b
(cbrt (cbrt z))
0.6b
(cbrt (* (cbrt z) (cbrt z)))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 45
Calls
4 calls:
2.0ms
(cbrt z)
15.0ms
(cbrt z)
16.0ms
(cbrt (cbrt z))
49.0ms
(cbrt (* (cbrt z) (cbrt z)))

series2.3s

Counts
4 → 12
Calls
4 calls:
377.0ms
(cbrt z)
372.0ms
(cbrt z)
513.0ms
(cbrt (cbrt z))
1.1s
(cbrt (* (cbrt z) (cbrt z)))

simplify3.4s

Counts
57 → 57
Iterations
IterNodes
done5000
41746
3639
2264
1113
058

prune935.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample12.3s

Algorithm
intervals
Results
6.1s5643×body80valid
3.4s976×body1280valid
1.6s785×body640valid
711.0ms388×body320valid
102.0ms208×body160valid