Details

Time bar (total: 14.3s)

sample93.0ms

Algorithm
intervals
Results
57.0ms281×body80valid
14.0ms98×body80nan

simplify202.0ms

Counts
1 → 1
Iterations
IterNodes
done168
7168
6166
5160
4151
3125
275
138
020

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.0b

localize162.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite58.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 insert-posit16
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 → 67
Calls
4 calls:
26.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
14.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
9.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series463.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
133.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
94.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
124.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.2s

Counts
79 → 79
Iterations
IterNodes
done2028
32028
2773
1250
0102

prune565.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 4.2b

localize171.0ms

Local error

Found 4 expressions with local error:

10.4b
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
8×add-log-exp
7×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16
3×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--
2×sum-log
1×neg-sub0 +-commutative flip3-+ neg-log associate-+l- flip-+
Counts
4 → 62
Calls
4 calls:
8.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
8.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
14.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series453.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
110.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
106.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
108.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.0s

Counts
74 → 74
Iterations
IterNodes
done2004
32004
2727
1232
087

prune624.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 4.2b

localize164.0ms

Local error

Found 4 expressions with local error:

11.2b
(- (- b) (* (fabs (cbrt (- (* b b) (* (* 4 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4 a) c))))))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))
22.7b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
7×*-un-lft-identity add-cube-cbrt
6×cbrt-prod
5×pow1
4×cbrt-div flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
3×sqrt-prod
2×pow1/3 sqrt-div diff-log
1×associate--l- neg-sub0 rem-sqrt-square sub-neg sqrt-pow1 pow1/2 neg-log
Counts
4 → 59
Calls
4 calls:
8.0ms
(- (- b) (* (fabs (cbrt (- (* b b) (* (* 4 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4 a) c))))))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
5.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
8.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series459.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(- (- b) (* (fabs (cbrt (- (* b b) (* (* 4 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4 a) c))))))
110.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
121.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
114.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify1.2s

Counts
71 → 71
Iterations
IterNodes
done2001
32001
21172
1368
0149

prune662.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 4.2b

localize233.0ms

Local error

Found 4 expressions with local error:

21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
21.9b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp
Counts
4 → 64
Calls
4 calls:
14.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
9.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series453.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
113.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
117.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
103.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.4s

Counts
76 → 76
Iterations
IterNodes
done2008
42008
31558
2418
1129
052

prune738.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 4.2b

regimes313.0ms

Accuracy

92.8% (1.0b remaining)

Error of 6.7b against oracle of 5.7b and baseline of 19.1b

bsearch221.0ms

Steps
ItersRangePoint
7
6.52945691119865e+99
1.3360629297740576e+102
1.16763517725026e+102
5
-3.3440263710910746e+131
-9.921521910190385e+130
-2.903275193909624e+131

simplify18.0ms

Iterations
IterNodes
done49
149
042

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.4s8758×body80valid
563.0ms2940×body80nan