Details

Time bar (total: 16.8s)

sample41.0ms

Algorithm
intervals
Results
21.0ms285×body80valid
5.0ms85×body80nan

simplify157.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: 18.9b

localize141.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.6b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
12×add-sqr-sqrt add-log-exp
7×sqrt-prod
6×pow1 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 distribute-lft-out-- difference-of-squares
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Counts
4 → 67
Calls
4 calls:
43.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
43.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
19.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
23.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series442.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
109.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
114.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
117.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.1s

Counts
79 → 79
Iterations
IterNodes
done5000
32698
2773
1250
0102

prune729.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.7b

localize132.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-sqr-sqrt
9×sqrt-prod
8×add-log-exp
7×pow1 add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16
3×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--
2×sum-log distribute-lft-out
1×neg-sub0 +-commutative distribute-rgt-neg-in flip3-+ neg-log associate-+l- flip-+
Counts
4 → 64
Calls
4 calls:
20.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
13.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
9.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
114.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
124.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
100.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.2s

Counts
76 → 76
Iterations
IterNodes
done5001
32649
2693
1219
084

prune748.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 6.6b

localize199.0ms

Local error

Found 4 expressions with local error:

22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×*-un-lft-identity 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 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 58
Calls
4 calls:
23.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
12.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
11.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
11.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series509.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
114.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
137.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
160.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify1.7s

Counts
70 → 70
Iterations
IterNodes
done5002
31931
2578
1202
089

prune795.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 6.6b

localize184.0ms

Local error

Found 4 expressions with local error:

22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.0b
(sqrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod pow1 sqrt-prod
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 → 60
Calls
4 calls:
17.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
18.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
12.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
12.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series470.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
86.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
123.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
158.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify2.1s

Counts
72 → 72
Iterations
IterNodes
done5002
31931
2578
1202
089

prune743.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 6.6b

regimes460.0ms

Accuracy

84.8% (1.9b remaining)

Error of 9.2b against oracle of 7.3b and baseline of 19.8b

bsearch269.0ms

Steps
ItersRangePoint
10
24130438545.104744
1.5803814198611752e+21
1.5596668453223772e+21
7
-2.6305624027095992e+48
-2.971125736392027e+46
-2.593460638040052e+48

simplify40.0ms

Iterations
IterNodes
done44
144
037

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.2s8738×body80valid
308.0ms2975×body80nan