Details

Time bar (total: 15.2s)

sample159.0ms

Algorithm
intervals
Results
65.0ms338×body80valid
11.0ms112×body80nan

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
01417
12817
25516
310116
415916
544216
6321216
done500116

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.4b

localize26.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0) a)
0.2b
(- (pow b 2.0) (* (* 4.0 a) c))
17.5b
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×associate-*l*
20×times-frac
18×*-un-lft-identity add-cube-cbrt
13×sqrt-prod
add-cbrt-cube add-exp-log
pow1
add-log-exp
associate-*r* unswap-sqr
flip3-- sqrt-div prod-exp cbrt-unprod flip--
cbrt-undiv rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv
Counts
3 → 69
Calls
3 calls:
88.0ms
(* (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0) a)
26.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
24.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

series378.0ms

Counts
3 → 9
Calls
3 calls:
158.0ms
(* (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0) a)
82.0ms
(- (pow b 2.0) (* (* 4.0 a) c))
138.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

simplify1.4s

Counts
78 → 78
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01361305
13331240
214681142
done50011138

prune569.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.2b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite333.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
50×associate-*l*
47×add-sqr-sqrt
38×times-frac
35×*-un-lft-identity add-cube-cbrt
13×pow1
11×add-cbrt-cube add-exp-log
sqrt-div
associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod add-log-exp unswap-sqr
rem-sqrt-square sqrt-pow1 flip3-- pow1/2 *-commutative div-inv flip--
frac-times associate-*r/
Counts
4 → 117
Calls
4 calls:
92.0ms
(* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) a)
180.0ms
(* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) (* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) a))
25.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))
26.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

series976.0ms

Counts
4 → 12
Calls
4 calls:
289.0ms
(* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) a)
408.0ms
(* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) (* (sqrt (/ (sqrt (- (pow b 2.0) (* (* 4.0 a) c))) 2.0)) a))
141.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))
138.0ms
(sqrt (- (pow b 2.0) (* (* 4.0 a) c)))

simplify1.8s

Counts
129 → 129
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01992963
14652803
218502314
done50002311

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 1.2b

regimes472.0ms

Accuracy

97.9% (0.3b remaining)

Error of 1.8b against oracle of 1.4b and baseline of 18.0b

bsearch255.0ms

Steps
ItersRangePoint
9
2.1574463845835413e+92
7.992891603640129e+99
7.455214655191518e+99
5
-2.2499130464214823e+154
-8.648518336606113e+153
-1.3484959318131997e+154

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04063
15363
done5363

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s10244×body80valid
392.0ms3343×body80nan