Details

Time bar (total: 6.0s)

analyze1.6s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.2%98.5%0.3%13
1.8%97.9%0.3%14

sample48.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
6.0ms114×body80invalid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
098217
198217

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* z t) 16.0)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log add-cbrt-cube add-log-exp
6×add-sqr-sqrt *-un-lft-identity
4×add-cube-cbrt
3×times-frac associate-/r*
2×pow1 cbrt-undiv diff-log div-exp frac-sub
1×sub-neg flip3-- frac-2neg flip3-+ prod-exp associate--l+ clear-num sum-log flip-- cbrt-unprod flip-+ div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
2 → 38
Calls
2 calls:
8.0ms
(/ (* z t) 16.0)
13.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series42.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(/ (* z t) 16.0)
38.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify47.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
04973614
14973614

prune67.0ms

Filtered
34 candidates to 44 candidates (-29.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New43144
Fresh000
Picked011
Done000
Total43245

Merged error: 0.0b

Counts
45 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
0.5b
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
0.5b
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
0.6b
(* (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))) (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
8.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
8.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
10.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
19.0ms
(* (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))) (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))))

series307.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
62.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
64.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
117.0ms
(* (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))) (cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b)))))

simplify47.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
050822678

prune288.0ms

Filtered
80 candidates to 99 candidates (-23.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New98199
Fresh000
Picked011
Done011
Total983101

Merged error: 0b

Counts
101 → 3

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
0.5b
(cbrt (- (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
2.2b
(+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z))))
27.3b
(cbrt (+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z)))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-div add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+
2×sub-neg associate-+r+
1×+-commutative distribute-rgt-in flip3-- distribute-lft-in sum-log flip--
Counts
4 → 52
Calls
4 calls:
7.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
8.0ms
(cbrt (- (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
6.0ms
(+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z))))
5.0ms
(cbrt (+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z)))))

series442.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(cbrt (+ (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
67.0ms
(cbrt (- (* x y) (- (* (/ t 16.0) z) (* (/ a 4.0) b))))
208.0ms
(+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z))))
103.0ms
(cbrt (+ (pow (* x y) 2) (* (- (* (/ t 16.0) z) (* (/ a 4.0) b)) (- (* (/ a 4.0) b) (* (/ t 16.0) z)))))

simplify55.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049761871
149761871

prune306.0ms

Filtered
60 candidates to 64 candidates (-6.7%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done022
Total64367

Merged error: 0b

Counts
67 → 3

regimes1.3s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05517
15517

end0.0ms

sample1.2s

Algorithm
intervals
Results
483.0ms8000×body80valid
243.0ms3934×body80invalid

Profiling

Loading profile data...