Details

Time bar (total: 13.5s)

sample112.0ms

Algorithm
intervals
Results
28.0ms288×body80nan
25.0ms147×body160valid
19.0ms544×pre80true
9.0ms109×body80valid

simplify91.0ms

Counts
1 → 1
Iterations
IterNodes
done111
5111
4102
378
244
124
014

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (* b b) (* (* c a) 4.0)))
0.2b
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) 2.0) a)
0.3b
(- (* b b) (* (* c a) 4.0))
29.2b
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)

rewrite208.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
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 → 149
Calls
4 calls:
7.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))
105.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) 2.0) a)
12.0ms
(- (* b b) (* (* c a) 4.0))
76.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)

series444.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))
154.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) 2.0) a)
83.0ms
(- (* b b) (* (* c a) 4.0))
105.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)

simplify2.1s

Counts
161 → 161
Iterations
IterNodes
done5001
23070
1693
0280

prune932.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 9.5b

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

prune136.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 9.5b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.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 add-log-exp
1×associate-/l/
Counts
2 → 73
Calls
2 calls:
8.0ms
(/ (* a c) b)
30.0ms
(/ (/ (* -2.0 (/ (* a c) b)) 2.0) a)

series53.0ms

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

simplify1.4s

Counts
79 → 79
Iterations
IterNodes
done5002
22917
1460
0167

prune616.0ms

Pruning

35 alts after pruning (35 fresh and 0 done)

Merged error: 9.4b

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ a (sqrt b))
0.3b
(/ c (sqrt b))
0.3b
(/ (/ (* -2.0 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2.0) a)
0.3b
(* (/ a (sqrt b)) (/ c (sqrt b)))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
106×add-sqr-sqrt
76×*-un-lft-identity add-cube-cbrt
53×add-cbrt-cube add-exp-log
48×sqrt-prod
23×cbrt-undiv div-exp
22×associate-*r* associate-*l*
15×associate-/r*
13×prod-exp cbrt-unprod associate-/l*
9×div-inv unswap-sqr
6×pow1
4×add-log-exp
3×clear-num frac-2neg
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 207
Calls
4 calls:
6.0ms
(/ a (sqrt b))
8.0ms
(/ c (sqrt b))
65.0ms
(/ (/ (* -2.0 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2.0) a)
53.0ms
(* (/ a (sqrt b)) (/ c (sqrt b)))

series218.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(/ a (sqrt b))
62.0ms
(/ c (sqrt b))
38.0ms
(/ (/ (* -2.0 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2.0) a)
44.0ms
(* (/ a (sqrt b)) (/ c (sqrt b)))

simplify1.2s

Counts
219 → 219
Iterations
IterNodes
done5001
11055
0357

prune1.1s

Pruning

42 alts after pruning (42 fresh and 0 done)

Merged error: 9.3b

regimes1.1s

Accuracy

47.9% (7.4b remaining)

Error of 16.2b against oracle of 8.9b and baseline of 23.0b

bsearch23.0ms

Steps
ItersRangePoint
1
825.8857943049597
863.2800776740891
835.234365147242

simplify7.0ms

Iterations
IterNodes
done29
129
026

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.3s4406×body160valid
798.0ms8521×body80nan
600.0ms16521×pre80true
320.0ms3594×body80valid