Details

Time bar (total: 16.1s)

sample140.0ms

Algorithm
intervals
Results
90.0ms277×body80valid
18.0ms82×body80nan

simplify102.0ms

Counts
1 → 1
Iterations
IterNodes
done184
6184
5180
4168
3140
279
138
020

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.5b

localize138.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.0b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
21.8b
(sqrt (- (* b b) (* (* 4 a) c)))
21.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
12×add-sqr-sqrt add-log-exp
7×sqrt-prod
6×pow1 add-cube-cbrt
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square sum-log distribute-rgt-neg-in sqrt-pow1 pow1/2 diff-log neg-log distribute-lft-out distribute-lft-out-- difference-of-squares
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Counts
4 → 67
Calls
4 calls:
13.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
15.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series432.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
124.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
95.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
98.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify964.0ms

Counts
79 → 79
Iterations
IterNodes
done5001
21040
1259
0102

prune588.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.8b

localize146.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
4.8b
(/ (* 2 (- (/ a (/ b c)) b)) (* 2 a))
6.0b
(/ a (/ b c))
21.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
51×*-un-lft-identity
48×add-sqr-sqrt
47×add-cube-cbrt
21×add-cbrt-cube add-exp-log
14×associate-/r*
8×add-log-exp
7×cbrt-undiv div-exp
6×div-inv
5×pow1
4×prod-exp cbrt-unprod insert-posit16 associate-/l*
3×sqrt-prod
2×clear-num sum-log frac-2neg flip3-- sqrt-div associate-*r/ flip-- distribute-lft-out associate-/l/
1×neg-sub0 +-commutative rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 flip3-+ pow1/2 neg-log associate-/r/ associate-+l- flip-+
Counts
4 → 127
Calls
4 calls:
21.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
48.0ms
(/ (* 2 (- (/ a (/ b c)) b)) (* 2 a))
6.0ms
(/ a (/ b c))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series333.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
57.0ms
(/ (* 2 (- (/ a (/ b c)) b)) (* 2 a))
32.0ms
(/ a (/ b c))
106.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.1s

Counts
139 → 139
Iterations
IterNodes
done5001
24114
1779
0281

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.8b

localize151.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
0.4b
(- (* b b) (* (* 4 a) c))
0.9b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
21.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
10×add-log-exp
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
7×add-cube-cbrt
6×distribute-lft-out
5×pow1 associate-/r* times-frac
4×insert-posit16
3×distribute-rgt-neg-in sqrt-prod
2×cbrt-undiv sum-log flip3-+ flip3-- sqrt-div div-exp associate-/r/ flip-+ flip--
1×neg-sub0 +-commutative rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log neg-log prod-exp associate-+l- cbrt-unprod div-inv associate-/l*
Counts
4 → 73
Calls
4 calls:
60.0ms
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
15.0ms
(- (* b b) (* (* 4 a) c))
32.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series566.0ms

Counts
4 → 12
Calls
4 calls:
307.0ms
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
58.0ms
(- (* b b) (* (* 4 a) c))
122.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
79.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.3s

Counts
85 → 85
Iterations
IterNodes
done5001
21856
1401
0147

prune562.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.7b

localize151.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2 c) (/ 1 (- (sqrt (+ (* b b) (* (* a -4) c))) b)))
0.4b
(+ (* b b) (* (* a -4) c))
0.9b
(- (sqrt (+ (* b b) (* (* a -4) c))) b)
21.8b
(sqrt (+ (* b b) (* (* a -4) c)))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
26×add-exp-log
24×associate-*r*
23×*-un-lft-identity
18×times-frac
16×add-cbrt-cube
15×add-cube-cbrt
12×prod-exp
10×pow1
8×add-log-exp difference-of-squares
7×sqrt-prod
6×cbrt-unprod
4×div-exp insert-posit16 distribute-lft-out--
3×pow-prod-down
2×cbrt-undiv rec-exp flip3-+ flip3-- sqrt-div 1-exp associate-/r/ flip-+ flip--
1×+-commutative rem-sqrt-square sum-log sub-neg sqrt-pow1 pow1/2 diff-log associate-*l* associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 94
Calls
4 calls:
89.0ms
(* (* 2 c) (/ 1 (- (sqrt (+ (* b b) (* (* a -4) c))) b)))
17.0ms
(+ (* b b) (* (* a -4) c))
44.0ms
(- (sqrt (+ (* b b) (* (* a -4) c))) b)
6.0ms
(sqrt (+ (* b b) (* (* a -4) c)))

series589.0ms

Counts
4 → 12
Calls
4 calls:
292.0ms
(* (* 2 c) (/ 1 (- (sqrt (+ (* b b) (* (* a -4) c))) b)))
63.0ms
(+ (* b b) (* (* a -4) c))
125.0ms
(- (sqrt (+ (* b b) (* (* a -4) c))) b)
109.0ms
(sqrt (+ (* b b) (* (* a -4) c)))

simplify2.3s

Counts
106 → 106
Iterations
IterNodes
done5001
22960
1545
0186

prune597.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.7b

regimes395.0ms

Accuracy

91.4% (1.3b remaining)

Error of 6.7b against oracle of 5.4b and baseline of 20.4b

bsearch284.0ms

Steps
ItersRangePoint
10
1.0955696400612189e+91
1.0202913897586463e+104
1.0084026083208836e+97
5
-7.214726368167912e+162
-2.409563002992963e+162
-2.456332528378644e+162

simplify14.0ms

Iterations
IterNodes
done69
169
055

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s8759×body80valid
853.0ms2919×body80nan