Details

Time bar (total: 46.5s)

sample81.0ms

Algorithm
intervals
Results
19.0ms197×body80valid
12.0ms19×body2560valid
11.0ms23×body1280valid
11.0ms256×pre80true
3.0ms7×body640valid
2.0ms6×body320valid
1.0ms2×body5120valid
0.0ms2×body160valid

simplify34.8s

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: 12.8b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
0.4b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
12.1b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
9×sqrt-prod
7×add-sqr-sqrt
5×pow1 add-cube-cbrt add-log-exp
4×sqrt-div associate-/r/
3×flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16
2×rem-sqrt-square distribute-lft1-in sqrt-pow1 distribute-rgt-out pow1/2 distribute-lft-out
1×+-commutative sum-log
Counts
3 → 50
Calls
3 calls:
88.0ms
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
68.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
8.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series313.0ms

Counts
3 → 9
Calls
3 calls:
194.0ms
(sqrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
75.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
43.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.4s

Counts
59 → 59
Iterations
IterNodes
done5000
31685
2528
1194
088

prune226.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 12.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (log (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
0.4b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
1.0b
(log (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
12.1b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite171.0ms

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

series352.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(exp (log (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
75.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
155.0ms
(log (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
46.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.5s

Counts
82 → 82
Iterations
IterNodes
done5000
31795
2645
1252
0119

prune357.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 9.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
0.4b
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
0.4b
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
12.1b
(sqrt (+ (* x x) (* p (* 4 p))))

rewrite472.0ms

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

series319.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5))
76.0ms
(+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)
73.0ms
(log (exp (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
47.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.4s

Counts
80 → 80
Iterations
IterNodes
done5004
31855
2607
1227
0102

prune342.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 9.3b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite391.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
32×cbrt-prod
26×add-sqr-sqrt
15×add-cube-cbrt
14×pow1
12×cbrt-div
11×swap-sqr
9×flip3-+ associate-*r* associate-*l* sqrt-prod flip-+
8×associate-/r/
6×pow1/3 sqrt-div add-exp-log distribute-lft-out
4×frac-times distribute-lft1-in distribute-rgt-out add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
3×rem-sqrt-square sqrt-pow1 pow1/2
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 108
Calls
4 calls:
365.0ms
(* (cbrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)) (cbrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
7.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
7.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
8.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

series414.0ms

Counts
4 → 12
Calls
4 calls:
277.0ms
(* (cbrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)) (cbrt (+ (/ x (/ (sqrt (+ (* x x) (* p (* 4 p)))) 0.5)) 0.5)))
44.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
48.0ms
(sqrt (+ (* x x) (* p (* 4 p))))
45.0ms
(sqrt (+ (* x x) (* p (* 4 p))))

simplify1.4s

Counts
120 → 120
Iterations
IterNodes
done5001
32365
2759
1299
0137

prune601.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 9.3b

regimes105.0ms

Accuracy

0% (3.6b remaining)

Error of 13.3b against oracle of 9.8b and baseline of 13.3b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample1.7s

Algorithm
intervals
Results
535.0ms8000×pre80true
392.0ms6027×body80valid
329.0ms744×body2560valid
153.0ms599×body1280valid
66.0ms324×body640valid
25.0ms172×body320valid
22.0ms58×body5120valid
7.0ms76×body160valid