Details

Time bar (total: 21.6s)

sample74.0ms

Algorithm
intervals
Results
22.0ms30×body1280valid
20.0ms181×body80valid
15.0ms26×body640valid
6.0ms15×body320valid
1.0ms4×body160valid

simplify5.0s

Counts
1 → 1
Iterations
IterNodes
done5000
2664986
2654970
2644950
2634934
2624914
2614898
2604878
2594862
2584842
2574826
2564806
2554790
2544770
2534754
2524734
2514718
2504698
2494682
2484662
2474646
2464626
2454610
2444590
2434574
2424554
2414538
2404518
2394502
2384482
2374466
2364446
2354430
2344410
2334394
2324374
2314358
2304338
2294322
2284302
2274286
2264266
2254250
2244230
2234214
2224194
2214178
2204158
2194142
2184122
2174106
2164086
2154070
2144050
2134034
2124014
2113998
2103978
2093962
2083942
2073926
2063906
2053890
2043870
2033854
2023834
2013818
2003798
1993782
1983762
1973746
1963726
1953710
1943690
1933674
1923654
1913638
1903618
1893602
1883582
1873566
1863546
1853530
1843510
1833494
1823474
1813458
1803438
1793422
1783402
1773386
1763366
1753350
1743330
1733314
1723294
1713278
1703258
1693242
1683222
1673206
1663186
1653170
1643150
1633134
1623114
1613098
1603078
1593062
1583042
1573026
1563006
1552990
1542970
1532954
1522934
1512918
1502898
1492882
1482862
1472846
1462826
1452810
1442790
1432774
1422754
1412738
1402718
1392702
1382682
1372666
1362646
1352630
1342610
1332594
1322574
1312558
1302538
1292522
1282502
1272486
1262466
1252450
1242430
1232414
1222394
1212378
1202358
1192342
1182322
1172306
1162286
1152270
1142250
1132234
1122214
1112198
1102178
1092162
1082142
1072126
1062106
1052090
1042070
1032054
1022034
1012018
1001998
991982
981962
971946
961926
951910
941890
931874
921854
911838
901818
891802
881782
871766
861746
851730
841710
831694
821674
811658
801638
791622
781602
771586
761566
751550
741530
731514
721494
711478
701458
691442
681422
671406
661386
651370
641350
631334
621314
611298
601278
591262
581242
571226
561206
551190
541170
531154
521134
511118
501098
491082
481062
471046
461026
451010
44990
43974
42954
41938
40918
39902
38882
37866
36846
35830
34810
33794
32774
31758
30738
29722
28702
27686
26666
25650
24630
23614
22594
21578
20558
19542
18522
17506
16486
15470
14450
13434
12340
11210
10171
9128
8107
787
663
553
451
339
228
114
08

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×add-sqr-sqrt
7×add-log-exp
6×add-cube-cbrt
4×pow1 add-cbrt-cube fma-neg prod-diff add-exp-log
3×associate-*r* associate-*l*
2×expm1-log1p-u diff-log insert-posit16 log1p-expm1-u distribute-lft-out
1×sum-log sub-neg flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- unswap-sqr
Counts
2 → 46
Calls
2 calls:
56.0ms
(- (+ x (cos y)) (* z (sin y)))
15.0ms
(* z (sin y))

series149.0ms

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

simplify1.9s

Counts
52 → 52
Iterations
IterNodes
done5000
32632
2506
1185
083

prune261.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
7.4b
(cbrt (* z (sin y)))
7.4b
(cbrt (* z (sin y)))
7.4b
(cbrt (* z (sin y)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 70
Calls
4 calls:
24.0ms
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
4.0ms
(cbrt (* z (sin y)))
4.0ms
(cbrt (* z (sin y)))
4.0ms
(cbrt (* z (sin y)))

series776.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
194.0ms
(cbrt (* z (sin y)))
202.0ms
(cbrt (* z (sin y)))
162.0ms
(cbrt (* z (sin y)))

simplify3.0s

Counts
82 → 82
Iterations
IterNodes
done5000
44664
31514
2545
1217
093

prune550.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin y))
0.6b
(cbrt z)
0.6b
(cbrt z)
7.4b
(cbrt (* z (sin y)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 54
Calls
4 calls:
2.0ms
(cbrt (sin y))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
17.0ms
(cbrt (* z (sin y)))

series860.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(cbrt (sin y))
247.0ms
(cbrt z)
305.0ms
(cbrt z)
191.0ms
(cbrt (* z (sin y)))

simplify2.1s

Counts
66 → 66
Iterations
IterNodes
done5000
42808
3985
2389
1176
090

prune483.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u 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 → 85
Calls
4 calls:
20.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
2.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))

series538.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
108.0ms
(cbrt (sin y))
126.0ms
(cbrt (sin y))
138.0ms
(cbrt (sin y))

simplify1.5s

Counts
97 → 97
Iterations
IterNodes
done5001
31352
2474
1182
081

prune447.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes174.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.4s950×body1280valid
1.0s5578×body80valid
540.0ms858×body640valid
187.0ms408×body320valid
62.0ms206×body160valid