Details

Time bar (total: 13.7s)

sample119.0ms

Algorithm
intervals
Results
31.0ms523×pre80true
29.0ms141×body160valid
25.0ms267×body80nan
12.0ms115×body80valid

simplify110.0ms

Counts
1 → 1
Iterations
IterNodes
done116
5116
4107
382
245
124
014

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (* b b) (* (* c a) 4)))
0.2b
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) 2) a)
0.2b
(- (* b b) (* (* c a) 4))
29.0b
(- (sqrt (- (* b b) (* (* c a) 4))) b)

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
121×add-sqr-sqrt
94×*-un-lft-identity
68×add-cube-cbrt
26×difference-of-squares
22×associate-/l*
16×sqrt-prod
13×distribute-lft-out--
9×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 div-inv
4×insert-posit16
3×cbrt-undiv associate-/r* flip3-- div-exp flip--
2×sub-neg sqrt-div diff-log div-sub
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 153
Calls
4 calls:
14.0ms
(sqrt (- (* b b) (* (* c a) 4)))
80.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) 2) a)
13.0ms
(- (* b b) (* (* c a) 4))
37.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)

series409.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(sqrt (- (* b b) (* (* c a) 4)))
127.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) 2) a)
55.0ms
(- (* b b) (* (* c a) 4))
122.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)

simplify1.8s

Counts
165 → 165
Iterations
IterNodes
done5000
23064
1707
0279

prune645.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 8.8b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune110.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 8.8b

localize19.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (* a c) b)
0.3b
(/ (/ (* -2 (/ (* a c) b)) 2) a)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
27×add-cbrt-cube add-exp-log
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×cbrt-undiv div-exp
8×associate-/l*
6×associate-/r* div-inv
5×prod-exp cbrt-unprod
2×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 75
Calls
2 calls:
13.0ms
(/ (* a c) b)
17.0ms
(/ (/ (* -2 (/ (* a c) b)) 2) a)

series63.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ (* a c) b)
36.0ms
(/ (/ (* -2 (/ (* a c) b)) 2) a)

simplify1.3s

Counts
81 → 81
Iterations
IterNodes
done5001
22597
1467
0169

prune372.0ms

Pruning

35 alts after pruning (34 fresh and 1 done)

Merged error: 8.7b

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (* c a) b)
0.3b
(* (/ (/ (* c a) b) -1/2) (/ 1/2 a))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
46×times-frac
39×add-cbrt-cube add-exp-log
37×add-sqr-sqrt
25×*-un-lft-identity associate-*l* add-cube-cbrt
16×cbrt-undiv div-exp
13×associate-*r*
11×prod-exp cbrt-unprod
6×div-inv
4×pow1 unswap-sqr
3×associate-/r*
2×insert-posit16 add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
2 → 93
Calls
2 calls:
9.0ms
(/ (* c a) b)
25.0ms
(* (/ (/ (* c a) b) -1/2) (/ 1/2 a))

series37.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(/ (* c a) b)
17.0ms
(* (/ (/ (* c a) b) -1/2) (/ 1/2 a))

simplify1.9s

Counts
99 → 99
Iterations
IterNodes
done5001
23565
1607
0189

prune411.0ms

Pruning

36 alts after pruning (35 fresh and 1 done)

Merged error: 8.7b

regimes795.0ms

Accuracy

46.5% (7.4b remaining)

Error of 16.6b against oracle of 9.2b and baseline of 23.0b

bsearch14.0ms

Steps
ItersRangePoint
1
771.957524520205
811.761863321402
781.9086092205042

simplify5.0ms

Iterations
IterNodes
done34
134
024

end0.0ms

sample5.3s

Algorithm
intervals
Results
1.3s8702×body80nan
1.3s4427×body160valid
1.1s16702×pre80true
459.0ms3573×body80valid