Details

Time bar (total: 42.7s)

sample126.0ms

Algorithm
intervals
Results
32.0ms196×body80valid
27.0ms23×body2560valid
16.0ms19×body1280valid
14.0ms256×pre80true
8.0ms12×body640valid
4.0ms3×body5120valid
2.0ms3×body320valid

simplify31.1s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* p (* 4 p)))
0.2b
(/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5))
0.2b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
13.8b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
83×*-un-lft-identity
81×add-sqr-sqrt
80×add-cube-cbrt
39×sqrt-prod
22×associate-/r*
9×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 div-inv
4×insert-posit16
3×cbrt-undiv flip3-+ div-exp associate-/r/ flip-+ associate-/l*
2×+-commutative sum-log sqrt-div
1×rem-sqrt-square clear-num frac-2neg distribute-lft1-in sqrt-pow1 distribute-rgt-out pow1/2 distribute-lft-out
Counts
4 → 150
Calls
4 calls:
8.0ms
(+ (* x x) (* p (* 4 p)))
12.0ms
(/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5))
26.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
6.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series207.0ms

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

simplify1.2s

Counts
162 → 162
Iterations
IterNodes
done5005
22235
1672
0257

prune504.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 12.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (* (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5) (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)) (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
13.8b
(sqrt (+ (* x x) (* p (* 4 p))))
13.8b
(sqrt (+ (* x x) (* p (* 4 p))))
13.8b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
30×flip3-+ flip-+
28×frac-times
26×cbrt-div
14×associate-*l/
10×add-sqr-sqrt
9×sqrt-prod
8×associate-*r/
7×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 85
Calls
4 calls:
153.0ms
(cbrt (* (* (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5) (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)) (+ (/ 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))))

series203.0ms

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

simplify2.1s

Counts
97 → 97
Iterations
IterNodes
done5004
22014
1460
0157

prune450.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 12.4b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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:
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))

series172.0ms

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

simplify1.3s

Counts
76 → 76
Iterations
IterNodes
done5001
42163
3638
2253
197
042

prune446.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 12.4b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.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:
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
10.0ms
(sqrt (+ (* x x) (* (* p 4) p)))
6.0ms
(sqrt (+ (* x x) (* (* p 4) p)))

series174.0ms

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

simplify1.3s

Counts
76 → 76
Iterations
IterNodes
done5001
42163
3638
2253
197
042

prune463.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 12.4b

regimes162.0ms

Accuracy

0% (0.8b remaining)

Error of 14.0b against oracle of 13.2b and baseline of 14.0b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done21
121
016

end0.0ms

sample2.4s

Algorithm
intervals
Results
656.0ms5959×body80valid
429.0ms785×body2560valid
407.0ms312×body640valid
324.0ms652×body1280valid
274.0ms8000×pre80true
79.0ms158×body320valid
63.0ms67×body5120valid
11.0ms67×body160valid