Details

Time bar (total: 21.4s)

sample59.0ms

Algorithm
intervals
Results
22.0ms257×body80valid
13.0ms237×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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
20×associate--l+
18×log-prod
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
10×add-log-exp
9×distribute-rgt-in distribute-lft-in
6×pow1
5×add-cbrt-cube add-exp-log
4×diff-log associate-*r*
3×sub-neg associate-*l* insert-posit16
2×flip3-- flip--
1×associate--l- pow-prod-down prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 70
Calls
3 calls:
100.0ms
(- (- (* x (log y)) z) y)
20.0ms
(- (* x (log y)) z)
12.0ms
(* x (log y))

series218.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(- (- (* x (log y)) z) y)
105.0ms
(- (* x (log y)) z)
53.0ms
(* x (log y))

simplify1.8s

Counts
79 → 79
Iterations
IterNodes
done5002
31866
2613
1272
0128

prune345.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

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

rewrite31.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 insert-posit16 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 → 77
Calls
4 calls:
24.0ms
(* (cbrt y) (cbrt y))
2.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
311.0ms
(* (cbrt y) (cbrt y))
244.0ms
(cbrt y)
282.0ms
(cbrt y)
272.0ms
(cbrt y)

simplify2.8s

Counts
89 → 89
Iterations
IterNodes
done5001
43895
31039
2380
1138
063

prune344.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (log y)) (cbrt (log y)))
0.5b
(cbrt (log y))
0.5b
(cbrt (log y))
0.5b
(cbrt (log y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
23×add-sqr-sqrt
20×pow1
17×*-un-lft-identity
15×add-cube-cbrt
9×pow1/3 swap-sqr log-pow
7×associate-*r* associate-*l*
6×add-exp-log
4×add-cbrt-cube insert-posit16 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:
19.0ms
(* (cbrt (log y)) (cbrt (log y)))
1.0ms
(cbrt (log y))
1.0ms
(cbrt (log y))
1.0ms
(cbrt (log y))

series1.5s

Counts
4 → 12
Calls
4 calls:
385.0ms
(* (cbrt (log y)) (cbrt (log y)))
370.0ms
(cbrt (log y))
362.0ms
(cbrt (log y))
363.0ms
(cbrt (log y))

simplify2.7s

Counts
97 → 97
Iterations
IterNodes
done5008
44022
31141
2365
1147
064

prune382.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* x (cbrt (* (log y) (log y)))) (cbrt (log y)))
0.5b
(cbrt (* (log y) (log y)))
0.5b
(cbrt (log y))
0.5b
(* (log y) (log y))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
15×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
11×associate-*r* add-exp-log
9×cbrt-prod
8×add-cbrt-cube log-pow
6×log-prod swap-sqr
5×associate-*l*
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×distribute-rgt-in distribute-lft-in
2×pow1/3 *-commutative
1×pow2 pow-plus pow-sqr pow-prod-up unswap-sqr
Counts
4 → 83
Calls
4 calls:
28.0ms
(* (* x (cbrt (* (log y) (log y)))) (cbrt (log y)))
4.0ms
(cbrt (* (log y) (log y)))
1.0ms
(cbrt (log y))
10.0ms
(* (log y) (log y))

series966.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (* x (cbrt (* (log y) (log y)))) (cbrt (log y)))
354.0ms
(cbrt (* (log y) (log y)))
361.0ms
(cbrt (log y))
192.0ms
(* (log y) (log y))

simplify1.8s

Counts
95 → 95
Iterations
IterNodes
done5001
32523
2909
1298
0114

prune426.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes256.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.9s

Algorithm
intervals
Results
902.0ms8031×body80nan
544.0ms8030×body80valid