Details

Time bar (total: 3.2s)

sample23.0ms

Algorithm
intervals
Results
9.0ms335×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 7 (23.0ms)

IterNodesCost
0164
1324
2714
31604
42744
54624
67274
78913
810833
912163
1012693
1112693

prune8.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: 0.0b

Counts
2 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

3.1b
(fma (/ y a) (- t z) x)

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 (/ y a) (- t z) x)

series46.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
04169
19462
227253
3130853
4500153

prune38.0ms

Filtered
13 candidates to 10 candidates (76.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New10313
Fresh011
Picked011
Done000
Total10515

Merged error: 0.0b

Counts
15 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* y (- z t))
0.0b
(- x (/ (* y (- z t)) a))
5.1b
(/ (* y (- z t)) a)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt prod-diff
37×*-un-lft-identity
33×add-cube-cbrt
12×times-frac
11×distribute-rgt-in distribute-lft-in
10×add-exp-log add-cbrt-cube
5×pow1 associate-*r* add-log-exp
4×associate-*r/ div-inv
3×expm1-log1p-u sub-neg flip3-- fma-neg associate-*l* associate-/r* flip-- log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod associate-/l/ distribute-lft-out-- difference-of-squares
1×frac-2neg diff-log pow-prod-down clear-num *-commutative associate-/l* unswap-sqr
Counts
3 → 111
Calls
3 calls:
7.0ms
(* y (- z t))
6.0ms
(- x (/ (* y (- z t)) a))
11.0ms
(/ (* y (- z t)) a)

series132.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(* y (- z t))
50.0ms
(- x (/ (* y (- z t)) a))
47.0ms
(/ (* y (- z t)) a)

simplify70.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
05051133
12195751
25001747

prune177.0ms

Filtered
120 candidates to 64 candidates (53.3%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1173120
Fresh303
Picked011
Done011
Total1205125

Merged error: 0.0b

Counts
125 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(* y (- z t))
0.0b
(- x (* (* y (- z t)) (/ 1 a)))
5.2b
(* (* y (- z t)) (/ 1 a))

rewrite29.0ms

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

series129.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(* y (- z t))
49.0ms
(- x (* (* y (- z t)) (/ 1 a)))
46.0ms
(* (* y (- z t)) (/ 1 a))

simplify69.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0523827
12584609
25001586

prune167.0ms

Filtered
119 candidates to 64 candidates (53.8%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1181119
Fresh022
Picked011
Done022
Total1186124

Merged error: 0b

Counts
124 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (/ a (- z t))))
0.0b
(/ a (- z t))
5.7b
(/ y (/ a (- z t)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
465×times-frac
382×add-sqr-sqrt
375×*-un-lft-identity
287×add-cube-cbrt
204×prod-diff
46×difference-of-squares
44×distribute-lft-out--
32×associate-/r/
26×associate-/r*
18×div-inv
15×flip3-- flip--
10×add-exp-log add-cbrt-cube
6×associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 expm1-log1p-u fma-neg log1p-expm1-u
2×frac-2neg clear-num
1×sub-neg diff-log
Counts
3 → 368
Calls
3 calls:
30.0ms
(- x (/ y (/ a (- z t))))
5.0ms
(/ a (- z t))
9.0ms
(/ y (/ a (- z t)))

series315.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(- x (/ y (/ a (- z t))))
27.0ms
(/ a (- z t))
239.0ms
(/ y (/ a (- z t)))

simplify131.0ms

Algorithm
egg-herbie
Counts
377 → 377
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
017089303
150017250

prune638.0ms

Filtered
377 candidates to 200 candidates (53.1%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New3761377
Fresh112
Picked011
Done033
Total3776383

Merged error: 0b

Counts
383 → 6

regimes344.0ms

Accuracy

36.2% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 2.3b

bsearch58.0ms

Steps
ItersRangePoint
5
211675.52070576826
514558.23596580117
236520.52657286497
8
-2.5868963618316597e-76
-8.364008918031176e-80
-2.5555026040340327e-76

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0227
1227

end0.0ms

sample611.0ms

Algorithm
intervals
Results
304.0ms10637×body80valid

Profiling

Loading profile data...