Details

Time bar (total: 3.4s)

sample23.0ms

Algorithm
intervals
Results
11.0ms350×body80valid

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0153
1333
2633
31073
41483
51813
62203
73073
85873
911813
1023143
1137383
1250013

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.9b

Counts
2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

1.8b
(fma (/ x y) (- z t) t)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (/ x y) (- z t) t)

series28.0ms

Counts
1 → 3
Calls
1 calls:
28.0ms
(fma (/ x y) (- z t) t)

simplify41.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
04169
19162
226853
3126153
4500253

prune36.0ms

Filtered
13 candidates to 9 candidates (69.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New9413
Fresh011
Picked101
Done000
Total10515

Merged error: 1.9b

Counts
15 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ x y) (- z t)) t)
5.9b
(* (/ x y) (- z t))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity prod-diff
34×add-cube-cbrt
22×distribute-rgt-in associate-+l+ distribute-lft-in
13×associate-*l*
10×times-frac
7×add-exp-log add-cbrt-cube
5×associate-*r*
4×pow1 sub-neg add-log-exp
2×expm1-log1p-u frac-times flip3-- associate-*r/ prod-exp flip-- cbrt-unprod log1p-expm1-u unswap-sqr
1×cbrt-undiv +-commutative fma-def flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 98
Calls
2 calls:
10.0ms
(+ (* (/ x y) (- z t)) t)
10.0ms
(* (/ x y) (- z t))

series86.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(+ (* (/ x y) (- z t)) t)
53.0ms
(* (/ x y) (- z t))

simplify60.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0468779
11866547
25001533

prune209.0ms

Filtered
104 candidates to 70 candidates (67.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New968104
Fresh314
Picked101
Done000
Total1009109

Merged error: 0b

Counts
109 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (/ x y) (- z t))
6.0b
(cbrt (* (/ x y) (- z t)))
6.0b
(cbrt (* (/ x y) (- z t)))
6.0b
(cbrt (* (/ x y) (- z t)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
18×prod-diff
15×cbrt-div
13×associate-*l*
11×distribute-rgt-in distribute-lft-in
10×times-frac
9×add-exp-log add-cbrt-cube
8×frac-times flip3-- associate-*r/ flip--
6×pow1
5×associate-*r*
4×expm1-log1p-u associate-*l/ log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3
2×sub-neg prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 110
Calls
4 calls:
10.0ms
(* (/ x y) (- z t))
6.0ms
(cbrt (* (/ x y) (- z t)))
6.0ms
(cbrt (* (/ x y) (- z t)))
6.0ms
(cbrt (* (/ x y) (- z t)))

series412.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (/ x y) (- z t))
122.0ms
(cbrt (* (/ x y) (- z t)))
120.0ms
(cbrt (* (/ x y) (- z t)))
117.0ms
(cbrt (* (/ x y) (- z t)))

simplify53.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0465940
11721759
25001741

prune332.0ms

Filtered
122 candidates to 94 candidates (77.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1220122
Fresh088
Picked011
Done000
Total1229131

Merged error: 0b

Counts
131 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.5b
(* (/ (cbrt x) y) (- z t))
4.0b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
66×add-exp-log
60×*-un-lft-identity
58×add-cube-cbrt
55×distribute-rgt-in distribute-lft-in
54×prod-diff
35×add-cbrt-cube
33×prod-exp
29×associate-*l*
23×times-frac
20×cbrt-unprod
18×div-exp
16×cbrt-prod
11×pow1 frac-times associate-*r/
10×cbrt-undiv
6×sub-neg flip3-- 1-exp associate-*r* flip--
4×expm1-log1p-u pow-prod-down associate-*l/ log1p-expm1-u add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×distribute-lft-out-- difference-of-squares
Counts
4 → 197
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
12.0ms
(* (/ (cbrt x) y) (- z t))
20.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

series603.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(cbrt x)
173.0ms
(cbrt x)
171.0ms
(* (/ (cbrt x) y) (- z t))
87.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

simplify54.0ms

Algorithm
egg-herbie
Counts
209 → 209
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010352461
150011594

prune343.0ms

Filtered
209 candidates to 111 candidates (53.1%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New2090209
Fresh077
Picked011
Done011
Total2099218

Merged error: 0b

Counts
218 → 9

regimes247.0ms

Accuracy

24.7% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 2.6b

bsearch70.0ms

Steps
ItersRangePoint
6
5.023927321911858e+111
7.473952381833666e+112
7.51389059790424e+111
9
-2.9410288629483205e+19
-79301947053416.23
-7.344105837141797e+18

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02819
12819

end0.0ms

sample604.0ms

Algorithm
intervals
Results
334.0ms10594×body80valid