Details

Time bar (total: 7.9s)

analyze1.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
3.5%96.2%0.2%10
9.8%89.9%0.2%11
14.1%85.7%0.2%12
22.6%77.1%0.2%13
23.7%76%0.2%14

sample34.0ms

Algorithm
intervals
Results
10.0ms208×body80valid
2.0ms12×body1280valid
2.0ms17×body320valid
2.0ms13×body640valid
1.0ms15×body80invalid
1.0ms6×body160valid

simplify135.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0226
1526
21096
31956
44456
58286
614346
725206
848306
950016

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 16.8b

Counts
2 → 1

localize16.0ms

Local error

Found 2 expressions with local error:

2.0b
(- (+ x y) (/ (* (- z t) y) (- a t)))
10.5b
(/ (* (- z t) y) (- a t))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
10×add-sqr-sqrt
7×add-exp-log add-cbrt-cube add-log-exp
5×times-frac associate-/r*
4×add-cube-cbrt distribute-lft-out--
3×flip3-- flip-- difference-of-squares
2×pow1 cbrt-undiv diff-log div-exp associate-*l/ associate-/r/ frac-sub associate-/l/
1×sub-neg frac-2neg flip3-+ prod-exp associate--l+ clear-num sum-log cbrt-unprod flip-+ div-inv distribute-lft-out associate-/l*
Counts
2 → 48
Calls
2 calls:
9.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms
(/ (* (- z t) y) (- a t))

series173.0ms

Counts
2 → 6
Calls
2 calls:
158.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
15.0ms
(/ (* (- z t) y) (- a t))

simplify40.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0333376
11377346
25001344

prune128.0ms

Filtered
39 candidates to 54 candidates (-38.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New45954
Fresh000
Picked101
Done000
Total46955

Merged error: 4.7b

Counts
55 → 9

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
2.5b
(- (+ x y) (/ (- z t) (/ (- a t) y)))
10.5b
(/ (- z t) (/ (- a t) y))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
203×times-frac
180×add-sqr-sqrt
176×*-un-lft-identity
87×add-cube-cbrt
45×difference-of-squares
44×distribute-lft-out--
22×associate-/r*
10×add-exp-log add-cbrt-cube associate-/l*
8×div-inv add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 flip3-- div-sub flip--
2×frac-2neg diff-log clear-num frac-sub
1×sub-neg flip3-+ associate--l+ sum-log associate-/r/ flip-+ distribute-lft-out associate--r-
Counts
3 → 197
Calls
3 calls:
6.0ms
(/ (- a t) y)
39.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
13.0ms
(/ (- z t) (/ (- a t) y))

series78.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(/ (- a t) y)
41.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
30.0ms
(/ (- z t) (/ (- a t) y))

simplify93.0ms

Algorithm
egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
08531851
133261798
250011798

prune260.0ms

Filtered
138 candidates to 206 candidates (-49.3%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1979206
Fresh358
Picked101
Done000
Total20114215

Merged error: 4.7b

Counts
215 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
3.0b
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y))))
7.8b
(- (+ x y) (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y)))))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
525×times-frac
409×add-sqr-sqrt
373×*-un-lft-identity
288×cbrt-prod
265×associate-*r*
205×add-cube-cbrt
84×distribute-lft-out-- difference-of-squares
73×add-exp-log
39×add-cbrt-cube
27×cbrt-undiv div-exp prod-exp cbrt-unprod
16×cbrt-div
13×associate-*l*
12×unswap-sqr
9×flip3-- associate-/r/ flip-- add-log-exp
7×frac-times div-inv
6×pow1 frac-sub
5×associate-*r/ associate-*l/
3×flip3-+ flip-+
2×pow1/3 diff-log
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 382
Calls
4 calls:
3.0ms
(cbrt (- a t))
3.0ms
(cbrt (- a t))
100.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y))))
5.0ms
(- (+ x y) (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y)))))

series125.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(cbrt (- a t))
26.0ms
(cbrt (- a t))
30.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y))))
42.0ms
(- (+ x y) (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y)))))

simplify100.0ms

Algorithm
egg-herbie
Counts
394 → 394
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
022897259
150016888

prune388.0ms

Filtered
275 candidates to 394 candidates (-43.3%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New3913394
Fresh11213
Picked011
Done000
Total39216408

Merged error: 4.7b

Counts
408 → 16

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (- a t))
2.7b
(- (+ x y) (* (- z t) (/ y (- a t))))
9.4b
(* (- z t) (/ y (- a t)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
39×*-un-lft-identity
31×times-frac
23×add-cube-cbrt
21×associate-*r*
10×add-exp-log frac-sub add-cbrt-cube
9×flip3-- flip--
8×distribute-lft-out-- add-log-exp difference-of-squares
6×frac-times associate-*l/
5×pow1 flip3-+ associate-*l* associate-/r* flip-+
4×associate-/r/
3×associate-*r/ associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×sub-neg frac-2neg pow-prod-down associate--l+ clear-num sum-log *-commutative
Counts
3 → 107
Calls
3 calls:
7.0ms
(/ y (- a t))
6.0ms
(- (+ x y) (* (- z t) (/ y (- a t))))
12.0ms
(* (- z t) (/ y (- a t)))

series55.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(/ y (- a t))
33.0ms
(- (+ x y) (* (- z t) (/ y (- a t))))
15.0ms
(* (- z t) (/ y (- a t)))

simplify66.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0559844
12676803
25001803

prune103.0ms

Filtered
85 candidates to 116 candidates (-36.5%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1142116
Fresh31114
Picked011
Done011
Total11715132

Merged error: 4.7b

Counts
132 → 15

regimes814.0ms

Accuracy

20.3% (5.2b remaining)

Error of 9.3b against oracle of 4.1b and baseline of 10.6b

bsearch2.0s

Steps
ItersRangePoint
8
1.1294075990138383e+108
9.810913603940925e+111
6.116129402297252e+109
5
-4.700502309386732e+219
-1.2819929895953291e+219
-1.302385795331352e+219

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03321
13321

end0.0ms

analyze988.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
3.5%96.2%0.2%10
9.8%89.9%0.2%11
14.1%85.7%0.2%12
22.6%77.1%0.2%13
23.7%76%0.2%14

sample772.0ms

Algorithm
intervals
Results
281.0ms6656×body80valid
68.0ms461×body640valid
49.0ms269×body1280valid
46.0ms352×body320valid
27.0ms687×body80invalid
18.0ms244×body160valid
4.0ms18×body2560valid

Profiling

Loading profile data...