Details

Time bar (total: 2.6s)

analyze309.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.1%0.1%7
21.8%78%0.1%8
27.3%67.1%5.6%9
41%50.3%8.7%10
43.9%47%9.1%11
48.3%38%13.7%12
56.3%27.4%16.2%13
58.2%25.4%16.4%14

sample16.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
1.0ms26×body80invalid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0127
1127

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

Counts
2 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y (/ y z)))
0.2b
(* y (/ y z))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×add-cube-cbrt *-un-lft-identity times-frac
7×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv
Counts
2 → 43
Calls
2 calls:
3.0ms
(+ x (* y (/ y z)))
6.0ms
(* y (/ y z))

series12.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(+ x (* y (/ y z)))
4.0ms
(* y (/ y z))

simplify52.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04932359
14932359

prune60.0ms

Filtered
32 candidates to 49 candidates (-53.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New45449
Fresh011
Picked011
Done000
Total45651

Merged error: 0.0b

Counts
51 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
6.8b
(* (* y (* (cbrt y) (cbrt y))) (/ (cbrt y) z))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
22×associate-*r*
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×cbrt-prod times-frac add-cbrt-cube
13×pow1
12×prod-exp cbrt-unprod
6×pow-prod-down
4×add-log-exp
3×cbrt-undiv pow1/3 div-exp
1×associate-*r/ associate-*l* *-commutative div-inv
Counts
4 → 80
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
13.0ms
(* (* y (* (cbrt y) (cbrt y))) (/ (cbrt y) z))

series78.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt y)
23.0ms
(cbrt y)
23.0ms
(cbrt y)
9.0ms
(* (* y (* (cbrt y) (cbrt y))) (/ (cbrt y) z))

simplify51.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04925542
14925542

prune89.0ms

Filtered
56 candidates to 92 candidates (-64.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New91192
Fresh044
Picked011
Done011
Total91798

Merged error: 0.0b

Counts
98 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.7b
(pow (cbrt y) 5)
7.6b
(/ (pow (cbrt y) 5) (* (cbrt z) (cbrt z)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log unpow-prod-down
15×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×times-frac associate-/l*
7×add-cbrt-cube
6×div-exp
5×pow1
4×add-log-exp
3×pow-to-exp pow-unpow pow1/3 pow-exp prod-exp sqr-pow
2×cbrt-undiv pow-pow
1×frac-2neg clear-num associate-/r* cbrt-unprod div-inv
Counts
4 → 82
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
3.0ms
(pow (cbrt y) 5)
8.0ms
(/ (pow (cbrt y) 5) (* (cbrt z) (cbrt z)))

series110.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt y)
23.0ms
(cbrt y)
39.0ms
(pow (cbrt y) 5)
25.0ms
(/ (pow (cbrt y) 5) (* (cbrt z) (cbrt z)))

simplify30.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05216704

prune124.0ms

Filtered
67 candidates to 94 candidates (-40.3%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New93194
Fresh044
Picked011
Done022
Total938101

Merged error: 0.0b

Counts
101 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt y))
1.0b
(pow (cbrt (pow (cbrt y) 2)) 5)
1.0b
(pow (cbrt (cbrt y)) 5)
1.4b
(/ (pow (cbrt (pow (cbrt y) 2)) 5) (cbrt z))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
187×cbrt-prod
169×unpow-prod-down
108×times-frac
88×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×associate-/l*
17×sqr-pow
11×add-exp-log
8×unpow2
6×pow1 pow-unpow associate-/r*
5×add-cbrt-cube
4×pow-pow add-log-exp
3×pow-to-exp pow1/3 div-exp pow-exp
1×cbrt-undiv frac-2neg clear-num div-inv
Counts
4 → 213
Calls
4 calls:
2.0ms
(cbrt (cbrt y))
5.0ms
(pow (cbrt (pow (cbrt y) 2)) 5)
3.0ms
(pow (cbrt (cbrt y)) 5)
10.0ms
(/ (pow (cbrt (pow (cbrt y) 2)) 5) (cbrt z))

series172.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(cbrt (cbrt y))
56.0ms
(pow (cbrt (pow (cbrt y) 2)) 5)
47.0ms
(pow (cbrt (cbrt y)) 5)
37.0ms
(/ (pow (cbrt (pow (cbrt y) 2)) 5) (cbrt z))

simplify64.0ms

Algorithm
egg-herbie
Counts
225 → 225
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051153335

prune414.0ms

Filtered
144 candidates to 225 candidates (-56.3%)
Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New2250225
Fresh044
Picked011
Done033
Total2258233

Merged error: 0.0b

Counts
233 → 8

regimes418.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087
187

end0.0ms

sample417.0ms

Algorithm
intervals
Results
216.0ms8000×body80valid
24.0ms947×body80invalid

Profiling

Loading profile data...