Details

Time bar (total: 17.3s)

sample315.0ms

Algorithm
intervals
Results
65.0ms28×body1280valid
51.0ms186×body80valid
38.0ms20×body640valid
26.0ms37×body2560valid
13.0ms91×body80nan
4.0ms10×body320valid
1.0ms3×body160valid

simplify57.0ms

Counts
1 → 1
Iterations
IterNodes
done44
444
341
232
118
010

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.6b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.6b
(- (* b_2 b_2) (* a c))
1.1b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
22.6b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
37×*-un-lft-identity
21×times-frac
17×add-cube-cbrt
10×distribute-lft-out-- add-log-exp difference-of-squares
8×sqrt-prod
7×associate-/l*
6×add-cbrt-cube add-exp-log
5×pow1 distribute-rgt-neg-in
4×flip3-- insert-posit16 flip--
3×associate-/r* diff-log
2×sub-neg sqrt-div associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp neg-log div-inv
Counts
4 → 95
Calls
4 calls:
68.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
15.0ms
(- (* b_2 b_2) (* a c))
30.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
34.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series374.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
44.0ms
(- (* b_2 b_2) (* a c))
103.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
102.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.3s

Counts
107 → 107
Iterations
IterNodes
done2004
32004
21046
1388
0162

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.7b

localize25.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
4.0b
(/ (/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
11.3b
(/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
22.6b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
150×add-sqr-sqrt
115×*-un-lft-identity
81×add-cube-cbrt
34×difference-of-squares
27×associate-/l*
20×sqrt-prod
17×distribute-lft-out--
11×add-cbrt-cube add-exp-log
10×associate-/r/
9×associate-/r*
7×flip3-- flip--
6×div-inv add-log-exp
5×pow1
4×cbrt-undiv div-exp insert-posit16
3×associate-/l/
2×clear-num frac-2neg sqrt-div
1×rem-sqrt-square sub-neg sqrt-pow1 flip3-+ pow1/2 diff-log flip-+
Counts
4 → 191
Calls
4 calls:
48.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
86.0ms
(/ (/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
83.0ms
(/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
13.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series649.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
176.0ms
(/ (/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
275.0ms
(/ (+ 0 (* a c)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
100.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.0s

Counts
203 → 203
Iterations
IterNodes
done2000
22000
1736
0308

prune2.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.7b

localize43.0ms

Local error

Found 4 expressions with local error:

0.6b
(- (* b_2 b_2) (* c a))
1.5b
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
15.4b
(/ a (* c a))
22.6b
(sqrt (- (* b_2 b_2) (* c a)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
9×*-un-lft-identity add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
5×pow1
4×sqrt-prod insert-posit16
3×times-frac flip3-- flip-- associate-/l*
2×cbrt-undiv sub-neg sqrt-div diff-log div-exp difference-of-squares
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv distribute-lft-out--
Counts
4 → 67
Calls
4 calls:
7.0ms
(- (* b_2 b_2) (* c a))
43.0ms
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
18.0ms
(/ a (* c a))
13.0ms
(sqrt (- (* b_2 b_2) (* c a)))

series274.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (* b_2 b_2) (* c a))
118.0ms
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
15.0ms
(/ a (* c a))
88.0ms
(sqrt (- (* b_2 b_2) (* c a)))

simplify997.0ms

Counts
79 → 79
Iterations
IterNodes
done2000
32000
2901
1286
0129

prune919.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.7b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (* (/ 1 c) (- (sqrt (- (* b_2 b_2) (* c a))) b_2)))
0.6b
(- (* b_2 b_2) (* c a))
1.5b
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
22.6b
(sqrt (- (* b_2 b_2) (* c a)))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
39×add-exp-log
16×div-exp
13×add-cbrt-cube
12×add-sqr-sqrt prod-exp
9×*-un-lft-identity
8×pow1 rec-exp 1-exp add-log-exp
7×add-cube-cbrt
5×flip3-- associate-/r/ flip--
4×cbrt-undiv sqrt-prod insert-posit16
3×times-frac associate-/l*
2×frac-times sub-neg sqrt-div diff-log associate-*r/ cbrt-unprod pow-flip difference-of-squares
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*l/ div-inv distribute-lft-out-- inv-pow
Counts
4 → 89
Calls
4 calls:
107.0ms
(/ 1 (* (/ 1 c) (- (sqrt (- (* b_2 b_2) (* c a))) b_2)))
15.0ms
(- (* b_2 b_2) (* c a))
40.0ms
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
8.0ms
(sqrt (- (* b_2 b_2) (* c a)))

series897.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(/ 1 (* (/ 1 c) (- (sqrt (- (* b_2 b_2) (* c a))) b_2)))
41.0ms
(- (* b_2 b_2) (* c a))
521.0ms
(- (sqrt (- (* b_2 b_2) (* c a))) b_2)
72.0ms
(sqrt (- (* b_2 b_2) (* c a)))

simplify1.1s

Counts
101 → 101
Iterations
IterNodes
done2002
32002
21352
1437
0177

prune977.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.7b

regimes399.0ms

Accuracy

95.3% (1.1b remaining)

Error of 6.6b against oracle of 5.5b and baseline of 29.5b

bsearch133.0ms

Steps
ItersRangePoint
8
6.45623811977989e+97
1.5556153764929518e+101
1.9396144761399596e+100
11
-1.5652762232898113e-199
-6.297228187669027e-228
-2.1709787588541967e-224
0
-3.554202870153192e+151
-3.44863726843118e+151
-3.5014200692921863e+151

simplify7.0ms

Iterations
IterNodes
done44
144
037

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.2s5836×body80valid
888.0ms1100×body2560valid
528.0ms918×body1280valid
366.0ms2972×body80nan
354.0ms497×body640valid
111.0ms107×body5120valid
60.0ms194×body320valid
49.0ms118×body160valid