Details

Time bar (total: 4.5s)

analyze1.1s

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
0%99.9%0.1%7
0%99.9%0.1%8
0%96.7%3.3%9
16.4%74.9%8.7%10
17.6%71.8%10.7%11
26.3%59.5%14.2%12
30.7%45.7%23.5%13
31.7%43.5%24.7%14

sample44.0ms

Algorithm
intervals
Results
18.0ms256×body80valid
10.0ms151×body80invalid

simplify444.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0564529

prune13.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: 6.8b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
0.3b
(/ 2.0 (* r r))
7.0b
(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
9.9b
(* r (* w w))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log add-cbrt-cube
40×pow1 prod-exp cbrt-unprod
30×add-sqr-sqrt
27×associate-*l*
26×pow-prod-down
24×*-un-lft-identity
19×times-frac
18×add-cube-cbrt
14×associate-*r/
13×distribute-rgt-in distribute-lft-in
10×sub-neg
6×cbrt-undiv div-exp
5×flip3-- associate-*r* flip--
4×frac-times add-log-exp
3×*-commutative associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
2×associate-*l/ associate-/r/ div-inv
1×frac-2neg clear-num associate-/r*
Counts
4 → 138
Calls
4 calls:
13.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
4.0ms
(/ 2.0 (* r r))
20.0ms
(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
7.0ms
(* r (* w w))

series43.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
3.0ms
(/ 2.0 (* r r))
22.0ms
(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
14.0ms
(* r (* w w))

simplify39.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
057042174

prune239.0ms

Filtered
88 candidates to 150 candidates (-70.5%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New13713150
Fresh101
Picked101
Done000
Total13913152

Merged error: 0.8b

Counts
152 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
0.2b
(* (* r w) w)
0.3b
(/ 2.0 (* r r))
7.0b
(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log add-cbrt-cube
40×pow1 prod-exp cbrt-unprod
29×add-sqr-sqrt
26×pow-prod-down
25×associate-*l*
24×*-un-lft-identity
19×times-frac
18×add-cube-cbrt
14×associate-*r/
13×distribute-rgt-in distribute-lft-in
10×sub-neg
7×associate-*r*
6×cbrt-undiv div-exp
5×flip3-- flip--
4×frac-times add-log-exp
3×*-commutative associate-/l* distribute-lft-out-- difference-of-squares
2×associate-*l/ associate-/r/ div-inv unswap-sqr
1×frac-2neg clear-num associate-/r*
Counts
4 → 137
Calls
4 calls:
15.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
5.0ms
(* (* r w) w)
4.0ms
(/ 2.0 (* r r))
20.0ms
(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

series34.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
6.0ms
(* (* r w) w)
3.0ms
(/ 2.0 (* r r))
21.0ms
(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))

simplify42.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
062792145

prune202.0ms

Filtered
82 candidates to 149 candidates (-81.7%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1463149
Fresh4812
Picked011
Done000
Total15012162

Merged error: 0.8b

Counts
162 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* r w) w)
0.3b
(/ 2.0 (* r r))
0.6b
(cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))
7.0b
(* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
25×add-cbrt-cube
23×pow1
14×associate-*r/ prod-exp cbrt-unprod
13×pow-prod-down
10×cube-div cbrt-div
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×cbrt-prod
4×frac-times flip3-- associate-*r* associate-*l* flip-- add-log-exp
3×times-frac associate-/l*
2×cbrt-undiv div-exp associate-*l/ *-commutative
1×cube-mult unpow-prod-down frac-2neg pow1/3 unpow3 cube-prod clear-num associate-/r* rem-cbrt-cube div-inv sqr-pow
Counts
4 → 90
Calls
4 calls:
5.0ms
(* (* r w) w)
4.0ms
(/ 2.0 (* r r))
5.0ms
(cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))
13.0ms
(* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))

series35.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* (* r w) w)
3.0ms
(/ 2.0 (* r r))
4.0ms
(cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))
22.0ms
(* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))

simplify32.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
061301370

prune176.0ms

Filtered
65 candidates to 102 candidates (-56.9%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1011102
Fresh01010
Picked011
Done011
Total10113114

Merged error: 0.8b

Counts
114 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
0.3b
(/ 2.0 (* r r))
6.9b
(* r (* r (* w w)))
9.9b
(* r (* w w))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
28×add-exp-log add-cbrt-cube
27×associate-*l*
24×*-un-lft-identity
20×pow1
19×times-frac
18×add-cube-cbrt
12×prod-exp cbrt-unprod
10×pow-prod-down
5×associate-*r*
4×add-log-exp
3×cbrt-undiv flip3-- div-exp *-commutative flip-- associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
2×frac-times sub-neg associate-*r/ associate-/r/ div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in associate-*l/ clear-num associate-/r*
Counts
4 → 107
Calls
4 calls:
13.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
4.0ms
(/ 2.0 (* r r))
7.0ms
(* r (* r (* w w)))
6.0ms
(* r (* w w))

series19.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
3.0ms
(/ 2.0 (* r r))
6.0ms
(* r (* r (* w w)))
6.0ms
(* r (* w w))

simplify39.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
049821098
149821098

prune149.0ms

Filtered
76 candidates to 119 candidates (-56.6%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New1172119
Fresh2810
Picked011
Done022
Total11913132

Merged error: 0.1b

Counts
132 → 13

regimes406.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05431
15431

end0.0ms

sample1.2s

Algorithm
intervals
Results
562.0ms8000×body80valid
348.0ms5004×body80invalid

Profiling

Loading profile data...