Details

Time bar (total: 26.8s)

sample143.0ms

Algorithm
intervals
Results
110.0ms612×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done2003
51898
4721
3290
296
143
023

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.2b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) (* t a))
4.4b
(* b (- (* c z) (* i a)))
5.9b
(* j (- (* c t) (* i y)))
7.3b
(* x (- (* y z) (* t a)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- insert-posit16 flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 88
Calls
4 calls:
8.0ms
(- (* y z) (* t a))
23.0ms
(* b (- (* c z) (* i a)))
21.0ms
(* j (- (* c t) (* i y)))
23.0ms
(* x (- (* y z) (* t a)))

series303.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* y z) (* t a))
78.0ms
(* b (- (* c z) (* i a)))
80.0ms
(* j (- (* c t) (* i y)))
101.0ms
(* x (- (* y z) (* t a)))

simplify707.0ms

Counts
100 → 100
Iterations
IterNodes
done2001
21409
1457
0170

prune869.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 9.1b

localize69.0ms

Local error

Found 4 expressions with local error:

4.3b
(* b (* c z))
4.5b
(* b (- (* i a)))
5.9b
(* j (- (* c t) (* i y)))
7.3b
(* x (- (* y z) (* t a)))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-cbrt-cube add-exp-log
13×associate-*r*
12×associate-*l*
11×*-un-lft-identity add-cube-cbrt
6×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 92
Calls
4 calls:
14.0ms
(* b (* c z))
11.0ms
(* b (- (* i a)))
33.0ms
(* j (- (* c t) (* i y)))
42.0ms
(* x (- (* y z) (* t a)))

series266.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* b (* c z))
31.0ms
(* b (- (* i a)))
101.0ms
(* j (- (* c t) (* i y)))
103.0ms
(* x (- (* y z) (* t a)))

simplify685.0ms

Counts
104 → 104
Iterations
IterNodes
done2001
21548
1473
0178

prune836.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 6.0b

localize56.0ms

Local error

Found 4 expressions with local error:

4.3b
(* b (* c z))
4.5b
(* b (- (* i a)))
5.8b
(* x (* z y))
5.9b
(* j (- (* c t) (* i y)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
14×add-sqr-sqrt
12×associate-*l*
11×associate-*r*
10×*-un-lft-identity add-cube-cbrt
8×pow-prod-down prod-exp cbrt-unprod
4×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ unswap-sqr
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in flip3-- distribute-rgt-neg-out flip--
Counts
4 → 86
Calls
4 calls:
18.0ms
(* b (* c z))
15.0ms
(* b (- (* i a)))
20.0ms
(* x (* z y))
41.0ms
(* j (- (* c t) (* i y)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* b (* c z))
43.0ms
(* b (- (* i a)))
38.0ms
(* x (* z y))
82.0ms
(* j (- (* c t) (* i y)))

simplify651.0ms

Counts
98 → 98
Iterations
IterNodes
done2000
21390
1419
0159

prune786.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.4b

localize82.0ms

Local error

Found 4 expressions with local error:

4.3b
(* (* x z) y)
4.3b
(* b (* c z))
4.5b
(* b (- (* i a)))
5.9b
(* j (- (* c t) (* i y)))

rewrite425.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
14×add-sqr-sqrt
13×associate-*r*
10×*-un-lft-identity associate-*l* add-cube-cbrt
8×pow-prod-down prod-exp cbrt-unprod
4×*-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ unswap-sqr
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in flip3-- distribute-rgt-neg-out flip--
Counts
4 → 86
Calls
4 calls:
339.0ms
(* (* x z) y)
21.0ms
(* b (* c z))
15.0ms
(* b (- (* i a)))
48.0ms
(* j (- (* c t) (* i y)))

series160.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (* x z) y)
26.0ms
(* b (* c z))
31.0ms
(* b (- (* i a)))
75.0ms
(* j (- (* c t) (* i y)))

simplify754.0ms

Counts
98 → 98
Iterations
IterNodes
done2000
21477
1429
0162

prune678.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.0b

regimes1.6s

Accuracy

-5.4% (8.3b remaining)

Error of 11.9b against oracle of 3.6b and baseline of 11.5b

bsearch556.0ms

Steps
ItersRangePoint
9
4.1993273437329335e-163
9.351310165967686e-155
3.7368582959710634e-162
0
-8.465467083545648e-282
-8.058371983818759e-282
-8.261919533682203e-282
8
-1.8682179853471252e-230
-3.278976989872585e-233
-1.9251627712030188e-231
8
-3.814854942960156e-139
-4.697079086970172e-143
-7.756528578962063e-141

simplify8.8s

Iterations
IterNodes
done2001
2601996
2591989
2581981
2571974
2561966
2551959
2541951
2531944
2521936
2511929
2501921
2491914
2481906
2471899
2461891
2451884
2441876
2431869
2421861
2411854
2401846
2391839
2381831
2371824
2361816
2351809
2341801
2331794
2321786
2311779
2301771
2291764
2281756
2271749
2261741
2251734
2241726
2231719
2221711
2211704
2201696
2191689
2181681
2171674
2161666
2151659
2141651
2131644
2121636
2111629
2101621
2091614
2081606
2071599
2061591
2051584
2041576
2031569
2021561
2011554
2001546
1991539
1981531
1971524
1961516
1951509
1941501
1931494
1921486
1911479
1901471
1891464
1881456
1871449
1861441
1851434
1841426
1831419
1821411
1811404
1801396
1791389
1781381
1771374
1761366
1751359
1741351
1731344
1721336
1711329
1701321
1691314
1681306
1671299
1661291
1651284
1641276
1631269
1621261
1611254
1601246
1591239
1581231
1571224
1561216
1551209
1541201
1531194
1521186
1511179
1501171
1491164
1481156
1471149
1461141
1451134
1441126
1431119
1421111
1411104
1401096
1391089
1381081
1371074
1361066
1351059
1341051
1331044
1321036
1311029
1301021
1291014
1281006
127999
126991
125984
124976
123969
122961
121954
120946
119939
118931
117924
116916
115909
114901
113894
112886
111879
110871
109864
108856
107849
106841
105834
104826
103819
102811
101804
100796
99789
98781
97774
96766
95759
94751
93744
92736
91729
90721
89714
88706
87699
86691
85684
84676
83669
82661
81654
80646
79639
78631
77624
76616
75609
74601
73594
72586
71579
70571
69564
68556
67549
66541
65534
64526
63519
62511
61504
60496
59489
58481
57474
56466
55459
54451
53444
52436
51429
50421
49414
48406
47399
46391
45384
44376
43369
42361
41354
40346
39339
38331
37324
36316
35309
34301
33294
32286
31279
30271
29264
28256
27249
26241
25234
24226
23219
22211
21204
20196
19189
18181
17174
16166
15159
14151
13144
12136
11129
10121
9114
8104
7103
6100
599
496
393
283
172
048

end0.0ms

sample6.9s

Algorithm
intervals
Results
5.4s18858×body80valid