Details

Time bar (total: 5.5s)

sample17.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
2.0ms82×body80nan

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
184

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 1.0 (sqrt (+ x 1.0)))
0.2b
(/ x (+ 1.0 (sqrt (+ x 1.0))))

rewrite15.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:
6.0ms
(+ 1.0 (sqrt (+ x 1.0)))
8.0ms
(/ x (+ 1.0 (sqrt (+ x 1.0))))

series203.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(+ 1.0 (sqrt (+ x 1.0)))
158.0ms
(/ x (+ 1.0 (sqrt (+ x 1.0))))

simplify35.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0278393
11058351
25002347

prune99.0ms

Filtered
51 candidates to 38 candidates (74.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New48351
Fresh000
Picked011
Done000
Total48452

Merged error: 0b

Counts
52 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
0.2b
(pow (sqrt (+ x 1.0)) 3)
2.5b
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
6.5b
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
62×sqrt-div
43×add-sqr-sqrt
34×sqrt-prod
32×flip3-+ flip-+
31×add-cube-cbrt
28×associate-*r/ distribute-lft-out
27×times-frac
23×unpow-prod-down cube-prod
21×pow1
16×frac-sub
12×frac-times
11×swap-sqr
9×add-exp-log sqrt-pow1 pow1/2 associate-/r* add-cbrt-cube
8×associate-*l/
7×associate-*r* associate-*l*
6×add-log-exp
5×pow-prod-up
4×sum-cubes sub-div unswap-sqr
3×pow-unpow pow-pow pow-prod-down pow-sqr associate-/l*
2×cube-div associate-/r/
1×cbrt-undiv pow2 cube-mult pow-to-exp sub-neg flip3-- distribute-rgt-out-- frac-2neg pow-plus sqrt-unprod diff-log unpow3 div-exp pow-exp prod-exp clear-num rem-square-sqrt *-commutative sqrt-pow2 flip-- cbrt-unprod div-inv rem-cube-cbrt sqr-pow
Counts
4 → 184
Calls
4 calls:
11.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
6.0ms
(pow (sqrt (+ x 1.0)) 3)
16.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
20.0ms
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

series367.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
73.0ms
(pow (sqrt (+ x 1.0)) 3)
71.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
206.0ms
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

simplify134.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (114.0ms)

IterNodesCost
07711703
138731474
250011458

prune367.0ms

Filtered
196 candidates to 98 candidates (50.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1960196
Fresh022
Picked011
Done011
Total1964200

Merged error: 0b

Counts
200 → 4

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3)))
0.0b
(/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2)))
0.0b
(* 1/8 (/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2))))
8.2b
(+ (* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3))) (* -1/2 (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2)))))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
322×times-frac
294×add-sqr-sqrt
262×associate-*r*
215×*-un-lft-identity
210×add-exp-log
169×unpow-prod-down cube-prod
119×add-cube-cbrt
105×prod-exp
88×div-exp
68×pow-to-exp pow-exp
51×sqr-pow
48×distribute-rgt-out
35×cube-mult unpow3 unswap-sqr
30×add-cbrt-cube
24×distribute-rgt1-in sqrt-prod distribute-lft-out
16×associate-*l*
12×associate-/l*
9×cbrt-unprod
8×pow1 cbrt-undiv
6×associate-*r/ add-log-exp
4×div-inv
3×frac-add
2×cube-div frac-times flip3-+ pow-prod-down associate-*l/ associate-/r/ *-commutative flip-+
1×+-commutative frac-2neg clear-num associate-/r* sum-log
Counts
4 → 474
Calls
4 calls:
98.0ms
(* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3)))
15.0ms
(/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2)))
19.0ms
(* 1/8 (/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2))))
27.0ms
(+ (* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3))) (* -1/2 (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
181.0ms
(* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3)))
262.0ms
(/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2)))
279.0ms
(* 1/8 (/ (pow x 3) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) 1.0) 2))))
710.0ms
(+ (* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3))) (* -1/2 (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2)))))

simplify80.0ms

Algorithm
egg-herbie
Counts
486 → 486
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
015904426
150014127

prune1.1s

Filtered
486 candidates to 201 candidates (41.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New4860486
Fresh011
Picked011
Done022
Total4864490

Merged error: 0b

Counts
490 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
0.0b
(+ 1.0 (sqrt (+ x 1.0)))
0.2b
(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
53×add-sqr-sqrt
52×times-frac
37×add-cube-cbrt
35×sqrt-prod
30×associate-*r*
14×distribute-lft-out
10×add-exp-log add-cbrt-cube
6×associate-*l* associate-/l* unswap-sqr
5×pow1 add-log-exp
4×associate-/r* associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv
1×+-commutative frac-2neg associate-*r/ pow-prod-down clear-num sum-log *-commutative
Counts
3 → 116
Calls
3 calls:
9.0ms
(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
6.0ms
(+ 1.0 (sqrt (+ x 1.0)))
18.0ms
(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

series513.0ms

Counts
3 → 9
Calls
3 calls:
317.0ms
(/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0))))
44.0ms
(+ 1.0 (sqrt (+ x 1.0)))
151.0ms
(* (sqrt x) (/ (sqrt x) (+ 1.0 (sqrt (+ x 1.0)))))

simplify62.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
04911191
121421050
250011025

prune183.0ms

Filtered
125 candidates to 75 candidates (60.0%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1250125
Fresh000
Picked011
Done033
Total1254129

Merged error: 0b

Counts
129 → 4

regimes41.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184

end0.0ms

sample428.0ms

Algorithm
intervals
Results
235.0ms7994×body80valid
70.0ms2664×body80nan
1.0ms6×body1280valid

Profiling

Loading profile data...