Details

Time bar (total: 18.1s)

sample96.0ms

Algorithm
intervals
Results
19.0ms33×body2560valid
19.0ms184×body80valid
12.0ms14×body640valid
11.0ms23×body1280valid
10.0ms89×body80nan
6.0ms9×body5120valid
2.0ms8×body320valid
0.0ms2×body160valid

simplify166.0ms

Counts
1 → 1
Iterations
IterNodes
7232
6232
5228
4221
3179
2104
156
014

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.9b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
0.6b
(- (* b b) (* 4 (* a c)))
1.0b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
19.8b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×times-frac add-cube-cbrt associate-/l*
6×sqrt-prod distribute-lft-out-- difference-of-squares
5×pow1
4×flip3-- insert-posit16 flip--
3×distribute-rgt-neg-in diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 81
Calls
4 calls:
53.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
13.0ms
(- (* b b) (* 4 (* a c)))
30.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
12.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series389.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
62.0ms
(- (* b b) (* 4 (* a c)))
107.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
94.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.7s

Counts
93 → 93
Iterations
IterNodes
35262
21657
1674
0154

prune938.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.4b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
0.6b
(- (* b b) (* 4 (* a c)))
1.0b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
19.8b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite387.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×times-frac add-cube-cbrt associate-/l*
6×sqrt-prod distribute-lft-out-- difference-of-squares
5×pow1
4×flip3-- insert-posit16 flip--
3×distribute-rgt-neg-in diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 81
Calls
4 calls:
356.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
8.0ms
(- (* b b) (* 4 (* a c)))
15.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
7.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series396.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
56.0ms
(- (* b b) (* 4 (* a c)))
104.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
103.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.5s

Counts
93 → 93
Iterations
IterNodes
35262
21657
1674
0154

prune799.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.4b

localize68.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
19.8b
(sqrt (- (* b b) (* 4 (* a c))))
19.8b
(sqrt (- (* b b) (* 4 (* a c))))
19.8b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×*-un-lft-identity
10×sqrt-prod
8×add-log-exp
7×pow1 add-cube-cbrt
6×sqrt-div
4×flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
2×diff-log distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 sub-neg distribute-rgt-neg-in neg-log
Counts
4 → 67
Calls
4 calls:
24.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
11.0ms
(sqrt (- (* b b) (* 4 (* a c))))
12.0ms
(sqrt (- (* b b) (* 4 (* a c))))
12.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series439.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
108.0ms
(sqrt (- (* b b) (* 4 (* a c))))
111.0ms
(sqrt (- (* b b) (* 4 (* a c))))
104.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify661.0ms

Counts
79 → 79
Iterations
IterNodes
32430
2867
1366
087

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.4b

localize105.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.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 insert-posit16 flip-- add-log-exp
Counts
4 → 64
Calls
4 calls:
13.0ms
(sqrt (- (* b b) (* 4 (* a c))))
14.0ms
(sqrt (- (* b b) (* 4 (* a c))))
14.0ms
(sqrt (- (* b b) (* 4 (* a c))))
12.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series424.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(sqrt (- (* b b) (* 4 (* a c))))
92.0ms
(sqrt (- (* b b) (* 4 (* a c))))
97.0ms
(sqrt (- (* b b) (* 4 (* a c))))
119.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.9s

Counts
76 → 76
Iterations
IterNodes
44847
31565
2539
1225
051

prune1.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 5.4b

regimes630.0ms

Accuracy

84.7% (4.2b remaining)

Error of 9.5b against oracle of 5.3b and baseline of 33.0b

bsearch195.0ms

Steps
ItersRangePoint
7
9.852932830556067e+81
3.906369945261731e+83
2.3362227636224895e+83
7
-3.713212020214074e-54
-1.299476807453083e-55
-1.376414644198452e-55

simplify4.0ms

Iterations
IterNodes
229
129
024

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.5s1049×body2560valid
1.1s5869×body80valid
719.0ms905×body1280valid
362.0ms2903×body80nan
257.0ms438×body640valid
118.0ms252×body320valid
86.0ms88×body5120valid
34.0ms109×body160valid