Details

Time bar (total: 13.2s)

sample54.0ms

Algorithm
intervals
Results
11.0ms115×body320valid
9.0ms524×pre80true
8.0ms268×body80nan
7.0ms105×body160valid
2.0ms15×body640valid
1.0ms21×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0219
1429
2769
3949
41029
51029

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 54.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (* b b) (* (* 3.0 a) c))
0.2b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
0.3b
(* (* 3.0 a) c)
28.0b
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
107×*-un-lft-identity
103×add-sqr-sqrt
60×times-frac
42×associate-*l*
39×add-cube-cbrt
28×distribute-lft-out unswap-sqr
24×associate-*r*
15×difference-of-squares
14×add-exp-log distribute-rgt-neg-in add-cbrt-cube
12×associate-/r*
11×*-commutative
10×add-log-exp
9×pow1
6×distribute-lft-out--
5×associate-/l*
4×prod-exp cbrt-unprod
3×swap-sqr pow-prod-down
2×cbrt-undiv neg-sub0 associate-+l- flip3-+ div-exp sum-log flip-+ associate-/l/
1×+-commutative sub-neg flip3-- frac-2neg diff-log div-sub neg-log clear-num flip-- div-inv
Counts
4 → 173
Calls
4 calls:
22.0ms
(- (* b b) (* (* 3.0 a) c))
45.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
8.0ms
(* (* 3.0 a) c)
39.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series276.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- (* b b) (* (* 3.0 a) c))
120.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
21.0ms
(* (* 3.0 a) c)
88.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify86.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
06302006
128321901
250011891

prune253.0ms

Filtered
185 candidates to 112 candidates (60.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1805185
Fresh000
Picked101
Done000
Total1815186

Merged error: 0.1b

Counts
186 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 3.0 a) c)
0.3b
(* 3.0 (* a c))
0.3b
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.4b
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite304.0ms

Algorithm
rewrite-expression-head
Rules
1793×*-un-lft-identity
1346×times-frac
919×add-sqr-sqrt
400×distribute-lft-out distribute-lft-out--
393×add-cube-cbrt
389×associate-*l*
200×difference-of-squares
189×associate-*r*
100×distribute-rgt-neg-in sqrt-prod
69×associate-/l*
64×unswap-sqr
60×*-commutative
28×add-exp-log associate-/r/ add-cbrt-cube
26×associate-/r*
23×associate-/l/
15×div-inv
14×pow1 flip3-- flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow-prod-down
4×add-log-exp
3×frac-2neg div-sub clear-num
2×associate-+l- flip3-+ flip-+
Counts
4 → 907
Calls
4 calls:
8.0ms
(* (* 3.0 a) c)
8.0ms
(* 3.0 (* a c))
90.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
114.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series365.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* 3.0 a) c)
21.0ms
(* 3.0 (* a c))
178.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
141.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify243.0ms

Algorithm
egg-herbie
Counts
919 → 919
Iterations

Useful iterations: 1 (41.0ms)

IterNodesCost
0173423796
1500222807

prune1.1s

Filtered
919 candidates to 299 candidates (32.5%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New9145919
Fresh314
Picked011
Done000
Total9177924

Merged error: 0b

Counts
924 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 3.0 a) c)
0.3b
(* (* 3.0 a) c)
0.3b
(* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))
0.4b
(/ (* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))) (* 3.0 a))

rewrite714.0ms

Algorithm
rewrite-expression-head
Rules
2508×times-frac
2392×*-un-lft-identity
2314×add-sqr-sqrt
1517×associate-*r*
1332×sqrt-prod
1147×associate-*l*
822×add-cube-cbrt
484×distribute-lft-out--
477×unswap-sqr
400×distribute-lft-out
284×difference-of-squares
165×*-commutative
142×distribute-rgt-neg-in
140×associate-/l*
44×associate-*r/
40×add-exp-log add-cbrt-cube
28×associate-/r/ associate-/l/
26×associate-/r*
16×pow1
15×prod-exp cbrt-unprod div-inv
14×flip3-- flip--
9×cbrt-undiv div-exp
7×pow-prod-down
5×clear-num
4×sqrt-div un-div-inv add-log-exp
3×frac-2neg
2×flip3-+ flip-+
Counts
4 → 1804
Calls
4 calls:
8.0ms
(* (* 3.0 a) c)
8.0ms
(* (* 3.0 a) c)
133.0ms
(* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))
370.0ms
(/ (* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))) (* 3.0 a))

series913.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* 3.0 a) c)
21.0ms
(* (* 3.0 a) c)
444.0ms
(* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))
423.0ms
(/ (* (sqrt (* (* 3.0 a) c)) (/ (sqrt (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))) (* 3.0 a))

simplify571.0ms

Algorithm
egg-herbie
Counts
1816 → 1816
Iterations

Useful iterations: 1 (82.0ms)

IterNodesCost
0454557694
1500157527

prune3.8s

Filtered
1816 candidates to 760 candidates (41.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New181511816
Fresh235
Picked011
Done011
Total181761823

Merged error: 0b

Counts
1823 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 3.0 (* a c))
0.3b
(/ (/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) 3.0)
0.3b
(* (* 3.0 a) c)
0.3b
(/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
1250×times-frac
1195×add-sqr-sqrt
922×*-un-lft-identity
576×associate-*r*
474×add-cube-cbrt
243×associate-*l*
224×distribute-lft-out-- difference-of-squares
204×associate-/l*
156×unswap-sqr
112×distribute-rgt-neg-in sqrt-prod
78×*-commutative
37×add-exp-log add-cbrt-cube
32×associate-/l/
17×associate-/r*
14×pow1
12×prod-exp cbrt-unprod
10×cbrt-undiv div-exp associate-/r/
6×pow-prod-down div-inv
5×flip3-- flip--
4×add-log-exp
3×frac-2neg clear-num
Counts
4 → 956
Calls
4 calls:
8.0ms
(* 3.0 (* a c))
81.0ms
(/ (/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) 3.0)
8.0ms
(* (* 3.0 a) c)
53.0ms
(/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

series423.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* 3.0 (* a c))
189.0ms
(/ (/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) 3.0)
21.0ms
(* (* 3.0 a) c)
192.0ms
(/ (* 3.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

simplify205.0ms

Algorithm
egg-herbie
Counts
968 → 968
Iterations

Useful iterations: 1 (47.0ms)

IterNodesCost
0228117891
1500217578

prune1.9s

Filtered
968 candidates to 513 candidates (53.0%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New9680968
Fresh033
Picked011
Done022
Total9686974

Merged error: 0b

Counts
974 → 6

regimes109.0ms

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02416
12416

end0.0ms

sample1.5s

Algorithm
intervals
Results
344.0ms3612×body320valid
298.0ms15939×pre80true
240.0ms7939×body80nan
192.0ms2970×body160valid
66.0ms518×body640valid
29.0ms900×body80valid