Details

Time bar (total: 42.0s)

sample70.0ms

Algorithm
intervals
Results
15.0ms189×body80valid
13.0ms25×body2560valid
9.0ms23×body1280valid
9.0ms256×pre80true
4.0ms10×body640valid
1.0ms2×body5120valid
1.0ms4×body160valid
1.0ms3×body320valid

simplify30.5s

Counts
1 → 1
Iterations
IterNodes
done5000
1664914
1654880
1644809
1634781
1624721
1614696
1604649
1594626
1584581
1574558
1564511
1554490
1544447
1534429
1524395
1514377
1504344
1494326
1484293
1474275
1464242
1454224
1444191
1434173
1424140
1414122
1404089
1394071
1384038
1374020
1363987
1353969
1343936
1333918
1323885
1313867
1303834
1293816
1283783
1273765
1263732
1253714
1243681
1233663
1223630
1213612
1203579
1193561
1183528
1173510
1163477
1153459
1143426
1133408
1123375
1113357
1103324
1093306
1083273
1073255
1063222
1053204
1043171
1033153
1023120
1013102
1003069
993051
983018
973000
962967
952949
942916
932898
922865
912847
902814
892796
882763
872745
862712
852694
842661
832643
822610
812592
802559
792541
782508
772490
762457
752439
742406
732388
722355
712337
702304
692286
682253
672235
662202
652184
642151
632133
622100
612082
602049
592031
581998
571980
561947
551929
541896
531878
521845
511827
501794
491776
481743
471725
461692
451674
441641
431623
421590
411572
401539
391521
381488
371470
361437
351419
341386
331368
321335
311317
301284
291266
281233
271215
261182
251164
241131
231113
221080
211062
201029
191011
18978
17960
16927
15909
14876
13858
12825
11786
10745
9598
8441
7301
6200
5145
4104
376
251
129
014

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.8b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
0.0b
(+ (* x x) (* p (* 4 p)))
1.0b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
9×sqrt-prod
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt
4×flip3-+ add-cbrt-cube sqrt-div add-exp-log associate-/r/ flip-+ insert-posit16
2×+-commutative rem-sqrt-square sum-log distribute-lft1-in sqrt-pow1 distribute-rgt-out pow1/2 distribute-lft-out
Counts
4 → 62
Calls
4 calls:
30.0ms
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
11.0ms
(+ (* x x) (* p (* 4 p)))
26.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series339.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
36.0ms
(+ (* x x) (* p (* 4 p)))
72.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
45.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.9s

Counts
74 → 74
Iterations
IterNodes
done5001
33060
2721
1236
0100

prune285.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 14.5b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* p (* 4 p)))
1.0b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
1.1b
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
8×add-sqr-sqrt add-log-exp
7×log-pow add-cube-cbrt
6×pow1 exp-prod
4×log-prod add-cbrt-cube add-exp-log associate-/r/ insert-posit16
3×flip3-+ sqrt-prod flip-+
2×+-commutative sum-log distribute-lft1-in distribute-rgt-out sqrt-div distribute-lft-out
1×rem-sqrt-square sqrt-pow1 pow1/2 rem-log-exp exp-sum
Counts
4 → 63
Calls
4 calls:
8.0ms
(+ (* x x) (* p (* 4 p)))
27.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
78.0ms
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series223.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ (* x x) (* p (* 4 p)))
72.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
72.0ms
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
43.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.5s

Counts
75 → 75
Iterations
IterNodes
done5000
33065
2755
1258
0109

prune349.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 14.5b

localize46.0ms

Local error

Found 4 expressions with local error:

1.1b
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity
9×add-cube-cbrt sqrt-prod
8×pow1
7×log-pow
6×exp-prod sqrt-div
4×log-prod add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
2×associate-/r/
1×distribute-lft1-in distribute-rgt-out rem-log-exp exp-sum distribute-lft-out
Counts
4 → 68
Calls
4 calls:
80.0ms
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
5.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series200.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
42.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
44.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
43.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.8s

Counts
80 → 80
Iterations
IterNodes
done5001
42937
3840
2336
1148
082

prune528.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 14.5b

localize59.0ms

Local error

Found 4 expressions with local error:

15.2b
(sqrt (+ (* x x) (* p (* 4 p))))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))
15.2b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
4 → 64
Calls
4 calls:
5.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
10.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series173.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
42.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
44.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
43.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.3s

Counts
76 → 76
Iterations
IterNodes
done5000
42275
3663
2258
197
042

prune524.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 14.5b

regimes119.0ms

Accuracy

0% (0.3b remaining)

Error of 13.1b against oracle of 12.9b and baseline of 13.1b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done26
126
020

end0.0ms

sample1.7s

Algorithm
intervals
Results
565.0ms725×body2560valid
356.0ms6036×body80valid
269.0ms8000×pre80true
187.0ms621×body1280valid
64.0ms319×body640valid
55.0ms69×body5120valid
49.0ms159×body320valid
7.0ms71×body160valid