Details

Time bar (total: 14.2s)

sample65.0ms

Algorithm
intervals
Results
28.0ms283×body80valid
8.0ms79×body80nan

simplify120.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize167.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
1.6b
(- (- b) (sqrt (- (* b b) (* (* c a) 4.0))))
24.2b
(sqrt (- (* b b) (* (* c a) 4.0)))
24.2b
(sqrt (- (* b b) (* (* c a) 4.0)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
12×*-un-lft-identity
10×add-log-exp
8×sqrt-prod
6×pow1 add-cube-cbrt
4×flip3-- add-cbrt-cube sqrt-div add-exp-log flip-- difference-of-squares
3×diff-log distribute-lft-out--
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2
1×associate--l- neg-sub0 distribute-rgt-neg-in neg-log
Counts
4 → 63
Calls
4 calls:
52.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
19.0ms
(- (- b) (sqrt (- (* b b) (* (* c a) 4.0))))
7.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))
9.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

series446.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
101.0ms
(- (- b) (sqrt (- (* b b) (* (* c a) 4.0))))
99.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))
125.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

simplify751.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
21144
1249
0106

prune678.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.7b

localize151.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
1.8b
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
5.9b
(/ (* 2.0 a) (/ b c))
24.2b
(sqrt (- (* b b) (* (* c a) 4.0)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
34×times-frac
26×add-sqr-sqrt
23×*-un-lft-identity
21×add-cbrt-cube add-exp-log add-cube-cbrt
16×associate-/r*
8×cbrt-undiv div-exp
6×add-log-exp
5×pow1
4×sqrt-prod div-inv
3×prod-exp associate-/r/ cbrt-unprod
2×clear-num frac-2neg flip3-- sqrt-div flip-- associate-/l* difference-of-squares
1×rem-sqrt-square sub-neg sqrt-pow1 flip3-+ pow1/2 diff-log flip-+ distribute-lft-out--
Counts
4 → 99
Calls
4 calls:
35.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
31.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
16.0ms
(/ (* 2.0 a) (/ b c))
10.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

series526.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
268.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
43.0ms
(/ (* 2.0 a) (/ b c))
98.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

simplify1.9s

Counts
111 → 111
Iterations
IterNodes
done5001
23792
1646
0236

prune791.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.7b

localize133.0ms

Local error

Found 4 expressions with local error:

1.8b
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
2.2b
(/ (- (/ (* a 2.0) (/ b c)) (* b 2)) (* 2.0 a))
5.9b
(/ (* 2.0 a) (/ b c))
5.9b
(/ (* a 2.0) (/ b c))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
68×times-frac
38×add-cbrt-cube add-exp-log
36×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×associate-/r*
16×cbrt-undiv div-exp
8×div-inv
6×prod-exp cbrt-unprod associate-/l*
4×pow1 clear-num frac-2neg associate-/r/ add-log-exp
2×associate-/l/
1×flip3-+ flip3-- div-sub flip-+ flip--
Counts
4 → 139
Calls
4 calls:
56.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
100.0ms
(/ (- (/ (* a 2.0) (/ b c)) (* b 2)) (* 2.0 a))
22.0ms
(/ (* 2.0 a) (/ b c))
19.0ms
(/ (* a 2.0) (/ b c))

series488.0ms

Counts
4 → 12
Calls
4 calls:
295.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
107.0ms
(/ (- (/ (* a 2.0) (/ b c)) (* b 2)) (* 2.0 a))
53.0ms
(/ (* 2.0 a) (/ b c))
33.0ms
(/ (* a 2.0) (/ b c))

simplify541.0ms

Counts
151 → 151
Iterations
IterNodes
done5000
1848
0273

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.4b

localize135.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ c b) (/ b a))
0.0b
(+ (* b -2) (/ (* 2.0 a) (/ b c)))
1.8b
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
5.9b
(/ (* 2.0 a) (/ b c))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
32×add-sqr-sqrt
26×*-un-lft-identity
21×add-cbrt-cube add-exp-log
20×add-cube-cbrt
16×associate-/r*
8×cbrt-undiv div-exp add-log-exp
4×pow1 div-inv difference-of-squares
3×prod-exp associate-/r/ cbrt-unprod
2×clear-num frac-2neg flip3-+ flip-+ associate-/l* distribute-lft-out--
1×+-commutative sum-log sub-neg flip3-- diff-log frac-sub flip--
Counts
4 → 99
Calls
4 calls:
40.0ms
(- (/ c b) (/ b a))
25.0ms
(+ (* b -2) (/ (* 2.0 a) (/ b c)))
35.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
21.0ms
(/ (* 2.0 a) (/ b c))

series403.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (/ c b) (/ b a))
68.0ms
(+ (* b -2) (/ (* 2.0 a) (/ b c)))
228.0ms
(/ (* 2.0 c) (+ (* b -2) (/ (* 2.0 a) (/ b c))))
54.0ms
(/ (* 2.0 a) (/ b c))

simplify1.4s

Counts
111 → 111
Iterations
IterNodes
done5000
23063
1590
0216

prune767.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.4b

regimes423.0ms

Accuracy

91.3% (1.4b remaining)

Error of 6.6b against oracle of 5.1b and baseline of 21.8b

bsearch301.0ms

Steps
ItersRangePoint
9
2.1340360609407003e+79
6.102484722804822e+84
2.6205431397402643e+84
9
-3.845605078781637e+76
-1.2146338677939432e+68
-7.943482039519134e+75

simplify7.0ms

Iterations
IterNodes
done80
180
068

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.5s8696×body80valid
345.0ms2886×body80nan