Details

Time bar (total: 37.6s)

sample58.0ms

Algorithm
intervals
Results
24.0ms284×body80valid
6.0ms85×body80nan

simplify530.0ms

Counts
1 → 1
Iterations
IterNodes
done158
7158
6157
5150
4138
3110
262
136
020

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.9b

localize182.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
1.6b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite234.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
58×*-un-lft-identity
56×add-sqr-sqrt
50×add-cube-cbrt
37×sqrt-prod
26×distribute-rgt-neg-in
24×distribute-lft-neg-in
12×add-log-exp
10×fma-def fma-neg
8×neg-mul-1
6×pow1
4×expm1-log1p-u add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square sum-log 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 → 155
Calls
4 calls:
82.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
61.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
30.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
34.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series654.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
165.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
150.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
184.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify8.1s

Counts
167 → 167
Iterations
IterNodes
done5000
34536
21212
1434
0182

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.7b

localize353.0ms

Local error

Found 4 expressions with local error:

11.8b
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×fma-def *-un-lft-identity add-cube-cbrt
9×sqrt-prod
8×add-log-exp
7×pow1
6×sqrt-div
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×distribute-lft-neg-in rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 flip3-- pow1/2 flip--
2×sum-log
1×neg-sub0 +-commutative neg-mul-1 flip3-+ neg-log associate-+l- flip-+
Counts
4 → 80
Calls
4 calls:
25.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
30.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
28.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
30.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series626.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
170.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
128.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
138.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify5.9s

Counts
92 → 92
Iterations
IterNodes
done5000
33217
2797
1249
092

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.7b

localize365.0ms

Local error

Found 4 expressions with local error:

21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.0b
(cbrt (- (* b b) (* (* 4.0 a) c)))
22.0b
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod pow1 sqrt-prod
4×expm1-log1p-u cbrt-div flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 68
Calls
4 calls:
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
28.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
9.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
8.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

series790.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
138.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
278.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
222.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify4.3s

Counts
80 → 80
Iterations
IterNodes
done5006
32150
2612
1218
096

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.0b

localize252.0ms

Local error

Found 4 expressions with local error:

8.6b
(+ (- b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.0b
(cbrt (- (* b b) (* (* 4.0 a) c)))
22.0b
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×fma-def *-un-lft-identity add-cube-cbrt
8×add-log-exp
6×cbrt-prod
5×pow1
4×expm1-log1p-u cbrt-div add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×distribute-lft-neg-in distribute-rgt-neg-in flip3-- sqrt-prod flip--
2×sum-log pow1/3 sqrt-div
1×neg-sub0 +-commutative rem-sqrt-square neg-mul-1 sqrt-pow1 flip3-+ pow1/2 neg-log associate-+l- flip-+
Counts
4 → 76
Calls
4 calls:
29.0ms
(+ (- b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
17.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
8.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
11.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

series825.0ms

Counts
4 → 12
Calls
4 calls:
269.0ms
(+ (- b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
164.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
191.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
201.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify3.3s

Counts
88 → 88
Iterations
IterNodes
done5000
21281
1398
0155

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.0b

regimes964.0ms

Accuracy

84.6% (2.2b remaining)

Error of 7.7b against oracle of 5.5b and baseline of 20.0b

bsearch294.0ms

Steps
ItersRangePoint
8
4.664337482673326e-05
0.17679972651571432
0.17389787404847717
6
-2.971125736392027e+46
-1.937449214055594e+45
-2.900769547116861e+46

simplify42.0ms

Iterations
IterNodes
done56
156
047

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s8783×body80valid
294.0ms2988×body80nan