Details

Time bar (total: 16.0s)

sample98.0ms

Algorithm
intervals
Results
50.0ms280×body80valid
10.0ms88×body80nan

simplify194.0ms

Counts
1 → 1
Iterations
IterNodes
done166
6166
5164
4150
3116
266
135
020

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.7b

localize190.0ms

Local error

Found 4 expressions with local error:

0.7b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.8b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite85.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
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 → 63
Calls
4 calls:
34.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
30.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
7.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
10.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series486.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
111.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
116.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
125.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify690.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
21036
1254
0100

prune696.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 5.5b

localize248.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite68.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 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 → 63
Calls
4 calls:
24.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series414.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
109.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
87.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
115.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify553.0ms

Counts
75 → 75
Iterations
IterNodes
done5001
2896
1216
087

prune830.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.3b

localize192.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.7b
(/ (+ (- b) (- (/ (* a 2.0) (/ b c)) b)) (* 2.0 a))
4.7b
(/ (* a 2.0) (/ b c))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite395.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity
38×times-frac
26×add-sqr-sqrt
21×add-cbrt-cube add-exp-log add-cube-cbrt
14×associate-/r*
8×cbrt-undiv div-exp distribute-lft-out associate-/l* add-log-exp
6×distribute-lft-out--
5×pow1 distribute-rgt-neg-in
4×sqrt-prod div-inv
3×prod-exp cbrt-unprod
2×neg-sub0 clear-num frac-2neg flip3-- sqrt-div diff-log div-sub flip-- difference-of-squares associate-/l/
1×associate--l- rem-sqrt-square associate-+r- sub-neg sqrt-pow1 flip3-+ pow1/2 neg-log associate-/r/ associate-+l- flip-+
Counts
4 → 112
Calls
4 calls:
20.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
331.0ms
(/ (+ (- b) (- (/ (* a 2.0) (/ b c)) b)) (* 2.0 a))
20.0ms
(/ (* a 2.0) (/ b c))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series392.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
102.0ms
(/ (+ (- b) (- (/ (* a 2.0) (/ b c)) b)) (* 2.0 a))
46.0ms
(/ (* a 2.0) (/ b c))
114.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.9s

Counts
124 → 124
Iterations
IterNodes
done5002
23873
1686
0254

prune902.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.5b

localize202.0ms

Local error

Found 4 expressions with local error:

2.2b
(sqrt (- (- (/ (* (* a 2.0) c) b) b) b))
4.7b
(/ (* a 2.0) (/ b c))
7.1b
(/ (* (* a 2.0) c) b)
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
34×times-frac
27×*-un-lft-identity
26×add-sqr-sqrt
25×add-cbrt-cube add-exp-log
22×add-cube-cbrt
16×associate-/r*
9×cbrt-undiv div-exp sqrt-prod
6×pow1
5×prod-exp cbrt-unprod
4×sqrt-div div-inv add-log-exp
3×distribute-lft-out--
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 flip3-- pow1/2 flip-- associate-/l*
1×associate-/r/ difference-of-squares
Counts
4 → 102
Calls
4 calls:
159.0ms
(sqrt (- (- (/ (* (* a 2.0) c) b) b) b))
20.0ms
(/ (* a 2.0) (/ b c))
18.0ms
(/ (* (* a 2.0) c) b)
7.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series459.0ms

Counts
4 → 12
Calls
4 calls:
264.0ms
(sqrt (- (- (/ (* (* a 2.0) c) b) b) b))
48.0ms
(/ (* a 2.0) (/ b c))
49.0ms
(/ (* (* a 2.0) c) b)
97.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.4s

Counts
114 → 114
Iterations
IterNodes
done5000
24266
1669
0244

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.5b

regimes479.0ms

Accuracy

88.2% (1.7b remaining)

Error of 6.9b against oracle of 5.2b and baseline of 19.7b

bsearch283.0ms

Steps
ItersRangePoint
10
4.0721326822252617e+40
3.6590220876252264e+50
3.1452459301736828e+50
10
-1.5171851739610474e+153
-7.0159311393260055e+140
-7.914888075650537e+142

simplify5.0ms

Iterations
IterNodes
done48
148
043

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.5s8758×body80valid
464.0ms2839×body80nan