Details

Time bar (total: 27.7s)

sample74.0ms

Algorithm
intervals
Results
48.0ms279×body80valid
10.0ms84×body80nan

simplify167.0ms

Counts
1 → 1
Iterations
IterNodes
done152
7152
6151
5144
4132
3101
262
135
020

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.1b

localize164.0ms

Local error

Found 4 expressions with local error:

0.9b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.0b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite853.0ms

Algorithm
rewrite-expression-head
Rules
102×add-sqr-sqrt
49×sqrt-prod
38×*-un-lft-identity
36×unswap-sqr
32×difference-of-squares
18×associate-*l*
14×distribute-lft-out--
12×add-log-exp
6×pow1 swap-sqr *-commutative 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
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Counts
4 → 109
Calls
4 calls:
273.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
265.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
162.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
143.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series416.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
103.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
101.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
109.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.6s

Counts
121 → 121
Iterations
IterNodes
done5000
33333
2984
1337
0149

prune919.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.9b

localize149.0ms

Local error

Found 4 expressions with local error:

8.1b
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
145×add-sqr-sqrt
72×sqrt-prod
54×unswap-sqr
51×*-un-lft-identity
45×difference-of-squares
29×associate-*l*
18×distribute-lft-out--
9×swap-sqr *-commutative
8×add-log-exp
7×pow1 add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out
3×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--
2×sum-log distribute-rgt-neg-in
1×neg-sub0 +-commutative flip3-+ neg-log associate-+l- flip-+
Counts
4 → 129
Calls
4 calls:
1.7s
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
176.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
172.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
154.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series476.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
116.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
125.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
121.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify3.1s

Counts
141 → 141
Iterations
IterNodes
done5001
33498
2952
1319
0134

prune929.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.8b

localize182.0ms

Local error

Found 4 expressions with local error:

9.7b
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
203×add-sqr-sqrt
108×sqrt-prod
66×difference-of-squares
63×unswap-sqr
51×*-un-lft-identity
29×associate-*l*
22×distribute-lft-out--
18×swap-sqr
10×*-commutative
8×add-log-exp
7×pow1 add-cube-cbrt
6×sqrt-div
4×flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
2×distribute-rgt-neg-in diff-log
1×associate--l- neg-sub0 sub-neg neg-log
Counts
4 → 151
Calls
4 calls:
1.7s
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
152.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
168.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
140.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series373.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
108.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
98.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
82.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify2.9s

Counts
163 → 163
Iterations
IterNodes
done5000
33664
2974
1334
0145

prune1.1s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.8b

localize177.0ms

Local error

Found 4 expressions with local error:

20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
20.8b
(sqrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))
21.5b
(cbrt (- (* b b) (* (* 4 a) c)))

rewrite449.0ms

Algorithm
rewrite-expression-head
Rules
190×add-sqr-sqrt
72×unswap-sqr
60×difference-of-squares
56×*-un-lft-identity
48×cbrt-prod sqrt-prod
36×associate-*l*
24×distribute-lft-out--
12×swap-sqr *-commutative
8×add-cube-cbrt
6×pow1
4×cbrt-div flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 144
Calls
4 calls:
146.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
149.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
60.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
81.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series509.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
130.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
144.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
117.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

simplify2.4s

Counts
156 → 156
Iterations
IterNodes
done5001
33219
2899
1307
0154

prune1.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 5.8b

regimes479.0ms

Accuracy

88.9% (1.5b remaining)

Error of 7.1b against oracle of 5.7b and baseline of 18.8b

bsearch349.0ms

Steps
ItersRangePoint
7
5.455680955858941e+61
9.381769121995126e+63
7.052614559736995e+62
9
-1.3801743424438113e+48
-9.460060253608456e+39
-1.3607986211035491e+48

simplify25.0ms

Iterations
IterNodes
done57
157
048

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.2s8750×body80valid
582.0ms3007×body80nan