Details

Time bar (total: 15.1s)

sample82.0ms

Algorithm
intervals
Results
35.0ms283×body80valid
10.0ms79×body80nan

simplify146.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

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

rewrite116.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))))
45.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)))

series429.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
121.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
95.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
102.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify575.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
21036
1254
0100

prune601.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 3.7b

localize184.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.2b
(/ (+ (* -2 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)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
34×times-frac
25×*-un-lft-identity
22×add-sqr-sqrt
21×add-cbrt-cube add-exp-log add-cube-cbrt
14×associate-/r*
8×cbrt-undiv div-exp add-log-exp
5×pow1
4×div-inv associate-/l*
3×prod-exp sqrt-prod cbrt-unprod
2×clear-num sum-log frac-2neg flip3-+ sqrt-div 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 → 99
Calls
4 calls:
19.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
65.0ms
(/ (+ (* -2 b) (/ (* a 2.0) (/ b c))) (* 2.0 a))
12.0ms
(/ (* a 2.0) (/ b c))
8.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series382.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
83.0ms
(/ (+ (* -2 b) (/ (* a 2.0) (/ b c))) (* 2.0 a))
54.0ms
(/ (* a 2.0) (/ b c))
110.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.8s

Counts
111 → 111
Iterations
IterNodes
done5001
23877
1683
0244

prune927.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.7b

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

rewrite111.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:
74.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
7.0ms
(- (* b b) (* (* 4.0 a) c))
19.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
8.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series541.0ms

Counts
4 → 12
Calls
4 calls:
261.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
57.0ms
(- (* b b) (* (* 4.0 a) c))
116.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
107.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify919.0ms

Counts
81 → 81
Iterations
IterNodes
done5001
21894
1393
0144

prune755.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.6b

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

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

series586.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* (* c 4.0) a))) b)))
67.0ms
(- (* b b) (* (* c 4.0) a))
116.0ms
(- (sqrt (- (* b b) (* (* c 4.0) a))) b)
87.0ms
(sqrt (- (* b b) (* (* c 4.0) a)))

simplify2.1s

Counts
103 → 103
Iterations
IterNodes
done5001
22999
1529
0183

prune622.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.6b

regimes458.0ms

Accuracy

92.1% (1.2b remaining)

Error of 6.6b against oracle of 5.4b and baseline of 20.7b

bsearch342.0ms

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

simplify8.0ms

Iterations
IterNodes
done56
156
048

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.5s8676×body80valid
416.0ms2883×body80nan