Details

Time bar (total: 17.0s)

sample96.0ms

Algorithm
intervals
Results
36.0ms273×body80valid
26.0ms93×body80nan

simplify148.0ms

Counts
1 → 1
Iterations
IterNodes
done151
7151
6150
5143
4131
3103
261
135
020

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.7b

localize141.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (* b b) (* (* 4.0 a) c))
2.0b
(- (* b b) (* (* 4.0 a) c))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
4×flip3-- add-cbrt-cube sqrt-div add-exp-log flip--
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log
Counts
4 → 54
Calls
4 calls:
13.0ms
(- (* b b) (* (* 4.0 a) c))
20.0ms
(- (* b b) (* (* 4.0 a) c))
12.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
9.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series339.0ms

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

simplify2.0s

Counts
66 → 66
Iterations
IterNodes
done5002
32175
2510
1157
062

prune527.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.0b

localize168.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (* b b) (* (* 4.0 a) c))
4.3b
(/ (+ (- b) (- (* (* 2.0 c) (/ a b)) b)) (* 2.0 a))
4.5b
(* (* 2.0 c) (/ a b))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
21×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
14×times-frac add-cube-cbrt
13×associate-*r*
10×pow1
7×prod-exp cbrt-unprod
6×add-log-exp
5×associate-/l*
4×cbrt-undiv div-exp distribute-lft-out
3×pow-prod-down sqrt-prod
2×distribute-rgt-neg-in flip3-- sqrt-div div-sub div-inv flip-- associate-/l/
1×neg-sub0 rem-sqrt-square clear-num associate-+r- associate-/r* sub-neg frac-2neg sqrt-pow1 flip3-+ pow1/2 diff-log associate-*l* associate-*r/ *-commutative associate-+l- flip-+
Counts
4 → 89
Calls
4 calls:
6.0ms
(- (* b b) (* (* 4.0 a) c))
156.0ms
(/ (+ (- b) (- (* (* 2.0 c) (/ a b)) b)) (* 2.0 a))
18.0ms
(* (* 2.0 c) (/ a b))
7.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series320.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- (* b b) (* (* 4.0 a) c))
72.0ms
(/ (+ (- b) (- (* (* 2.0 c) (/ a b)) b)) (* 2.0 a))
52.0ms
(* (* 2.0 c) (/ a b))
126.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.9s

Counts
101 → 101
Iterations
IterNodes
done5003
22217
1565
0194

prune797.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.0b

localize184.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
1.0b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.0b
(- (* b b) (* (* 4.0 a) c))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite132.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×associate-/r* times-frac add-cube-cbrt
6×sqrt-prod distribute-lft-out-- difference-of-squares
5×pow1
4×flip3-- flip--
3×distribute-rgt-neg-in diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/r/
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log prod-exp cbrt-unprod div-inv associate-/l*
Counts
4 → 76
Calls
4 calls:
65.0ms
(/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
38.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
12.0ms
(- (* b b) (* (* 4.0 a) c))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series567.0ms

Counts
4 → 12
Calls
4 calls:
267.0ms
(/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
121.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
63.0ms
(- (* b b) (* (* 4.0 a) c))
116.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.6s

Counts
88 → 88
Iterations
IterNodes
done5000
21305
1378
0149

prune815.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.9b

localize197.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2.0 (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) c))
1.0b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.0b
(- (* b b) (* (* 4.0 a) c))
23.9b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
159×times-frac
128×add-sqr-sqrt
127×*-un-lft-identity
75×add-cube-cbrt
26×distribute-lft-out-- difference-of-squares
25×associate-/r*
16×sqrt-prod
13×distribute-rgt-neg-in
10×add-log-exp
9×add-cbrt-cube add-exp-log
5×pow1 div-inv
3×cbrt-undiv flip3-- diff-log div-exp flip-- associate-/l*
2×sub-neg sqrt-div
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log associate-/r/
Counts
4 → 163
Calls
4 calls:
53.0ms
(/ 2.0 (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) c))
37.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
12.0ms
(- (* b b) (* (* 4.0 a) c))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series463.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(/ 2.0 (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) c))
120.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
83.0ms
(- (* b b) (* (* 4.0 a) c))
95.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.1s

Counts
175 → 175
Iterations
IterNodes
done5000
22170
1726
0280

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.9b

regimes498.0ms

Accuracy

92.6% (1.1b remaining)

Error of 6.9b against oracle of 5.7b and baseline of 21.0b

bsearch237.0ms

Steps
ItersRangePoint
5
6.972240796235003e+85
2.4695855038465726e+86
1.1138197438371946e+86
9
-6.117539429929052e+154
-3.6285784997486435e+148
-3.2516568688411723e+152

simplify23.0ms

Iterations
IterNodes
done58
158
047

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.5s8721×body80valid
309.0ms2954×body80nan