Details

Time bar (total: 21.5s)

sample85.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
15.0ms300×body80nan

simplify4.6s

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

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite35.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:
15.0ms
(- (* x (log y)) z)
17.0ms
(* x (log y))

series186.0ms

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

simplify2.8s

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

prune342.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.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:
9.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
322.0ms
(* (cbrt y) (cbrt y))
293.0ms
(cbrt y)
363.0ms
(cbrt y)
299.0ms
(cbrt y)

simplify3.2s

Counts
85 → 85
Iterations
IterNodes
done5028
43114
3971
2377
1136
061

prune402.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
5.1b
(pow y 1/3)

rewrite15.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:
10.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(pow y 1/3)

series986.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(* (cbrt y) (cbrt y))
270.0ms
(cbrt y)
245.0ms
(cbrt y)
230.0ms
(pow y 1/3)

simplify2.0s

Counts
92 → 92
Iterations
IterNodes
done5022
43817
31239
2514
1242
089

prune449.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
4.3b
(exp (* (log y) 1/3))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
11×pow1
8×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
5×add-log-exp
4×add-cbrt-cube unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 exp-prod pow-plus exp-to-pow prod-exp *-commutative cbrt-unprod rem-exp-log
Counts
4 → 72
Calls
4 calls:
14.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
3.0ms
(exp (* (log y) 1/3))

series934.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(* (cbrt y) (cbrt y))
256.0ms
(cbrt y)
257.0ms
(cbrt y)
194.0ms
(exp (* (log y) 1/3))

simplify1.6s

Counts
84 → 84
Iterations
IterNodes
done5001
42016
3809
2403
1178
078

prune480.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes265.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample1.6s

Algorithm
intervals
Results
426.0ms8020×body80valid
361.0ms8140×body80nan
0.0ms1×body1280valid
0.0ms1×body640valid