Details

Time bar (total: 22.8s)

sample39.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
12.0ms296×body80nan

simplify4.5s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite327.0ms

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

series106.0ms

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

simplify1.8s

Counts
59 → 59
Iterations
IterNodes
done5001
31677
2515
1228
0110

prune221.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.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)

rewrite34.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
8×add-cbrt-cube
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 80
Calls
4 calls:
28.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
334.0ms
(* (cbrt y) (cbrt y))
305.0ms
(cbrt y)
240.0ms
(cbrt y)
286.0ms
(cbrt y)

simplify3.4s

Counts
92 → 92
Iterations
IterNodes
done5001
44512
31200
2427
1151
066

prune494.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize41.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)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×cbrt-prod
16×*-un-lft-identity add-cube-cbrt
12×pow1
8×add-cbrt-cube pow1/3
7×add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×cbrt-unprod insert-posit16 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 sqr-pow
Counts
4 → 87
Calls
4 calls:
11.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(pow y 1/3)

series1.1s

Counts
4 → 12
Calls
4 calls:
254.0ms
(* (cbrt y) (cbrt y))
279.0ms
(cbrt y)
320.0ms
(cbrt y)
248.0ms
(pow y 1/3)

simplify1.4s

Counts
99 → 99
Iterations
IterNodes
done5000
31595
2684
1262
095

prune568.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
1.0b
(* (cbrt 1/3) (cbrt 1/3))
3.9b
(pow y (* (cbrt 1/3) (cbrt 1/3)))
5.2b
(pow (pow y (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt pow-unpow
54×cbrt-prod
36×*-un-lft-identity add-cube-cbrt
32×pow-pow
18×swap-sqr associate-*r* associate-*l*
14×pow1
13×unpow-prod-down
12×unswap-sqr
9×add-exp-log
8×add-cbrt-cube
7×pow1/3
5×pow-exp
4×cbrt-unprod insert-posit16 add-log-exp
3×pow-to-exp *-commutative sqr-pow
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 154
Calls
4 calls:
1.0ms
(cbrt y)
11.0ms
(* (cbrt 1/3) (cbrt 1/3))
8.0ms
(pow y (* (cbrt 1/3) (cbrt 1/3)))
19.0ms
(pow (pow y (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3))

series1.3s

Counts
4 → 10
Calls
4 calls:
247.0ms
(cbrt y)
0.0ms
(* (cbrt 1/3) (cbrt 1/3))
360.0ms
(pow y (* (cbrt 1/3) (cbrt 1/3)))
661.0ms
(pow (pow y (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3))

simplify2.8s

Counts
164 → 164
Iterations
IterNodes
done5000
34195
21410
1486
0163

prune918.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes273.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

sample2.2s

Algorithm
intervals
Results
1.1s7941×body80nan
624.0ms8028×body80valid
1.0ms1×body640valid