Details

Time bar (total: 15.1s)

sample66.0ms

Algorithm
intervals
Results
28.0ms283×body80valid
9.0ms79×body80nan

simplify172.0ms

Counts
1 → 1
Iterations
IterNodes
done179
6179
5175
4163
3136
278
138
020

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.7b

localize143.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.6b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite114.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
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 → 63
Calls
4 calls:
35.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
44.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
18.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series475.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
103.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
123.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
116.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify620.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
21036
1254
0100

prune597.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 3.7b

localize163.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.2b
(/ (- (- b) (- b (/ (* a 2.0) (/ b c)))) (* 2.0 a))
6.0b
(/ (* a 2.0) (/ b c))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity
39×times-frac
26×add-sqr-sqrt
21×add-cbrt-cube add-exp-log add-cube-cbrt
14×associate-/r*
12×distribute-lft-out--
9×associate-/l*
8×cbrt-undiv div-exp add-log-exp
5×pow1 distribute-rgt-neg-in
4×div-inv
3×prod-exp sqrt-prod cbrt-unprod
2×clear-num sum-log frac-2neg flip3-- sqrt-div flip-- distribute-lft-out difference-of-squares associate-/l/
1×neg-sub0 +-commutative rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 div-sub neg-log associate-/r/ associate-+l- flip-+
Counts
4 → 110
Calls
4 calls:
27.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
159.0ms
(/ (- (- b) (- b (/ (* a 2.0) (/ b c)))) (* 2.0 a))
20.0ms
(/ (* a 2.0) (/ b c))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series370.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
100.0ms
(/ (- (- b) (- b (/ (* a 2.0) (/ b c)))) (* 2.0 a))
40.0ms
(/ (* a 2.0) (/ b c))
118.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.8s

Counts
122 → 122
Iterations
IterNodes
done5000
23916
1698
0252

prune992.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.7b

localize164.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
0.2b
(- (* b b) (* (* 4.0 a) c))
1.3b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite96.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
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 → 69
Calls
4 calls:
45.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
6.0ms
(- (* b b) (* (* 4.0 a) c))
29.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series622.0ms

Counts
4 → 12
Calls
4 calls:
313.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
78.0ms
(- (* b b) (* (* 4.0 a) c))
134.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
97.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.0s

Counts
81 → 81
Iterations
IterNodes
done5001
21894
1393
0144

prune589.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.6b

localize152.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* (* c 4.0) a))) b)))
0.2b
(- (* b b) (* (* c 4.0) a))
1.3b
(- (sqrt (- (* b b) (* (* c 4.0) a))) b)
24.4b
(sqrt (- (* b b) (* (* c 4.0) a)))

rewrite201.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×flip3-- div-exp flip-- distribute-lft-out--
3×pow-prod-down
2×cbrt-undiv rec-exp sub-neg sqrt-div diff-log 1-exp associate-/r/
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 91
Calls
4 calls:
115.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* (* c 4.0) a))) b)))
6.0ms
(- (* b b) (* (* c 4.0) a))
59.0ms
(- (sqrt (- (* b b) (* (* c 4.0) a))) b)
14.0ms
(sqrt (- (* b b) (* (* c 4.0) a)))

series528.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* (* c 4.0) a))) b)))
58.0ms
(- (* b b) (* (* c 4.0) a))
101.0ms
(- (sqrt (- (* b b) (* (* c 4.0) a))) b)
97.0ms
(sqrt (- (* b b) (* (* c 4.0) a)))

simplify1.9s

Counts
103 → 103
Iterations
IterNodes
done5001
22999
1529
0183

prune718.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.6b

regimes421.0ms

Accuracy

91.8% (1.3b remaining)

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

bsearch331.0ms

Steps
ItersRangePoint
9
2.1340360609407003e+79
6.102484722804822e+84
2.4774770275703547e+83
7
-3.845605078781637e+76
-5.978906984153912e+74
-3.098467977454582e+76

simplify21.0ms

Iterations
IterNodes
done62
162
052

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s8676×body80valid
403.0ms2883×body80nan