Details

Time bar (total: 1.6s)

sample14.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
7.0ms256×body80valid

simplify131.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0105
1125
2145
3155
4205
5405
6615
71435
813575
950015

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp x) (exp (neg x)))
0.0b
(/ 2.0 (+ (exp x) (exp (neg x))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
12×times-frac
11×add-sqr-sqrt add-cube-cbrt
5×distribute-lft-out
4×add-exp-log associate-/r* add-cbrt-cube add-log-exp
3×associate-/l*
2×pow1 flip3-+ associate-/r/ flip-+
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
2 → 45
Calls
2 calls:
4.0ms
(+ (exp x) (exp (neg x)))
6.0ms
(/ 2.0 (+ (exp x) (exp (neg x))))

series12.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(+ (exp x) (exp (neg x)))
8.0ms
(/ 2.0 (+ (exp x) (exp (neg x))))

simplify120.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 3 (115.0ms)

IterNodesCost
0192411
1634377
23020374
35001373

prune57.0ms

Filtered
39 candidates to 51 candidates (-30.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New49251
Fresh000
Picked011
Done000
Total49352

Merged error: 0.0b

Counts
52 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
0.5b
(cbrt (+ (exp x) (exp (neg x))))
0.5b
(cbrt (+ (exp x) (exp (neg x))))
0.5b
(cbrt (+ (exp x) (exp (neg x))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
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 → 95
Calls
4 calls:
13.0ms
(* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
4.0ms
(cbrt (+ (exp x) (exp (neg x))))
4.0ms
(cbrt (+ (exp x) (exp (neg x))))
4.0ms
(cbrt (+ (exp x) (exp (neg x))))

series105.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
25.0ms
(cbrt (+ (exp x) (exp (neg x))))
22.0ms
(cbrt (+ (exp x) (exp (neg x))))
23.0ms
(cbrt (+ (exp x) (exp (neg x))))

simplify39.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
02341278
18641140
250011069

prune125.0ms

Filtered
71 candidates to 107 candidates (-50.7%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1061107
Fresh101
Picked101
Done011
Total1082110

Merged error: 0b

Counts
110 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (neg x))))))
0.0b
(* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))
0.5b
(cbrt (+ (exp x) (exp (neg x))))
0.5b
(cbrt (+ (exp x) (exp (neg x))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
60×*-un-lft-identity
56×associate-*r*
52×times-frac
46×add-exp-log
41×cbrt-prod
40×add-cube-cbrt
26×sqrt-prod
25×add-cbrt-cube
19×associate-*l* prod-exp
14×cbrt-unprod
13×div-exp
11×unswap-sqr
10×cbrt-undiv cbrt-div distribute-lft-out
6×pow1 unpow-prod-down
5×flip3-+ pow1/3 associate-*l/ flip-+
4×associate-/r/ add-log-exp
3×pow-to-exp unpow1/3 pow-exp sqr-pow
2×pow-prod-down *-commutative div-inv
1×frac-times associate-*r/ pow-sqr pow-prod-up
Counts
4 → 162
Calls
4 calls:
37.0ms
(* (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (neg x))))))
14.0ms
(* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))
4.0ms
(cbrt (+ (exp x) (exp (neg x))))
4.0ms
(cbrt (+ (exp x) (exp (neg x))))

series97.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(* (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (neg x))))))
34.0ms
(* (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 1/3))
22.0ms
(cbrt (+ (exp x) (exp (neg x))))
27.0ms
(cbrt (+ (exp x) (exp (neg x))))

simplify107.0ms

Algorithm
egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 2 (85.0ms)

IterNodesCost
07753181
140012322
250012091

prune243.0ms

Filtered
108 candidates to 174 candidates (-61.1%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1740174
Fresh000
Picked011
Done011
Total1742176

Merged error: 0b

Counts
176 → 2

regimes77.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
085
185

end0.0ms

sample312.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
224.0ms8000×body80valid

Profiling

Loading profile data...