Details

Time bar (total: 2.9s)

sample32.0ms

Algorithm
intervals
Results
11.0ms341×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0797
1797

prune15.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: 0.1b

Counts
2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.7b
(- (* x y) (* z y))
6.7b
(* (- (* x y) (* z y)) t)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*l* add-cbrt-cube add-log-exp
3×associate-*r*
2×flip3-- distribute-rgt-out-- associate-*l/ flip--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 34
Calls
2 calls:
4.0ms
(- (* x y) (* z y))
7.0ms
(* (- (* x y) (* z y)) t)

series24.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(- (* x y) (* z y))
15.0ms
(* (- (* x y) (* z y)) t)

simplify30.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
05209323

prune77.0ms

Filtered
29 candidates to 40 candidates (-37.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New32840
Fresh011
Picked101
Done000
Total33942

Merged error: 0.0b

Counts
42 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(* (* y (* (* (cbrt t) (cbrt t)) (- x z))) (cbrt t))
5.0b
(* y (* (* (cbrt t) (cbrt t)) (- x z)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1 add-exp-log
19×add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×distribute-rgt-in distribute-lft-in associate-*r/
7×associate-*r*
4×sub-neg associate-*l* add-log-exp
2×flip3-- pow1/3 associate-*l/ *-commutative flip--
Counts
4 → 82
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
16.0ms
(* (* y (* (* (cbrt t) (cbrt t)) (- x z))) (cbrt t))
16.0ms
(* y (* (* (cbrt t) (cbrt t)) (- x z)))

series132.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt t)
25.0ms
(cbrt t)
20.0ms
(* (* y (* (* (cbrt t) (cbrt t)) (- x z))) (cbrt t))
62.0ms
(* y (* (* (cbrt t) (cbrt t)) (- x z)))

simplify30.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05263851

prune314.0ms

Filtered
55 candidates to 94 candidates (-70.9%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New91394
Fresh088
Picked011
Done000
Total9112103

Merged error: 0.0b

Counts
103 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(* (* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y)))) (cbrt t))
1.7b
(* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y))))
2.7b
(* (* (cbrt t) (- x z)) (cbrt y))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
83×pow1 add-exp-log
60×pow-prod-down prod-exp cbrt-unprod
31×add-cbrt-cube
14×associate-*r/
13×associate-*r*
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*l/
4×add-log-exp
3×flip3-- associate-*l* *-commutative flip--
1×pow1/3
Counts
4 → 114
Calls
4 calls:
1.0ms
(cbrt t)
29.0ms
(* (* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y)))) (cbrt t))
20.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y))))
10.0ms
(* (* (cbrt t) (- x z)) (cbrt y))

series162.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt t)
18.0ms
(* (* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y)))) (cbrt t))
69.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt t) (* (* (cbrt t) (- x z)) (cbrt y))))
49.0ms
(* (* (cbrt t) (- x z)) (cbrt y))

simplify65.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050531375

prune128.0ms

Filtered
63 candidates to 126 candidates (-100.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1233126
Fresh2810
Picked101
Done011
Total12612138

Merged error: 0.0b

Counts
138 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt t) (cbrt t)))
0.6b
(cbrt (cbrt t))
0.6b
(* (* (* (cbrt t) (* (cbrt t) (- x z))) y) (cbrt (* (cbrt t) (cbrt t))))
5.0b
(* (* (cbrt t) (* (cbrt t) (- x z))) y)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1 add-exp-log
17×add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
11×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r/
7×associate-*r*
6×associate-*l/
4×add-log-exp
2×flip3-- pow1/3 associate-*l* *-commutative flip--
Counts
4 → 73
Calls
4 calls:
5.0ms
(cbrt (* (cbrt t) (cbrt t)))
2.0ms
(cbrt (cbrt t))
16.0ms
(* (* (* (cbrt t) (* (cbrt t) (- x z))) y) (cbrt (* (cbrt t) (cbrt t))))
15.0ms
(* (* (cbrt t) (* (cbrt t) (- x z))) y)

series244.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(cbrt (* (cbrt t) (cbrt t)))
37.0ms
(cbrt (cbrt t))
95.0ms
(* (* (* (cbrt t) (* (cbrt t) (- x z))) y) (cbrt (* (cbrt t) (cbrt t))))
70.0ms
(* (* (cbrt t) (* (cbrt t) (- x z))) y)

simplify53.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04958989
14958989

prune78.0ms

Filtered
58 candidates to 85 candidates (-46.6%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New84185
Fresh1910
Picked101
Done011
Total861197

Merged error: 0.0b

Counts
97 → 11

regimes399.0ms

Accuracy

47.6% (3.0b remaining)

Error of 3.1b against oracle of 0.0b and baseline of 5.8b

bsearch31.0ms

Steps
ItersRangePoint
7
5.5992814127852045e+35
1.8171784245322648e+37
5.6644952843132884e+35
4
-5.390869519443976e+66
-3.2610475474487287e+66
-3.2960282936665467e+66

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02736
12736

end0.0ms

sample917.0ms

Algorithm
intervals
Results
375.0ms10794×body80valid

Profiling

Loading profile data...