Details

Time bar (total: 2.4s)

analyze255.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
12.5%87.4%0.1%6
28.1%71.8%0.1%7
42.1%57.7%0.1%8
43.7%56.2%0.1%9
64.4%35.5%0.1%10
71.6%28.3%0.1%11
72.2%27.7%0.1%12
81.6%18.2%0.2%13
84.9%14.9%0.2%14

sample18.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
0.0ms9×body80invalid

simplify47.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
0507312

prune9.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: 15.7b

Counts
2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (+ t1 u) (neg (+ t1 u)))
8.0b
(/ v (* (+ t1 u) (neg (+ t1 u))))
10.7b
(* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
27×associate-*r*
19×add-exp-log add-cbrt-cube
18×*-un-lft-identity flip3-+ flip-+ distribute-neg-frac
16×add-sqr-sqrt associate-/r/
12×frac-times add-cube-cbrt
7×pow1 associate-*r/ associate-*l*
6×times-frac associate-*l/ prod-exp cbrt-unprod
4×cbrt-undiv distribute-lft-neg-in distribute-rgt-neg-in div-exp
3×distribute-lft-out associate-/l* add-log-exp
2×distribute-neg-in pow-prod-down *-commutative div-inv unswap-sqr
1×distribute-rgt-in neg-mul-1 frac-2neg distribute-lft-in clear-num associate-/r* distribute-rgt-neg-out
Counts
3 → 103
Calls
3 calls:
9.0ms
(* (+ t1 u) (neg (+ t1 u)))
8.0ms
(/ v (* (+ t1 u) (neg (+ t1 u))))
15.0ms
(* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))

series33.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(* (+ t1 u) (neg (+ t1 u)))
13.0ms
(/ v (* (+ t1 u) (neg (+ t1 u))))
16.0ms
(* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))

simplify42.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
049841307
149841307

prune118.0ms

Filtered
73 candidates to 112 candidates (-53.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1066112
Fresh011
Picked101
Done000
Total1077114

Merged error: 0.0b

Counts
114 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt v)
0.5b
(cbrt v)
0.5b
(cbrt v)
6.2b
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log
10×add-cbrt-cube
9×pow1 cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3 associate-*l* pow-prod-down
2×associate-*r/
1×cbrt-undiv div-exp associate-*r* *-commutative
Counts
4 → 54
Calls
4 calls:
1.0ms
(cbrt v)
1.0ms
(cbrt v)
1.0ms
(cbrt v)
10.0ms
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

series111.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt v)
20.0ms
(cbrt v)
23.0ms
(cbrt v)
47.0ms
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

simplify40.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
04994351
14994351

prune76.0ms

Filtered
45 candidates to 66 candidates (-46.7%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New64266
Fresh156
Picked011
Done000
Total65873

Merged error: 0.0b

Counts
73 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt v))
0.6b
(cbrt (cbrt v))
0.6b
(cbrt (cbrt v))
6.2b
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
13×add-exp-log
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×add-cbrt-cube
9×pow1
5×prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3 associate-*l* pow-prod-down
2×associate-*r/
1×cbrt-undiv div-exp associate-*r* *-commutative
Counts
4 → 63
Calls
4 calls:
2.0ms
(cbrt (cbrt v))
2.0ms
(cbrt (cbrt v))
2.0ms
(cbrt (cbrt v))
10.0ms
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

series137.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(cbrt (cbrt v))
29.0ms
(cbrt (cbrt v))
29.0ms
(cbrt (cbrt v))
49.0ms
(* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))

simplify39.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05021518

prune90.0ms

Filtered
55 candidates to 75 candidates (-36.4%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New73275
Fresh066
Picked011
Done101
Total74983

Merged error: 0.0b

Counts
83 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt v))
0.6b
(cbrt (cbrt v))
0.6b
(cbrt (cbrt v))
6.2b
(* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
33×add-exp-log
27×cbrt-prod
22×add-cbrt-cube
19×prod-exp cbrt-unprod
18×pow1
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×pow-prod-down
4×add-log-exp
3×cbrt-undiv pow1/3 div-exp associate-*l*
2×associate-*r/
1×associate-*r* *-commutative
Counts
4 → 73
Calls
4 calls:
2.0ms
(cbrt (cbrt v))
2.0ms
(cbrt (cbrt v))
2.0ms
(cbrt (cbrt v))
21.0ms
(* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))

series136.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(cbrt (cbrt v))
28.0ms
(cbrt (cbrt v))
31.0ms
(cbrt (cbrt v))
48.0ms
(* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))

simplify51.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04960629
14960629

prune68.0ms

Filtered
57 candidates to 85 candidates (-49.1%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New85085
Fresh077
Picked011
Done011
Total85994

Merged error: 0.0b

Counts
94 → 9

regimes265.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02328
12328

end0.0ms

analyze244.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
12.5%87.4%0.1%6
28.1%71.8%0.1%7
42.1%57.7%0.1%8
43.7%56.2%0.1%9
64.4%35.5%0.1%10
71.6%28.3%0.1%11
72.2%27.7%0.1%12
81.6%18.2%0.2%13
84.9%14.9%0.2%14

sample439.0ms

Algorithm
intervals
Results
259.0ms8000×body80valid
8.0ms272×body80invalid

Profiling

Loading profile data...