Details

Time bar (total: 19.0s)

sample83.0ms

Algorithm
intervals
Results
15.0ms35×body2560valid
15.0ms196×body80valid
11.0ms31×body1280valid
6.0ms89×body80nan
3.0ms11×body640valid
2.0ms3×body5120valid
0.0ms2×body320valid
0.0ms3×body160valid

simplify152.0ms

Counts
1 → 1
Iterations
IterNodes
done164
6164
5160
4153
3121
264
129
014

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
0.2b
(- (* b b) (* 4.0 (* a c)))
0.8b
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
23.0b
(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt prod-diff
60×*-un-lft-identity
48×add-cube-cbrt
36×sqrt-prod
24×distribute-rgt-neg-in
21×distribute-lft-neg-in
11×fma-neg
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×neg-mul-1 times-frac associate-/l*
6×distribute-lft-out-- difference-of-squares
5×pow1
4×expm1-log1p-u flip3-- log1p-expm1-u flip--
3×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 → 157
Calls
4 calls:
74.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
12.0ms
(- (* b b) (* 4.0 (* a c)))
39.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
14.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series369.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
72.0ms
(- (* b b) (* 4.0 (* a c)))
104.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
89.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify1.7s

Counts
169 → 169
Iterations
IterNodes
done5001
22467
1610
0241

prune998.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.5b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b b) (* 4.0 (* a c)))
0.2b
(* (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
0.8b
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
23.0b
(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
61×prod-diff
60×add-sqr-sqrt
57×*-un-lft-identity
49×add-cube-cbrt
35×sqrt-prod
23×distribute-rgt-neg-in add-exp-log
21×distribute-lft-neg-in
13×add-cbrt-cube
11×fma-neg
10×prod-exp add-log-exp
7×pow1 neg-mul-1 associate-*r* associate-*l*
5×flip3-- flip--
4×expm1-log1p-u div-exp cbrt-unprod log1p-expm1-u distribute-lft-out-- difference-of-squares
3×times-frac diff-log
2×frac-times cbrt-undiv rec-exp sub-neg sqrt-div 1-exp associate-*l/
1×associate--l- neg-sub0 rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down neg-log associate-*r/ un-div-inv *-commutative div-inv unswap-sqr
Counts
4 → 165
Calls
4 calls:
12.0ms
(- (* b b) (* 4.0 (* a c)))
154.0ms
(* (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
40.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
15.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series383.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* b b) (* 4.0 (* a c)))
113.0ms
(* (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
111.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
107.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify2.2s

Counts
177 → 177
Iterations
IterNodes
done5000
23050
1684
0267

prune891.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.4b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
0.2b
(- (* b b) (* 4.0 (* a c)))
0.8b
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
23.0b
(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt prod-diff
60×*-un-lft-identity
48×add-cube-cbrt
36×sqrt-prod
24×distribute-rgt-neg-in
21×distribute-lft-neg-in
11×fma-neg
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×neg-mul-1 times-frac associate-/l*
6×distribute-lft-out-- difference-of-squares
5×pow1
4×expm1-log1p-u flip3-- log1p-expm1-u flip--
3×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 → 157
Calls
4 calls:
91.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
13.0ms
(- (* b b) (* 4.0 (* a c)))
55.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
18.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series418.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
76.0ms
(- (* b b) (* 4.0 (* a c)))
102.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
85.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify2.2s

Counts
169 → 169
Iterations
IterNodes
done5001
22467
1610
0241

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.4b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
55×add-sqr-sqrt
52×*-un-lft-identity
48×add-cube-cbrt
40×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
10×fma-neg
8×add-log-exp
7×pow1 neg-mul-1
6×sqrt-div
4×expm1-log1p-u flip3-- add-cbrt-cube add-exp-log log1p-expm1-u 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 neg-log
Counts
4 → 141
Calls
4 calls:
49.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
17.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
11.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
9.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series465.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
108.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
106.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
110.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify1.8s

Counts
153 → 153
Iterations
IterNodes
done5000
21586
1396
0163

prune888.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.4b

regimes613.0ms

Accuracy

87.4% (3.6b remaining)

Error of 9.1b against oracle of 5.5b and baseline of 33.8b

bsearch306.0ms

Steps
ItersRangePoint
10
4.0721326822252617e+40
3.6590220876252264e+50
3.628799960716312e+50
9
-1.2594150945566125e-253
-8.579100536702327e-262
-1.241327699195247e-253
6
-1.278587798556269e+59
-1.7736353873113924e+58
-1.9700105655521088e+58

simplify8.0ms

Iterations
IterNodes
done46
146
037

end0.0ms

sample3.4s

Algorithm
intervals
Results
988.0ms5797×body80valid
729.0ms1136×body2560valid
431.0ms867×body1280valid
248.0ms448×body640valid
212.0ms2819×body80nan
103.0ms109×body5120valid
59.0ms238×body320valid
17.0ms103×body160valid