Details

Time bar (total: 4.7s)

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

sample27.0ms

Algorithm
intervals
Results
8.0ms222×body80valid
2.0ms15×body640valid
1.0ms12×body320valid
1.0ms6×body1280valid
1.0ms27×body80invalid
0.0ms1×body160valid

simplify92.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
0489313
1489313

prune12.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.9b

Counts
2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- z t) (- t a))
1.1b
(+ y (* y (/ (- z t) (- t a))))
1.6b
(* y (/ (- z t) (- t a)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 113
Calls
3 calls:
8.0ms
(/ (- z t) (- t a))
3.0ms
(+ y (* y (/ (- z t) (- t a))))
18.0ms
(* y (/ (- z t) (- t a)))

series46.0ms

Counts
3 → 9
Calls
3 calls:
9.0ms
(/ (- z t) (- t a))
22.0ms
(+ y (* y (/ (- z t) (- t a))))
15.0ms
(* y (/ (- z t) (- t a)))

simplify41.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
050251354

prune146.0ms

Filtered
83 candidates to 122 candidates (-47.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1157122
Fresh101
Picked101
Done000
Total1177124

Merged error: 2.8b

Counts
124 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ z (- t a)) (/ t (- t a)))
0.0b
(/ t (- t a))
1.1b
(+ y (* y (- (/ z (- t a)) (/ t (- t a)))))
1.6b
(* y (- (/ z (- t a)) (/ t (- t a))))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
62×add-sqr-sqrt
51×times-frac
28×distribute-lft-out--
20×add-cube-cbrt
18×associate-*r*
16×difference-of-squares
10×associate-/r/
8×add-exp-log add-cbrt-cube add-log-exp
7×flip3-- flip--
6×pow1 distribute-rgt-out--
5×sub-neg associate-/r* div-inv
4×associate-*r/
3×associate-*l* associate-/l*
2×distribute-rgt-in associate-+r+ distribute-lft-in frac-sub sub-div
1×cbrt-undiv +-commutative frac-2neg flip3-+ diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 117
Calls
4 calls:
29.0ms
(- (/ z (- t a)) (/ t (- t a)))
5.0ms
(/ t (- t a))
6.0ms
(+ y (* y (- (/ z (- t a)) (/ t (- t a)))))
31.0ms
(* y (- (/ z (- t a)) (/ t (- t a))))

series64.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(- (/ z (- t a)) (/ t (- t a)))
5.0ms
(/ t (- t a))
22.0ms
(+ y (* y (- (/ z (- t a)) (/ t (- t a)))))
22.0ms
(* y (- (/ z (- t a)) (/ t (- t a))))

simplify53.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050491542

prune132.0ms

Filtered
95 candidates to 129 candidates (-35.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1281129
Fresh156
Picked011
Done000
Total1297136

Merged error: 2.8b

Counts
136 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t a))
0.6b
(cbrt (- t a))
1.6b
(* y (/ (/ (- z t) (* (cbrt (- t a)) (cbrt (- t a)))) (cbrt (- t a))))
10.0b
(+ y (* y (/ (/ (- z t) (* (cbrt (- t a)) (cbrt (- t a)))) (cbrt (- t a)))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
182×times-frac
142×associate-*r*
126×add-sqr-sqrt
112×*-un-lft-identity
102×cbrt-div
97×cbrt-prod
66×associate-/r/
58×add-cube-cbrt
51×flip3-- flip--
32×frac-times
27×distribute-lft-out-- difference-of-squares
18×add-exp-log
17×associate-*r/
16×associate-*l/
13×add-cbrt-cube
9×div-inv
6×pow1 add-log-exp
5×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×associate-*l*
2×pow1/3
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+
Counts
4 → 209
Calls
4 calls:
3.0ms
(cbrt (- t a))
3.0ms
(cbrt (- t a))
49.0ms
(* y (/ (/ (- z t) (* (cbrt (- t a)) (cbrt (- t a)))) (cbrt (- t a))))
4.0ms
(+ y (* y (/ (/ (- z t) (* (cbrt (- t a)) (cbrt (- t a)))) (cbrt (- t a)))))

series97.0ms

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

simplify66.0ms

Algorithm
egg-herbie
Counts
221 → 221
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050074024

prune263.0ms

Filtered
164 candidates to 221 candidates (-34.8%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New2183221
Fresh055
Picked011
Done011
Total21810228

Merged error: 2.8b

Counts
228 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t a))
0.6b
(cbrt (- t a))
1.9b
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
5.1b
(+ y (* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a)))))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
1072×times-frac
1000×cbrt-prod
811×add-sqr-sqrt *-un-lft-identity
566×associate-*r*
411×add-cube-cbrt
200×distribute-lft-out-- difference-of-squares
58×add-exp-log
30×cbrt-div add-cbrt-cube
27×prod-exp cbrt-unprod
18×associate-/r/
15×cbrt-undiv flip3-- associate-*r/ div-exp flip--
13×pow1
9×frac-times div-inv
7×associate-*l/
6×pow-prod-down add-log-exp
2×pow1/3
1×+-commutative flip3-+ associate-*l* sum-log *-commutative flip-+
Counts
4 → 654
Calls
4 calls:
3.0ms
(cbrt (- t a))
3.0ms
(cbrt (- t a))
117.0ms
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
4.0ms
(+ y (* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a)))))

series96.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt (- t a))
25.0ms
(cbrt (- t a))
23.0ms
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
23.0ms
(+ y (* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a)))))

simplify214.0ms

Algorithm
egg-herbie
Counts
666 → 666
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
0496321024
1496321024

prune518.0ms

Filtered
421 candidates to 666 candidates (-58.2%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New6651666
Fresh167
Picked011
Done022
Total66610676

Merged error: 2.8b

Counts
676 → 10

regimes467.0ms

Accuracy

17.3% (3.6b remaining)

Error of 7.0b against oracle of 3.5b and baseline of 7.8b

bsearch33.0ms

Steps
ItersRangePoint
5
2.8322806074632546e-122
9.549714637630985e-122
2.9004516489965834e-122
6
-8.362653183497135e-227
-1.240316607829769e-227
-2.9145917653947573e-227

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05433
15433

end0.0ms

sample745.0ms

Algorithm
intervals
Results
255.0ms6574×body80valid
69.0ms506×body640valid
54.0ms291×body1280valid
47.0ms384×body320valid
31.0ms754×body80invalid
16.0ms229×body160valid
3.0ms16×body2560valid

Profiling

Loading profile data...