Details

Time bar (total: 20.5s)

sample29.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
6.0ms228×body80nan

simplify4.3s

Counts
1 → 1
Iterations
IterNodes
done5000
2124989
2114957
2104945
2094913
2084901
2074869
2064857
2054825
2044813
2034781
2024769
2014737
2004725
1994693
1984677
1974645
1964633
1954601
1944589
1934557
1924545
1914513
1904501
1894469
1884457
1874425
1864413
1854381
1844369
1834337
1824325
1814293
1804281
1794247
1784229
1774197
1764185
1754153
1744141
1734109
1724097
1714065
1704053
1694021
1684009
1673977
1663961
1653929
1643917
1633885
1623873
1613841
1603829
1593797
1583785
1573753
1563741
1553709
1543697
1533665
1523653
1513621
1503609
1493577
1483565
1473531
1463513
1453481
1443469
1433437
1423425
1413393
1403381
1393349
1383337
1373305
1363293
1353261
1343249
1333217
1323205
1313173
1303157
1293125
1283113
1273081
1263069
1253037
1243025
1232993
1222981
1212949
1202937
1192905
1182889
1172857
1162845
1152813
1142801
1132769
1122757
1112725
1102713
1092681
1082669
1072637
1062625
1052593
1042581
1032549
1022537
1012505
1002493
992459
982441
972409
962397
952365
942353
932321
922309
912277
902265
892233
882221
872189
862177
852145
842133
832099
822081
812049
802037
792005
781993
771961
761949
751917
741905
731873
721861
711829
701813
691781
681769
671737
661721
651689
641677
631645
621633
611601
601589
591557
581545
571513
561501
551469
541457
531425
521413
511381
501369
491337
481325
471293
461277
451245
441233
431201
421189
411157
401145
391113
381101
371069
361057
351025
341013
33981
32969
31937
30921
29889
28877
27845
26833
25801
24789
23757
22745
21713
20701
19667
18649
17617
16605
15573
14561
13529
12517
11467
10441
9388
8326
7203
6136
599
466
338
223
114
07

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

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

series143.0ms

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

simplify2.9s

Counts
49 → 49
Iterations
IterNodes
done5001
42768
3940
2364
1179
090

prune286.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (log (cbrt y)) (+ x x))
0.2b
(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity
16×add-cube-cbrt
12×cbrt-prod associate-+r+ log-prod associate-*r*
8×distribute-rgt-in distribute-lft-in
7×pow1
6×add-cbrt-cube add-exp-log add-log-exp
5×associate-*l*
3×distribute-rgt-out pow1/3 distribute-lft-out
2×associate-+l+ flip3-+ associate-*r/ log-pow flip-+
1×+-commutative sum-log distribute-lft1-in count-2 pow-prod-down distribute-rgt1-in prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 80
Calls
4 calls:
42.0ms
(* (log (cbrt y)) (+ x x))
24.0ms
(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series928.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(* (log (cbrt y)) (+ x x))
191.0ms
(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
300.0ms
(cbrt y)
261.0ms
(cbrt y)

simplify1.4s

Counts
92 → 92
Iterations
IterNodes
done5001
21179
1351
0137

prune525.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (log (cbrt y)) (+ x x))
0.2b
(+ (* (log (cbrt y)) (+ x x)) (* x (log (pow y 1/3))))
0.6b
(cbrt y)
5.2b
(pow y 1/3)

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
17×add-cube-cbrt
14×associate-+r+ log-prod
12×associate-*r*
9×distribute-rgt-in unpow-prod-down distribute-lft-in
8×pow1
7×add-exp-log
6×add-cbrt-cube add-log-exp
5×associate-*l*
3×cbrt-prod pow-unpow distribute-rgt-out distribute-lft-out sqr-pow
2×associate-+l+ flip3-+ pow1/3 associate-*r/ log-pow flip-+
1×pow-to-exp +-commutative sum-log pow-pow distribute-lft1-in unpow1/3 count-2 pow-prod-down distribute-rgt1-in pow-exp prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 89
Calls
4 calls:
29.0ms
(* (log (cbrt y)) (+ x x))
23.0ms
(+ (* (log (cbrt y)) (+ x x)) (* x (log (pow y 1/3))))
1.0ms
(cbrt y)
2.0ms
(pow y 1/3)

series860.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(* (log (cbrt y)) (+ x x))
228.0ms
(+ (* (log (cbrt y)) (+ x x)) (* x (log (pow y 1/3))))
213.0ms
(cbrt y)
224.0ms
(pow y 1/3)

simplify1.6s

Counts
101 → 101
Iterations
IterNodes
done5000
21466
1444
0174

prune698.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
309.0ms
(cbrt y)
223.0ms
(cbrt y)
301.0ms
(cbrt y)
269.0ms
(cbrt y)

simplify2.8s

Counts
56 → 56
Iterations
IterNodes
done5000
51290
4441
3189
294
144
024

prune434.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes311.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
IterNodes
done8
18
07

end0.0ms

sample1.8s

Algorithm
intervals
Results
832.0ms7997×body80nan
485.0ms8020×body80valid
0.0ms1×body320valid