Details

Time bar (total: 4.5s)

sample45.0ms

Algorithm
intervals
Results
10.0ms155×body160valid
9.0ms504×pre80true
7.0ms248×body80nan
3.0ms101×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

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b b) (* (* 3.0 a) c))
0.3b
(* (* 3.0 a) c)
0.4b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
30.2b
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
14×add-exp-log add-cbrt-cube
10×add-log-exp
9×pow1
7×add-sqr-sqrt add-cube-cbrt
6×distribute-lft-out
5×times-frac associate-/l*
4×prod-exp cbrt-unprod
3×distribute-rgt-neg-in associate-*r* 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 associate-*l* neg-log clear-num associate-/r* *-commutative flip-- div-inv
Counts
4 → 73
Calls
4 calls:
3.0ms
(- (* b b) (* (* 3.0 a) c))
5.0ms
(* (* 3.0 a) c)
11.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
8.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series253.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (* b b) (* (* 3.0 a) c))
19.0ms
(* (* 3.0 a) c)
106.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
79.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify54.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0419716
11930613
25002608

prune181.0ms

Filtered
85 candidates to 59 candidates (69.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.5b

localize18.0ms

Local error

Found 4 expressions with local error:

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.3b
(* (* 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))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
80×add-sqr-sqrt *-un-lft-identity
40×add-cube-cbrt
30×associate-/l*
28×add-exp-log add-cbrt-cube
20×distribute-lft-out-- difference-of-squares
14×pow1
10×distribute-rgt-neg-in sqrt-prod
8×prod-exp associate-/r* cbrt-unprod
7×cbrt-undiv div-exp
6×pow-prod-down associate-/r/
4×associate-*r* associate-*l* div-inv add-log-exp
3×flip3-- div-sub flip-- associate-/l/
2×associate-+l- frac-2neg clear-num *-commutative
1×flip3-+ flip-+
Counts
4 → 159
Calls
4 calls:
5.0ms
(* 3.0 (* a c))
24.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
5.0ms
(* (* 3.0 a) c)
32.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series325.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* 3.0 (* a c))
162.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
19.0ms
(* (* 3.0 a) c)
125.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify107.0ms

Algorithm
egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
06843100
132962567
250022533

prune435.0ms

Filtered
171 candidates to 107 candidates (62.6%)
Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
155×times-frac
119×add-sqr-sqrt
113×add-exp-log
108×*-un-lft-identity
89×associate-*r*
77×add-cbrt-cube
71×add-cube-cbrt
44×prod-exp
42×div-exp
30×cbrt-unprod
24×cbrt-undiv
18×distribute-lft-out-- difference-of-squares
16×pow1
11×associate-*l*
9×distribute-rgt-neg-in sqrt-prod
7×pow-prod-down
6×associate-/r/ div-inv
4×rec-exp 1-exp add-log-exp unswap-sqr
3×flip3-- associate-/r* *-commutative flip--
1×frac-times frac-2neg associate-*r/ associate-*l/ clear-num associate-/l*
Counts
4 → 199
Calls
4 calls:
10.0ms
(/ (* 3.0 (* a c)) 3.0)
5.0ms
(* 3.0 (* a c))
5.0ms
(* (* 3.0 a) c)
36.0ms
(* (/ (* 3.0 (* a c)) 3.0) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))

series214.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ (* 3.0 (* a c)) 3.0)
19.0ms
(* 3.0 (* a c))
25.0ms
(* (* 3.0 a) c)
150.0ms
(* (/ (* 3.0 (* a c)) 3.0) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))

simplify47.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
011162646
150012153

prune448.0ms

Filtered
211 candidates to 114 candidates (54.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
55×add-exp-log add-cbrt-cube
19×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×times-frac
14×pow1
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/l*
6×pow-prod-down
4×associate-*r* associate-*l* associate-/r* div-inv add-log-exp
2×frac-2neg associate-*r/ clear-num associate-/r/ *-commutative
1×flip3-- flip-- associate-/l/
Counts
4 → 103
Calls
4 calls:
6.0ms
(/ (* 3.0 (* a c)) 3.0)
5.0ms
(* 3.0 (* a c))
5.0ms
(* (* 3.0 a) c)
20.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (* a (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

series233.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (* 3.0 (* a c)) 3.0)
25.0ms
(* 3.0 (* a c))
38.0ms
(* (* 3.0 a) c)
150.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (* a (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))

simplify77.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
05251089
13035792
25001776

prune236.0ms

Filtered
115 candidates to 68 candidates (59.1%)
Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

regimes126.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02212
12412
22412

end0.0ms

sample1.4s

Algorithm
intervals
Results
323.0ms16521×pre80true
311.0ms4527×body160valid
280.0ms8521×body80nan
121.0ms3473×body80valid