Details

Time bar (total: 34.2s)

sample59.0ms

Algorithm
intervals
Results
16.0ms257×body80valid
13.0ms270×body80nan

simplify12.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07193
114193
223193
338193
466193
599193
6136193
7203193
8326193
9388193
10441193
11467193
12517193
13529193
14561193
15573193
16605193
17617193
18649193
19667193
20701193
21713193
22745193
23757193
24789193
25801193
26833193
27845193
28877193
29889193
30921193
31937193
32969193
33981193
341013193
351025193
361057193
371069193
381101193
391113193
401145193
411157193
421189193
431201193
441233193
451245193
461277193
471293193
481325193
491337193
501369193
511381193
521413193
531425193
541457193
551469193
561501193
571513193
581545193
591557193
601589193
611601193
621633193
631645193
641677193
651689193
661721193
671737193
681769193
691781193
701813193
711829193
721861193
731873193
741905193
751917193
761949193
771961193
781993193
792005193
802037193
812049193
822081193
832099193
842133193
852145193
862177193
872189193
882221193
892233193
902265193
912277193
922309193
932321193
942353193
952365193
962397193
972409193
982441193
992459193
1002493193
1012505193
1022537193
1032549193
1042581193
1052593193
1062625193
1072637193
1082669193
1092681193
1102713193
1112725193
1122757193
1132769193
1142801193
1152813193
1162845193
1172857193
1182889193
1192905193
1202937193
1212949193
1222981193
1232993193
1243025193
1253037193
1263069193
1273081193
1283113193
1293125193
1303157193
1313173193
1323205193
1333217193
1343249193
1353261193
1363293193
1373305193
1383337193
1393349193
1403381193
1413393193
1423425193
1433437193
1443469193
1453481193
1463513193
1473531193
1483565193
1493577193
1503609193
1513621193
1523653193
1533665193
1543697193
1553709193
1563741193
1573753193
1583785193
1593797193
1603829193
1613841193
1623873193
1633885193
1643917193
1653929193
1663961193
1673977193
1684009193
1694021193
1704053193
1714065193
1724097193
1734109193
1744141193
1754153193
1764185193
1774197193
1784229193
1794247193
1804281193
1814293193
1824325193
1834337193
1844369193
1854381193
1864413193
1874425193
1884457193
1894469193
1904501193
1914513193
1924545193
1934557193
1944589193
1954601193
1964633193
1974645193
1984677193
1994693193
2004725193
2014737193
2024769193
2034781193
2044813193
2054825193
2064857193
2074869193
2084901193
2094913193
2104945193
2114957193
2124989193
done5000193

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (- (* x (log y)) z) y)
0.3b
(* x (log y))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
14×associate--l+
12×add-sqr-sqrt log-prod
10×*-un-lft-identity
8×add-cube-cbrt
7×add-log-exp
6×distribute-rgt-in distribute-lft-in
5×pow1
4×add-cbrt-cube associate-*r* add-exp-log
3×diff-log associate-*l*
2×sub-neg
1×associate--l- flip3-- pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 49
Calls
2 calls:
57.0ms
(- (- (* x (log y)) z) y)
10.0ms
(* x (log y))

series114.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(- (- (* x (log y)) z) y)
63.0ms
(* x (log y))

simplify2.4s

Counts
55 → 55
Iterations

Useful iterations: 3 (610.0ms)

IterNodesCost
010812997
122612191
252112069
3159911527
done501311527

prune282.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* (log y) x) y)
0.3b
(* (log y) x)

rewrite14.0ms

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

series179.0ms

Counts
2 → 6
Calls
2 calls:
85.0ms
(- (* (log y) x) y)
94.0ms
(* (log y) x)

simplify5.2s

Counts
37 → 37
Iterations

Useful iterations: 4 (2.7s)

IterNodesCost
0707872
11557387
24057347
313176967
443526805
done50226805

prune156.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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×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:
17.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
324.0ms
(* (cbrt y) (cbrt y))
309.0ms
(cbrt y)
325.0ms
(cbrt y)
337.0ms
(cbrt y)

simplify3.8s

Counts
85 → 85
Iterations

Useful iterations: done (3.8s)

IterNodesCost
06117134
113614621
237714346
397113666
4311413666
done502813626

prune503.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
5.0b
(pow y 1/3)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×cbrt-prod
16×*-un-lft-identity add-cube-cbrt
12×pow1
8×pow1/3
7×add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
3×pow-unpow unpow-prod-down
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-to-exp pow-pow pow-plus unpow1/3 pow-exp prod-exp *-commutative cbrt-unprod sqr-pow
Counts
4 → 80
Calls
4 calls:
18.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
4.0ms
(pow y 1/3)

series1.2s

Counts
4 → 12
Calls
4 calls:
311.0ms
(* (cbrt y) (cbrt y))
296.0ms
(cbrt y)
297.0ms
(cbrt y)
281.0ms
(pow y 1/3)

simplify3.3s

Counts
92 → 92
Iterations

Useful iterations: done (3.3s)

IterNodesCost
08920365
124215751
251415671
3123914881
4381714840
done502214739

prune557.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes183.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07193
18193
done8193

end0.0ms

sample1.8s

Algorithm
intervals
Results
399.0ms8030×body80valid
388.0ms7962×body80nan
0.0ms1×body320valid