Details

Time bar (total: 3.9s)

sample296.0ms

Algorithm
intervals
Results
8.0ms194×body80valid
8.0ms40×body2560valid
4.0ms28×body1280valid
2.0ms76×body80nan
1.0ms10×body640valid
0.0ms2×body5120valid
0.0ms3×body320valid
0.0ms1×body160valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0147
1227
2257
3277
4297
5297

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.1b

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.2b
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.4b
(- (* b_2 b_2) (* a c))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
16×add-sqr-sqrt
15×add-cube-cbrt times-frac
10×distribute-lft-out add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1 distribute-rgt-neg-in associate-/l*
3×associate-/r* sqrt-prod
2×neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div sum-log flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 diff-log div-sub div-exp neg-log clear-num div-inv
Counts
4 → 80
Calls
4 calls:
43.0ms
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
11.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
2.0ms
(- (* b_2 b_2) (* a c))
6.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series271.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
74.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
37.0ms
(- (* b_2 b_2) (* a c))
69.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify41.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0358790
11261727
25001705

prune228.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 5.7b

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
0.2b
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.4b
(- (* b_2 b_2) (* a c))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
21×add-sqr-sqrt
13×add-exp-log add-cube-cbrt associate-*r*
11×times-frac
10×add-log-exp
9×add-cbrt-cube
7×pow1
5×associate-*l*
4×prod-exp distribute-lft-out
3×flip3-+ sqrt-prod flip-+ unswap-sqr
2×frac-times flip3-- distribute-rgt-neg-in sqrt-div div-exp associate-*l/ sum-log flip-- cbrt-unprod
1×cbrt-undiv +-commutative neg-sub0 associate-+l- sub-neg rem-sqrt-square rec-exp sqrt-pow1 pow1/2 diff-log 1-exp associate-*r/ pow-prod-down neg-log un-div-inv *-commutative div-inv
Counts
4 → 84
Calls
4 calls:
52.0ms
(* (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
12.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
3.0ms
(- (* b_2 b_2) (* a c))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series257.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
71.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
33.0ms
(- (* b_2 b_2) (* a c))
62.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify52.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0448823
11968724
25003682

prune227.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.7b

localize11.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (* b_2 b_2) (* a c))
0.4b
(- (* b_2 b_2) (* a c))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log flip3-- sqrt-div add-cbrt-cube flip--
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log
Counts
4 → 54
Calls
4 calls:
3.0ms
(- (* b_2 b_2) (* a c))
3.0ms
(- (* b_2 b_2) (* a c))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series189.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(- (* b_2 b_2) (* a c))
32.0ms
(- (* b_2 b_2) (* a c))
62.0ms
(sqrt (- (* b_2 b_2) (* a c)))
62.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify54.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
0140390
1455366
21490364
35002360

prune211.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (* b_2 b_2) (* a c))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))
24.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 add-cube-cbrt *-un-lft-identity
6×sqrt-div add-log-exp
4×add-exp-log flip3-- add-cbrt-cube flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
1×sub-neg diff-log
Counts
4 → 57
Calls
4 calls:
2.0ms
(- (* b_2 b_2) (* a c))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series218.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- (* b_2 b_2) (* a c))
59.0ms
(sqrt (- (* b_2 b_2) (* a c)))
61.0ms
(sqrt (- (* b_2 b_2) (* a c)))
62.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify50.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0140423
1455403
21490400
35002397

prune227.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.7b

regimes193.0ms

Accuracy

90.2% (2.8b remaining)

Error of 8.6b against oracle of 5.8b and baseline of 34.3b

bsearch150.0ms

Steps
ItersRangePoint
8
1.5276508475467709e+44
4.1560730947117816e+46
5.807245536638972e+45
8
1.413051058380531e-304
6.260398897158152e-301
9.550850646103199e-303
11
-1.829086240692416e+154
-2.187052964502477e+134
-1.0524969308880696e+141

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04628
14628

end0.0ms

sample991.0ms

Algorithm
intervals
Results
219.0ms1107×body2560valid
192.0ms5865×body80valid
140.0ms908×body1280valid
90.0ms2861×body80nan
54.0ms422×body640valid
23.0ms97×body5120valid
20.0ms216×body320valid
7.0ms117×body160valid