Details

Time bar (total: 1.9s)

analyze264.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
32.8%67.1%0.1%9
43.7%43.7%12.6%10
46.8%40.6%12.6%11
52.7%34.7%12.6%12
58.5%22.6%18.9%13
60.5%20.7%18.9%14

sample15.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0ms16×body80invalid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0127
1127

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

Counts
2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* y z) z)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
5.0ms
(* (* y z) z)

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(* (* y z) z)

simplify37.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05162121

prune27.0ms

Filtered
11 candidates to 21 candidates (-90.9%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New19221
Fresh011
Picked011
Done000
Total19423

Merged error: 0.0b

Counts
23 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(* (cbrt z) (cbrt z))
11.1b
(* y (* z (* (cbrt z) (cbrt z))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
22×cbrt-prod
20×pow1
15×add-exp-log add-cube-cbrt *-un-lft-identity
11×add-cbrt-cube
9×associate-*l*
8×pow1/3 pow-prod-down
7×associate-*r* prod-exp cbrt-unprod
6×swap-sqr
4×add-log-exp unswap-sqr
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 83
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
8.0ms
(* (cbrt z) (cbrt z))
9.0ms
(* y (* z (* (cbrt z) (cbrt z))))

series96.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt z)
22.0ms
(cbrt z)
25.0ms
(* (cbrt z) (cbrt z))
24.0ms
(* y (* z (* (cbrt z) (cbrt z))))

simplify53.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05255456

prune108.0ms

Filtered
61 candidates to 95 candidates (-55.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New92395
Fresh022
Picked101
Done011
Total93699

Merged error: 0.0b

Counts
99 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(* (cbrt z) (cbrt z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
5.0ms
(* (cbrt z) (cbrt z))

series95.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt z)
24.0ms
(cbrt z)
22.0ms
(cbrt z)
26.0ms
(* (cbrt z) (cbrt z))

simplify44.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05165356

prune107.0ms

Filtered
56 candidates to 85 candidates (-51.8%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New84185
Fresh134
Picked011
Done011
Total85691

Merged error: 0.0b

Counts
91 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.6b
(pow (cbrt (cbrt z)) 2)
0.6b
(cbrt (cbrt z))
0.6b
(cbrt (cbrt z))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
28×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
12×pow1
9×unpow-prod-down pow1/3
7×add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
3×pow-unpow
2×pow-pow pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-to-exp pow-plus pow-exp prod-exp *-commutative cbrt-unprod unpow2 sqr-pow
Counts
4 → 93
Calls
4 calls:
5.0ms
(* (cbrt z) (cbrt z))
3.0ms
(pow (cbrt (cbrt z)) 2)
2.0ms
(cbrt (cbrt z))
2.0ms
(cbrt (cbrt z))

series152.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (cbrt z) (cbrt z))
36.0ms
(pow (cbrt (cbrt z)) 2)
49.0ms
(cbrt (cbrt z))
40.0ms
(cbrt (cbrt z))

simplify49.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
05052537

prune104.0ms

Filtered
65 candidates to 105 candidates (-61.5%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1050105
Fresh033
Picked011
Done022
Total1056111

Merged error: 0.0b

Counts
111 → 6

regimes299.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
097
197

end0.0ms

sample380.0ms

Algorithm
intervals
Results
190.0ms8000×body80valid
15.0ms667×body80invalid

Profiling

Loading profile data...