Details

Time bar (total: 7.1s)

sample27.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify75.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03310
17910
221010
348310
491010
5151610
6281810
7500110

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.2b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
2.0b
(+ (* (+ x y) z) (* (+ t y) a))
2.6b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
24.6b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
20×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u
3×fma-neg associate-*r* prod-diff associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg fma-def frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 105
Calls
4 calls:
19.0ms
(* (+ t y) a)
14.0ms
(+ (* (+ x y) z) (* (+ t y) a))
82.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
159.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series793.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (+ t y) a)
56.0ms
(+ (* (+ x y) z) (* (+ t y) a))
106.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
610.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify72.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
05641186
125091087
250021077

prune389.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.9b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
8.3b
(/ (* y b) (+ (+ x t) y))
21.5b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
146×*-un-lft-identity
124×times-frac
66×add-sqr-sqrt
64×add-cube-cbrt
49×distribute-lft-out
18×add-exp-log
16×add-cbrt-cube
14×associate-/l*
10×associate-/r*
8×div-inv
7×div-exp
6×pow1
5×cbrt-undiv
4×expm1-log1p-u associate-*l* associate-/r/ log1p-expm1-u add-log-exp
3×flip3-+ associate-*r* flip-+
2×frac-2neg associate-*l/ prod-exp clear-num cbrt-unprod
1×1-exp pow-prod-down *-commutative fma-udef associate-/l/ unswap-sqr
Counts
4 → 165
Calls
4 calls:
18.0ms
(* (+ t y) a)
0.0ms
(fma (+ x y) z (* (+ t y) a))
40.0ms
(/ (* y b) (+ (+ x t) y))
39.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series376.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (+ t y) a)
50.0ms
(fma (+ x y) z (* (+ t y) a))
76.0ms
(/ (* y b) (+ (+ x t) y))
228.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify71.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
05881846
125851673
250011572

prune397.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.5b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (+ x t) y) b)
1.0b
(fma (+ x y) z (* (+ t y) a))
9.7b
(/ y (/ (+ (+ x t) y) b))
21.5b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
276×*-un-lft-identity
251×times-frac
126×add-sqr-sqrt add-cube-cbrt
90×distribute-lft-out
27×associate-/r*
21×associate-/l*
18×add-exp-log
16×add-cbrt-cube
13×div-inv
9×div-exp
7×cbrt-undiv
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num associate-/r/ associate-/l/
2×flip3-+ flip-+
1×1-exp fma-udef
Counts
4 → 248
Calls
4 calls:
65.0ms
(/ (+ (+ x t) y) b)
0.0ms
(fma (+ x y) z (* (+ t y) a))
35.0ms
(/ y (/ (+ (+ x t) y) b))
40.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series437.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ (+ (+ x t) y) b)
49.0ms
(fma (+ x y) z (* (+ t y) a))
139.0ms
(/ y (/ (+ (+ x t) y) b))
220.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify75.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
07502668
131982487
250012386

prune576.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.8b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ (+ x t) y))
1.0b
(fma (+ x y) z (* (+ t y) a))
5.3b
(/ (/ y (+ (+ x t) y)) (/ 1 b))
21.5b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
815×times-frac
650×*-un-lft-identity
350×add-sqr-sqrt add-cube-cbrt
180×distribute-lft-out
45×div-inv
37×associate-/l*
35×add-exp-log
33×associate-/r/
23×associate-/r* add-cbrt-cube
22×div-exp
16×flip3-+ flip-+
12×cbrt-undiv
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg 1-exp clear-num
2×rec-exp associate-/l/
1×fma-udef
Counts
4 → 485
Calls
4 calls:
31.0ms
(/ y (+ (+ x t) y))
0.0ms
(fma (+ x y) z (* (+ t y) a))
60.0ms
(/ (/ y (+ (+ x t) y)) (/ 1 b))
40.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series477.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(/ y (+ (+ x t) y))
49.0ms
(fma (+ x y) z (* (+ t y) a))
141.0ms
(/ (/ y (+ (+ x t) y)) (/ 1 b))
222.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify87.0ms

Algorithm
egg-herbie
Counts
497 → 497
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
017696107
150015573

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.8b

regimes376.0ms

Accuracy

18.4% (16.9b remaining)

Error of 20.3b against oracle of 3.4b and baseline of 24.1b

bsearch355.0ms

Steps
ItersRangePoint
7
4.7096121893936013e+55
1.1088207870187919e+57
4.992279324067696e+56
7
6.644174833993892e-75
4.124102039964638e-73
7.56984045759666e-75
9
1.7019877301269019e-127
2.3279773334482045e-122
9.836792356441502e-126
8
3.0222048480962876e-186
2.303357023697863e-182
3.5312042503262674e-186
7
5.8045076717453295e-267
4.682543563979993e-265
2.1883827135341942e-265
9
-1.583509145944218e-29
-1.0588561897920384e-38
-5.561955879913683e-33
10
-485376.2517793637
-3.795023512581424e-08
-6.580972394505658e-07
8
-2.000159998393285e+186
-1.9734129273502387e+182
-3.0225981366843547e+182

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05483
15483

end0.0ms

sample686.0ms

Algorithm
intervals
Results
334.0ms7997×body80valid
0.0ms1×body1280valid
0.0ms1×body640valid
0.0ms1×body320valid