Details

Time bar (total: 22.9s)

sample396.0ms

Algorithm
intervals
Results
119.0ms111×body1280valid
66.0ms53×body1280nan
64.0ms86×body640valid
30.0ms36×body640nan
26.0ms135×body80overflowed
21.0ms35×body320valid
8.0ms14×body320nan
6.0ms16×body160nan
4.0ms12×body160valid
3.0ms15×body80valid
1.0ms9×body80nan

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune30.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 61.1b

Counts
2 → 2

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))
4.7b
(+ (- z 1.0) 1.0)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
20×add-log-exp
17×distribute-lft-out
16×exp-prod
15×add-sqr-sqrt
11×associate-*r*
10×add-cube-cbrt
9×add-exp-log
7×pow1 unpow-prod-down sum-log
6×distribute-lft-neg-in distribute-rgt-neg-in add-cbrt-cube
5×rem-exp-log
4×associate-*l* neg-log distribute-lft-out--
3×prod-exp unswap-sqr
2×associate-+l- associate-+l+ sqrt-pow1 diff-log sqrt-prod sqr-pow
1×unpow-prod-up +-commutative neg-sub0 exp-neg pow-to-exp neg-mul-1 sub-neg distribute-neg-in flip3-+ pow1/2 exp-diff associate-*r/ exp-sum pow-prod-down pow-exp *-commutative cbrt-unprod flip-+ pow-sub
Counts
4 → 90
Calls
4 calls:
15.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
18.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))
7.0ms
(+ (- z 1.0) 1.0)

series306.0ms

Counts
4 → 10
Calls
4 calls:
16.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
279.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
10.0ms
(+ (- z 1.0) 1.0)

simplify62.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0552704
12036643
25001638

prune837.0ms

Filtered
100 candidates to 68 candidates (68.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New964100
Fresh101
Picked101
Done000
Total984102

Merged error: 0.8b

Counts
102 → 4

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.7b
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
392×frac-add
130×frac-times
102×associate-*r/
82×*-un-lft-identity
56×flip3-+ flip-+
52×exp-neg associate-+l- pow-sub
51×distribute-lft-out
35×neg-sub0 exp-diff
23×associate-*l/
22×associate-*r*
21×add-exp-log
17×un-div-inv
16×add-sqr-sqrt exp-prod
15×prod-exp add-cbrt-cube add-log-exp
12×pow1
11×add-cube-cbrt
7×unpow-prod-down cbrt-unprod
6×distribute-lft-neg-in distribute-rgt-neg-in
5×associate-*l* sum-log rem-exp-log
4×pow-prod-down neg-log
3×distribute-lft-out-- unswap-sqr
2×pow-to-exp sqrt-pow1 pow-exp sqrt-prod *-commutative sqr-pow
1×unpow-prod-up distribute-rgt-in neg-mul-1 distribute-neg-in distribute-lft-in pow1/2 diff-log exp-sum
Counts
4 → 223
Calls
4 calls:
10.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
142.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
21.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
3.0ms
(sqrt (* PI 2.0))

series887.0ms

Counts
4 → 10
Calls
4 calls:
17.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
589.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
281.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify291.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 1 (60.0ms)

IterNodesCost
0374523936
1500123816

prune2.2s

Filtered
233 candidates to 140 candidates (60.1%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2249233
Fresh303
Picked101
Done000
Total2289237

Merged error: 0.0b

Counts
237 → 9

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.7b
(* (* (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI))
1.0b
(sqrt PI)

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
392×frac-add
130×frac-times
127×associate-*l/
73×*-un-lft-identity
56×flip3-+ flip-+
52×exp-neg pow-sub
50×associate-*r/
46×distribute-lft-out
35×neg-sub0 exp-diff
32×add-exp-log
25×prod-exp
23×add-cbrt-cube
17×associate-*r* un-div-inv
16×pow1 exp-prod
15×add-log-exp
13×cbrt-unprod
12×add-sqr-sqrt
11×add-cube-cbrt
7×pow-prod-down
6×distribute-lft-neg-in distribute-rgt-neg-in sqrt-prod
5×sum-log rem-exp-log
4×neg-log
2×pow-to-exp associate-*l* pow-exp *-commutative distribute-lft-out--
1×distribute-rgt-in neg-mul-1 rem-sqrt-square distribute-neg-in distribute-lft-in sqrt-pow1 pow1/2 diff-log exp-sum
Counts
4 → 220
Calls
4 calls:
10.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
138.0ms
(* (* (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
10.0ms
(* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI))
1.0ms
(sqrt PI)

series857.0ms

Counts
4 → 10
Calls
4 calls:
16.0ms
(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
573.0ms
(* (* (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
268.0ms
(* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI))
0.0ms
(sqrt PI)

simplify297.0ms

Algorithm
egg-herbie
Counts
230 → 230
Iterations

Useful iterations: 1 (62.0ms)

IterNodesCost
0375623599
1500223498

prune2.0s

Filtered
230 candidates to 135 candidates (58.7%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2300230
Fresh088
Picked011
Done000
Total2309239

Merged error: 0.0b

Counts
239 → 9

localize53.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)))
0.7b
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
112×frac-add
75×add-exp-log
61×*-un-lft-identity
53×prod-exp
41×distribute-lft-out
34×associate-*l/
32×add-cbrt-cube
23×associate-*l*
20×div-exp
16×flip3-+ flip-+ associate-/l/
13×add-sqr-sqrt cbrt-unprod
11×pow-to-exp pow-exp
9×pow1
8×add-cube-cbrt associate-+l-
7×unpow-prod-down
6×cbrt-undiv
5×associate-*r*
4×exp-diff pow-sub add-log-exp
3×associate-/r/ unswap-sqr
2×unpow-prod-up frac-times sqrt-pow1 associate-*r/ pow-prod-down *-commutative sqr-pow
1×sub-neg frac-2neg times-frac pow1/2 exp-sum clear-num associate-/r* sqrt-prod div-inv associate-/l* distribute-lft-out--
Counts
4 → 146
Calls
4 calls:
127.0ms
(* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)))
146.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
23.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.4s

Counts
4 → 10
Calls
4 calls:
316.0ms
(* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)))
851.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
206.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify129.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 1 (48.0ms)

IterNodesCost
028938062
150027466

prune1.4s

Filtered
156 candidates to 109 candidates (69.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1551156
Fresh167
Picked101
Done011
Total1578165

Merged error: 0.0b

Counts
165 → 8

regimes177.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08144
18644
28644

end0.0ms

sample10.7s

Algorithm
intervals
Results
3.6s3412×body1280valid
1.9s2508×body640valid
1.6s1463×body1280nan
1.0s1218×body640nan
674.0ms1234×body320valid
662.0ms3853×body80overflowed
367.0ms620×body320nan
209.0ms594×body160valid
111.0ms303×body160nan
62.0ms335×body80valid
50.0ms327×body80nan

Profiling

Loading profile data...