Details

Time bar (total: 22.6s)

sample91.0ms

Algorithm
intervals
Results
46.0ms279×body80valid
12.0ms84×body80nan

simplify176.0ms

Counts
1 → 1
Iterations
IterNodes
done168
7168
6166
5160
4151
3125
275
138
020

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize190.0ms

Local error

Found 4 expressions with local error:

0.9b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.0b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite778.0ms

Algorithm
rewrite-expression-head
Rules
102×add-sqr-sqrt
49×sqrt-prod
38×*-un-lft-identity
36×unswap-sqr
32×difference-of-squares
18×associate-*l*
14×distribute-lft-out--
12×add-log-exp
6×pow1 swap-sqr *-commutative add-cube-cbrt
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square sum-log distribute-rgt-neg-in sqrt-pow1 pow1/2 diff-log neg-log distribute-lft-out
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Counts
4 → 109
Calls
4 calls:
210.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
241.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
147.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
175.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series481.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
129.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
131.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
118.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.5s

Counts
121 → 121
Iterations
IterNodes
done5000
33333
2984
1337
0149

prune827.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.9b

localize187.0ms

Local error

Found 4 expressions with local error:

20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite417.0ms

Algorithm
rewrite-expression-head
Rules
189×add-sqr-sqrt
72×cbrt-prod unswap-sqr
60×difference-of-squares
56×*-un-lft-identity
36×associate-*l*
24×sqrt-prod distribute-lft-out--
12×swap-sqr *-commutative
8×add-cube-cbrt
6×cbrt-div
5×pow1
4×flip3-- add-cbrt-cube add-exp-log insert-posit16 flip-- add-log-exp
3×pow1/3
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 142
Calls
4 calls:
165.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
77.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
83.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
79.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series496.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
127.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
137.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
137.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify2.3s

Counts
154 → 154
Iterations
IterNodes
done5001
33219
2899
1307
0154

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 6.9b

localize184.0ms

Local error

Found 4 expressions with local error:

20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite442.0ms

Algorithm
rewrite-expression-head
Rules
190×add-sqr-sqrt
72×unswap-sqr
60×difference-of-squares
56×*-un-lft-identity
48×cbrt-prod sqrt-prod
36×associate-*l*
24×distribute-lft-out--
12×swap-sqr *-commutative
8×add-cube-cbrt
6×pow1
4×cbrt-div flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 144
Calls
4 calls:
144.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
136.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
61.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
95.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series427.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
106.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
120.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
112.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify2.7s

Counts
156 → 156
Iterations
IterNodes
done5001
33219
2899
1307
0154

prune1.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 6.9b

localize180.0ms

Local error

Found 4 expressions with local error:

20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))
20.7b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite564.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
96×sqrt-prod
72×unswap-sqr
60×difference-of-squares
56×*-un-lft-identity
36×associate-*l*
24×distribute-lft-out--
12×swap-sqr *-commutative
8×pow1 sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp
Counts
4 → 148
Calls
4 calls:
132.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
121.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
119.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
181.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series403.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
100.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
97.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
115.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.9s

Counts
160 → 160
Iterations
IterNodes
done5004
31984
2599
1216
099

prune1.1s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 6.9b

regimes497.0ms

Accuracy

86.4% (1.6b remaining)

Error of 9.0b against oracle of 7.4b and baseline of 19.0b

bsearch260.0ms

Steps
ItersRangePoint
7
5.455680955858941e+61
9.381769121995126e+63
1.3451554005288185e+63
7
-9.460060253608456e+39
-2.573022393154551e+38
-9.348931433494438e+39

simplify23.0ms

Iterations
IterNodes
done49
149
041

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.1s8746×body80valid
540.0ms3007×body80nan