Details

Time bar (total: 21.3s)

sample350.0ms

Algorithm
intervals
Results
55.0ms37×body2560valid
35.0ms18×body640valid
23.0ms187×body80valid
13.0ms24×body1280valid
13.0ms86×body80nan
2.0ms7×body320valid
1.0ms4×body160valid

simplify52.0ms

Counts
1 → 1
Iterations
IterNodes
629
529
427
325
222
114
010

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.3b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
0.8b
(- (* b_2 b_2) (* a c))
0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
23.5b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
26×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
10×difference-of-squares
8×sqrt-prod add-log-exp
6×add-cbrt-cube add-exp-log associate-/l*
5×pow1 distribute-lft-out--
4×flip3-- insert-posit16 flip--
3×associate-/r*
2×sub-neg sqrt-div diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp div-inv
Counts
4 → 88
Calls
4 calls:
134.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
44.0ms
(- (* b_2 b_2) (* a c))
93.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
32.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series369.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
48.0ms
(- (* b_2 b_2) (* a c))
82.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
117.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.2s

Counts
100 → 100
Iterations
IterNodes
32917
2997
1376
0158

prune483.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.3b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
0.8b
(- (* b_2 b_2) (* a c))
5.1b
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
23.5b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
31×times-frac
30×*-un-lft-identity
22×add-cube-cbrt
17×sqrt-prod
8×add-log-exp
6×add-cbrt-cube add-exp-log associate-/l* difference-of-squares
5×pow1
4×flip3-- sqrt-div insert-posit16 flip-- distribute-lft-out--
3×associate-/r* div-inv
2×sub-neg diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 distribute-rgt-out-- pow1/2 div-exp frac-sub sub-div
Counts
4 → 97
Calls
4 calls:
29.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
15.0ms
(- (* b_2 b_2) (* a c))
60.0ms
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
15.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series409.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
46.0ms
(- (* b_2 b_2) (* a c))
121.0ms
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
86.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1s

Counts
109 → 109
Iterations
IterNodes
32588
21022
1399
0179

prune526.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.3b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c)))))
0.8b
(- (* b_2 b_2) (* a c))
8.4b
(- (/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c))))) (/ b_2 a))
23.5b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
132×add-sqr-sqrt
95×*-un-lft-identity
82×add-cube-cbrt
43×sqrt-prod
24×associate-/r*
15×add-exp-log
14×difference-of-squares
10×sqrt-div
9×add-cbrt-cube associate-/r/
8×add-log-exp
7×flip3-- div-exp flip--
6×pow1 div-inv
4×insert-posit16
3×cbrt-undiv associate-/l* distribute-lft-out--
2×rec-exp sub-neg diff-log 1-exp
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 frac-sub pow-flip inv-pow
Counts
4 → 181
Calls
4 calls:
24.0ms
(/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c)))))
15.0ms
(- (* b_2 b_2) (* a c))
94.0ms
(- (/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c))))) (/ b_2 a))
10.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series374.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c)))))
60.0ms
(- (* b_2 b_2) (* a c))
134.0ms
(- (/ 1 (/ a (sqrt (- (* b_2 b_2) (* a c))))) (/ b_2 a))
85.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify8.6s

Counts
193 → 193
Iterations
IterNodes
34071
21617
1709
0292

prune704.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.3b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
0.8b
(- (* b_2 b_2) (* a c))
5.1b
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
23.5b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
31×times-frac
30×*-un-lft-identity
22×add-cube-cbrt
17×sqrt-prod
8×add-log-exp
6×add-cbrt-cube add-exp-log associate-/l* difference-of-squares
5×pow1
4×flip3-- sqrt-div insert-posit16 flip-- distribute-lft-out--
3×associate-/r* div-inv
2×sub-neg diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 distribute-rgt-out-- pow1/2 div-exp frac-sub sub-div
Counts
4 → 97
Calls
4 calls:
13.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
7.0ms
(- (* b_2 b_2) (* a c))
77.0ms
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
15.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series375.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
49.0ms
(- (* b_2 b_2) (* a c))
122.0ms
(- (/ (sqrt (- (* b_2 b_2) (* a c))) a) (/ b_2 a))
77.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1s

Counts
109 → 109
Iterations
IterNodes
32588
21022
1399
0179

prune528.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 6.3b

regimes542.0ms

Accuracy

84.7% (4.2b remaining)

Error of 9.8b against oracle of 5.7b and baseline of 33.0b

bsearch193.0ms

Steps
ItersRangePoint
8
5.833527798943191e-77
3.6732813120885656e-72
3.1295384133612364e-73
9
-2.2464591800446616e+91
-3.153507839293123e+86
-1.3599228730895225e+90

simplify4.0ms

Iterations
IterNodes
229
129
025

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.1s5892×body80valid
755.0ms1027×body2560valid
605.0ms882×body1280valid
367.0ms2956×body80nan
207.0ms463×body640valid
101.0ms235×body320valid
73.0ms98×body5120valid
20.0ms105×body160valid