Details

Time bar (total: 6.2s)

analyze5.0ms

Algorithm
search

sample103.0ms

Algorithm
intervals
Results
57.0ms113×body1280valid
26.0ms86×body640valid
6.0ms30×body320valid
3.0ms23×body160valid
0.0ms4×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3616
4886
51046
61136
71136

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.9b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
6.1b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×flip3-- div-exp rem-log-exp flip-- div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 82
Calls
2 calls:
7.0ms
(/ (+ 1.0 x) (- 1.0 x))
7.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series9.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ (+ 1.0 x) (- 1.0 x))
6.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify117.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0318660
11025624
24261602
35003602

prune144.0ms

Filtered
58 candidates to 88 candidates (-51.7%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New85388
Fresh000
Picked101
Done000
Total86389

Merged error: 0.0b

Counts
89 → 3

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
69×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
35×add-cube-cbrt *-un-lft-identity
24×add-exp-log unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
6×pow-to-exp pow-exp add-cbrt-cube
3×pow1 associate-*l*
2×cbrt-unprod
1×cbrt-undiv associate-*r/ pow-prod-down *-commutative div-inv add-log-exp
Counts
1 → 110
Calls
1 calls:
19.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series8.0ms

Counts
1 → 3
Calls
1 calls:
8.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify49.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0528643
12205526
25001525

prune216.0ms

Filtered
68 candidates to 113 candidates (-66.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1130113
Fresh022
Picked011
Done000
Total1133116

Merged error: 0.0b

Counts
116 → 3

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
6.2b
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
6.2b
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
281×add-sqr-sqrt
257×*-un-lft-identity
200×times-frac
144×difference-of-squares
109×log-prod
108×unpow-prod-down cube-prod
72×sqr-pow
65×add-cube-cbrt
51×distribute-lft-out
45×distribute-lft-out--
25×associate-/r*
9×difference-cubes add-exp-log
5×pow1 add-cbrt-cube
4×associate-/r/ associate-/l*
3×log-div rem-log-exp add-log-exp
2×flip3-- flip3-+ div-exp log-pow flip-- flip-+ div-inv associate-/l/
1×cbrt-undiv frac-2neg clear-num
Counts
3 → 276
Calls
3 calls:
17.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
18.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
7.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series17.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
9.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
4.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify87.0ms

Algorithm
egg-herbie
Counts
285 → 285
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
07593541
124573454
250023444

prune576.0ms

Filtered
138 candidates to 285 candidates (-106.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2850285
Fresh011
Picked011
Done011
Total2853288

Merged error: 0.0b

Counts
288 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))
3.7b
(+ (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))) (log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))))
4.6b
(log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x))))
4.7b
(log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
174×add-sqr-sqrt *-un-lft-identity
160×log-prod
141×times-frac
92×sqrt-prod
72×cbrt-prod
69×associate-+r+
62×add-cube-cbrt
56×difference-of-squares
30×distribute-lft-out
28×distribute-lft-out--
18×add-exp-log
12×cbrt-div
11×associate-+l+
10×pow1 flip3-+ associate-/r/ flip-+
8×associate-/l/
7×add-cbrt-cube
6×log-pow
5×div-exp rem-log-exp associate-/r* div-inv
4×frac-times log-div add-log-exp
2×cbrt-undiv flip3-- associate-*r/ associate-*l/ prod-exp flip--
1×+-commutative associate-+l- associate-+r- frac-2neg clear-num sum-log cbrt-unprod associate-/l*
Counts
4 → 235
Calls
4 calls:
16.0ms
(/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))
28.0ms
(+ (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))) (log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))))
12.0ms
(log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x))))
11.0ms
(log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))

series281.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))
150.0ms
(+ (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))) (log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))))
53.0ms
(log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x))))
55.0ms
(log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))

simplify88.0ms

Algorithm
egg-herbie
Counts
247 → 247
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
022046001
150015879

prune1.2s

Filtered
160 candidates to 247 candidates (-54.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2461247
Fresh000
Picked101
Done022
Total2473250

Merged error: 0.0b

Counts
250 → 3

regimes34.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02012
12012

end0.0ms

analyze5.0ms

Algorithm
search

sample2.9s

Algorithm
intervals
Results
1.7s3413×body1280valid
739.0ms2483×body640valid
236.0ms1279×body320valid
70.0ms625×body160valid
11.0ms200×body80valid

Profiling

Loading profile data...