Details

Time bar (total: 19.6s)

sample71.0ms

Algorithm
intervals
Results
26.0ms35×body2560valid
10.0ms196×body80valid
7.0ms31×body1280valid
4.0ms89×body80nan
2.0ms11×body640valid
1.0ms3×body5120valid
0.0ms3×body160valid
0.0ms2×body320valid

simplify155.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.5b

localize34.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))))

rewrite162.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:
100.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
10.0ms
(- (* b b) (* 4.0 (* a c)))
24.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
22.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series440.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
82.0ms
(- (* b b) (* 4.0 (* a c)))
95.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
116.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify2.1s

Counts
169 → 169
Iterations
IterNodes
done5001
22467
1610
0241

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.5b

localize50.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))))

rewrite187.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:
7.0ms
(- (* b b) (* 4.0 (* a c)))
120.0ms
(* (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
37.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
17.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series433.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(- (* b b) (* 4.0 (* a c)))
155.0ms
(* (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
115.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
88.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify2.2s

Counts
177 → 177
Iterations
IterNodes
done5000
23050
1684
0267

prune773.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.4b

localize25.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))))

rewrite150.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:
98.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
13.0ms
(- (* b b) (* 4.0 (* a c)))
26.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
9.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series387.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
69.0ms
(- (* b b) (* 4.0 (* a c)))
111.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
92.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify2.7s

Counts
169 → 169
Iterations
IterNodes
done5001
22467
1610
0241

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.4b

localize68.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))))

rewrite78.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:
31.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
9.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
20.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
9.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series432.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
114.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
116.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
103.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify1.7s

Counts
153 → 153
Iterations
IterNodes
done5000
21586
1396
0163

prune874.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.4b

regimes465.0ms

Accuracy

87.4% (3.6b remaining)

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

bsearch310.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.3s

Algorithm
intervals
Results
710.0ms1136×body2560valid
653.0ms2819×body80nan
556.0ms5797×body80valid
357.0ms867×body1280valid
171.0ms448×body640valid
144.0ms238×body320valid
89.0ms109×body5120valid
14.0ms103×body160valid