Details

Time bar (total: 14.4s)

sample134.0ms

Algorithm
intervals
Results
46.0ms314×body80nan
29.0ms151×body160valid
23.0ms570×pre80true
13.0ms48×body320valid
5.0ms57×body80valid

simplify65.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: 43.9b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite123.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:
7.0ms
(sqrt (- (* b b) (* (* c a) 4)))
7.0ms
(- (* b b) (* (* c a) 4))
49.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) 2) a)
58.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)

series372.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(sqrt (- (* b b) (* (* c a) 4)))
59.0ms
(- (* b b) (* (* c a) 4))
132.0ms
(/ (/ (- (sqrt (- (* b b) (* (* c a) 4))) b) 2) a)
108.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)

simplify1.6s

Counts
165 → 165
Iterations
IterNodes
done5001
22932
1691
0279

prune956.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 4.8b

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

prune84.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 4.8b

localize18.0ms

Local error

Found 2 expressions with local error:

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

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 insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 75
Calls
2 calls:
28.0ms
(/ (/ (* -2 (/ (* a c) b)) 2) a)
10.0ms
(/ (* a c) b)

series49.0ms

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

simplify1.4s

Counts
81 → 81
Iterations
IterNodes
done5000
22778
1471
0169

prune445.0ms

Pruning

33 alts after pruning (32 fresh and 1 done)

Merged error: 4.8b

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ c (sqrt b))
0.3b
(/ a (sqrt b))
0.3b
(/ (/ (* -2 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2) a)
0.4b
(* (/ a (sqrt b)) (/ c (sqrt b)))

rewrite80.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×insert-posit16 add-log-exp
3×clear-num frac-2neg
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 211
Calls
4 calls:
5.0ms
(/ c (sqrt b))
9.0ms
(/ a (sqrt b))
38.0ms
(/ (/ (* -2 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2) a)
25.0ms
(* (/ a (sqrt b)) (/ c (sqrt b)))

series197.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(/ c (sqrt b))
54.0ms
(/ a (sqrt b))
41.0ms
(/ (/ (* -2 (* (/ a (sqrt b)) (/ c (sqrt b)))) 2) a)
45.0ms
(* (/ a (sqrt b)) (/ c (sqrt b)))

simplify1.1s

Counts
223 → 223
Iterations
IterNodes
done5001
11062
0360

prune882.0ms

Pruning

35 alts after pruning (34 fresh and 1 done)

Merged error: 4.7b

regimes827.0ms

Accuracy

7.3% (6.4b remaining)

Error of 11.5b against oracle of 5.2b and baseline of 12.0b

bsearch47.0ms

Steps
ItersRangePoint
3
0.22538239365787033
0.2970756725892088
0.2404309694818497

simplify11.0ms

Iterations
IterNodes
done33
133
024

end0.0ms

sample5.8s

Algorithm
intervals
Results
1.6s8456×body80nan
1.5s4829×body160valid
1.4s16456×pre80true
607.0ms1386×body320valid
278.0ms1785×body80valid