Details

Time bar (total: 2.7s)

sample28.0ms

Algorithm
intervals
Results
11.0ms277×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01739
11739

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.5b

Counts
2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (- y t))
1.4b
(/ 2.0 (* z (- y t)))
4.4b
(* x (/ 2.0 (* z (- y t))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
16×add-sqr-sqrt
14×associate-*r*
12×*-un-lft-identity
10×add-cube-cbrt
7×pow1 associate-*r/
6×times-frac associate-*l* prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-/r/
3×flip3-- flip-- associate-/l* add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in pow-prod-down *-commutative div-inv unswap-sqr
1×frac-2neg clear-num associate-/r* distribute-lft-out-- difference-of-squares
Counts
3 → 78
Calls
3 calls:
7.0ms
(* z (- y t))
7.0ms
(/ 2.0 (* z (- y t)))
11.0ms
(* x (/ 2.0 (* z (- y t))))

series32.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(* z (- y t))
11.0ms
(/ 2.0 (* z (- y t)))
13.0ms
(* x (/ 2.0 (* z (- y t))))

simplify28.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
05684678

prune122.0ms

Filtered
57 candidates to 87 candidates (-52.6%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New79887
Fresh101
Picked101
Done000
Total81889

Merged error: 0.0b

Counts
89 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (/ 2.0 z) (- y t))
4.4b
(* x (/ (/ 2.0 z) (- y t)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
232×times-frac
171×add-sqr-sqrt
162×*-un-lft-identity
108×add-cube-cbrt
71×associate-*r*
27×distribute-lft-out-- difference-of-squares
16×add-exp-log add-cbrt-cube
13×div-inv associate-/l*
6×cbrt-undiv div-exp
5×associate-/r*
4×pow1 associate-/r/
3×associate-*l* prod-exp cbrt-unprod unswap-sqr
2×flip3-- flip-- add-log-exp
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative associate-/l/
Counts
2 → 193
Calls
2 calls:
9.0ms
(/ (/ 2.0 z) (- y t))
23.0ms
(* x (/ (/ 2.0 z) (- y t)))

series25.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(/ (/ 2.0 z) (- y t))
17.0ms
(* x (/ (/ 2.0 z) (- y t)))

simplify62.0ms

Algorithm
egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050312486

prune246.0ms

Filtered
144 candidates to 199 candidates (-38.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1963199
Fresh257
Picked011
Done000
Total1989207

Merged error: 0b

Counts
207 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t)))
0.4b
(/ (sqrt 2.0) (- y t))
0.4b
(/ (sqrt 2.0) z)
4.4b
(* x (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
125×add-sqr-sqrt
108×times-frac
95×*-un-lft-identity
69×add-cube-cbrt
60×sqrt-prod
38×add-exp-log add-cbrt-cube
37×associate-*r*
25×associate-*l*
13×prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares
12×associate-/l*
11×pow1
10×cbrt-undiv div-exp
9×unswap-sqr
8×associate-/r*
5×associate-*r/
4×pow-prod-down associate-/r/ div-inv add-log-exp
2×frac-times flip3-- frac-2neg associate-*l/ clear-num *-commutative flip--
Counts
4 → 208
Calls
4 calls:
26.0ms
(* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t)))
7.0ms
(/ (sqrt 2.0) (- y t))
5.0ms
(/ (sqrt 2.0) z)
15.0ms
(* x (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t))))

series52.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t)))
9.0ms
(/ (sqrt 2.0) (- y t))
5.0ms
(/ (sqrt 2.0) z)
23.0ms
(* x (* (/ (sqrt 2.0) z) (/ (sqrt 2.0) (- y t))))

simplify62.0ms

Algorithm
egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049752211
149752211

prune285.0ms

Filtered
130 candidates to 220 candidates (-69.2%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2182220
Fresh257
Picked101
Done011
Total2218229

Merged error: 0b

Counts
229 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 2.0 (- y t))
0.2b
(/ (/ 2.0 (- y t)) z)
4.4b
(* x (/ (/ 2.0 (- y t)) z))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
249×times-frac
180×add-sqr-sqrt
171×*-un-lft-identity
121×add-cube-cbrt
67×associate-*r*
25×distribute-lft-out-- difference-of-squares
24×associate-/l*
19×add-exp-log add-cbrt-cube
16×associate-/r/
10×div-inv
8×flip3-- associate-/r* flip--
7×cbrt-undiv div-exp
5×pow1
3×associate-*l* prod-exp cbrt-unprod add-log-exp unswap-sqr
2×frac-2neg clear-num
1×associate-*r/ pow-prod-down *-commutative associate-/l/
Counts
3 → 228
Calls
3 calls:
6.0ms
(/ 2.0 (- y t))
10.0ms
(/ (/ 2.0 (- y t)) z)
22.0ms
(* x (/ (/ 2.0 (- y t)) z))

series38.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(/ 2.0 (- y t))
12.0ms
(/ (/ 2.0 (- y t)) z)
21.0ms
(* x (/ (/ 2.0 (- y t)) z))

simplify46.0ms

Algorithm
egg-herbie
Counts
237 → 237
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
053462847

prune255.0ms

Filtered
179 candidates to 237 candidates (-32.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2361237
Fresh156
Picked011
Done101
Total2387245

Merged error: 0b

Counts
245 → 7

regimes384.0ms

Accuracy

59.2% (2.4b remaining)

Error of 2.5b against oracle of 0.0b and baseline of 6.0b

bsearch33.0ms

Steps
ItersRangePoint
7
2.126286383026402e+65
8.362747379666893e+66
2.16932662263568e+65
7
-8.577185052646821e+30
-1.3189260295586262e+29
-3.7870085792068665e+29

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02437
12437

end0.0ms

sample774.0ms

Algorithm
intervals
Results
338.0ms8737×body80valid

Profiling

Loading profile data...