Details

Time bar (total: 1.6m)

sample100.0ms

Algorithm
intervals
Results
64.0ms380×body80valid

simplify1.4m

Counts
1 → 1
Iterations
IterNodes
done5000
1794989
1784973
1774957
1764941
1754925
1744909
1734893
1724877
1714861
1704845
1694829
1684813
1674797
1664781
1654765
1644749
1634733
1624717
1614701
1604685
1594669
1584653
1574637
1564621
1554605
1544589
1534573
1524557
1514541
1504525
1494509
1484493
1474477
1464461
1454445
1444429
1434413
1424397
1414381
1404365
1394349
1384333
1374317
1364301
1354285
1344269
1334253
1324237
1314221
1304205
1294189
1284173
1274157
1264141
1254125
1244109
1234093
1224077
1214061
1204045
1194029
1184013
1173997
1163981
1153965
1143949
1133933
1123917
1113901
1103885
1093869
1083853
1073837
1063821
1053805
1043789
1033773
1023757
1013741
1003725
993709
983693
973677
963661
953645
943629
933613
923597
913581
903565
893549
883533
873517
863501
853485
843469
833453
823437
813421
803405
793389
783373
773357
763341
753325
743309
733293
723277
713261
703245
693229
683213
673197
663181
653165
643149
633133
623117
613101
603085
593069
583053
573037
563021
553005
542989
532973
522957
512941
502925
492909
482893
472877
462861
452845
442829
432813
422797
412781
402765
392749
382733
372717
362701
352685
342669
332653
322637
312621
302605
292589
282573
272557
262541
252525
242509
232493
222477
212461
202445
192429
182413
172397
162381
152365
142349
132333
122317
112259
102139
91884
81516
71112
6797
5537
4293
3143
273
133
017

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (/ t 16.0) z (fma y x c))
0.0b
(- (fma (/ t 16.0) z (fma y x c)) (* a (/ b 4.0)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×fma-neg prod-diff
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
2 → 33
Calls
2 calls:
0.0ms
(fma (/ t 16.0) z (fma y x c))
5.0ms
(- (fma (/ t 16.0) z (fma y x c)) (* a (/ b 4.0)))

series243.0ms

Counts
2 → 6
Calls
2 calls:
70.0ms
(fma (/ t 16.0) z (fma y x c))
173.0ms
(- (fma (/ t 16.0) z (fma y x c)) (* a (/ b 4.0)))

simplify2.0s

Counts
39 → 39
Iterations
IterNodes
done5008
32053
2460
1154
070

prune214.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.4b
(/ (* z t) 16.0)

rewrite328.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
42×prod-diff
38×add-sqr-sqrt
34×add-cube-cbrt
24×associate-+l+
21×times-frac
20×add-log-exp
9×add-cbrt-cube add-exp-log
7×div-inv
6×sum-log fma-def
4×expm1-log1p-u pow1 diff-log insert-posit16 log1p-expm1-u
3×associate-/r* flip3-+ fma-neg flip-+ distribute-lft-out--
2×cbrt-undiv +-commutative sub-neg div-exp associate--l+ frac-sub distribute-lft-out difference-of-squares
1×clear-num frac-2neg flip3-- prod-exp associate-+l- cbrt-unprod flip-- associate-/l*
Counts
4 → 132
Calls
4 calls:
85.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
211.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
15.0ms
(+ (* x y) (/ (* z t) 16.0))
14.0ms
(/ (* z t) 16.0)

series412.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
199.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
70.0ms
(+ (* x y) (/ (* z t) 16.0))
29.0ms
(/ (* z t) 16.0)

simplify1.6s

Counts
144 → 144
Iterations
IterNodes
done5001
21872
1575
0221

prune989.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma x y (fma (/ z 16.0) t (fma (- a) (/ b 4.0) c)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
1.0ms
(fma x y (fma (/ z 16.0) t (fma (- a) (/ b 4.0) c)))

series213.0ms

Counts
1 → 3
Calls
1 calls:
213.0ms
(fma x y (fma (/ z 16.0) t (fma (- a) (/ b 4.0) c)))

simplify2.1s

Counts
14 → 14
Iterations
IterNodes
done5000
41887
3363
2129
156
035

prune81.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes391.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done20
120
017

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.4s12059×body80valid