Details

Time bar (total: 25.3s)

sample390.0ms

Algorithm
intervals
Results
119.0ms112×body1280valid
58.0ms73×body640valid
57.0ms52×body1280nan
29.0ms38×body320valid
26.0ms141×body80overflowed
26.0ms30×body640nan
15.0ms25×body320nan
8.0ms22×body160valid
4.0ms11×body160nan
2.0ms13×body80valid
2.0ms9×body80nan

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune19.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 61.1b

Counts
2 → 1

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (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))))
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))
5.9b
(+ (- z 1.0) 1.0)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
15×add-exp-log associate-*r*
13×add-sqr-sqrt
11×add-cbrt-cube
10×prod-exp
9×pow1 add-log-exp
8×add-cube-cbrt
7×unpow-prod-down distribute-lft-out
6×associate-*r/
5×associate-+l- associate-*l*
4×cbrt-unprod pow-sub
3×exp-neg unswap-sqr
2×neg-sub0 frac-times pow-to-exp associate-+l+ sqrt-pow1 exp-diff pow-prod-down pow-exp sum-log sqrt-prod *-commutative distribute-lft-out-- sqr-pow
1×unpow-prod-up +-commutative sub-neg distribute-neg-in flip3-+ pow1/2 diff-log exp-sum associate-*l/ un-div-inv flip-+
Counts
4 → 85
Calls
4 calls:
32.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))))
20.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)

series725.0ms

Counts
4 → 10
Calls
4 calls:
431.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))))
280.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
14.0ms
(+ (- z 1.0) 1.0)

simplify97.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
07081125
13058989
25002983

prune773.0ms

Filtered
95 candidates to 65 candidates (68.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New89695
Fresh000
Picked101
Done000
Total90696

Merged error: 1.1b

Counts
96 → 6

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (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.8b
(* (* (* (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))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
392×frac-add
132×frac-times
107×associate-*r/
62×*-un-lft-identity
56×flip3-+ flip-+
55×associate-+l- pow-sub
54×exp-neg
41×distribute-lft-out
36×neg-sub0 exp-diff
27×add-exp-log
26×associate-*r*
24×associate-*l/
22×prod-exp
20×add-cbrt-cube
18×un-div-inv
14×pow1 add-sqr-sqrt
10×cbrt-unprod
9×add-cube-cbrt
7×unpow-prod-down
6×associate-*l*
5×pow-prod-down
4×add-log-exp
3×pow-to-exp pow-exp *-commutative unswap-sqr
2×sqrt-pow1 sqrt-prod sqr-pow
1×unpow-prod-up distribute-rgt-in distribute-neg-in distribute-lft-in pow1/2 exp-sum distribute-lft-out--
Counts
4 → 218
Calls
4 calls:
32.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))))
156.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))))
19.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.3s

Counts
4 → 10
Calls
4 calls:
438.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))))
617.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))))
286.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify301.0ms

Algorithm
egg-herbie
Counts
228 → 228
Iterations

Useful iterations: 1 (66.0ms)

IterNodesCost
0379624353
1500324219

prune1.8s

Filtered
228 candidates to 139 candidates (61.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New21810228
Fresh505
Picked101
Done000
Total22410234

Merged error: 0.2b

Counts
234 → 10

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))))
0.8b
(* (* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI)) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
0.9b
(* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI))
1.0b
(sqrt PI)

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
504×frac-add
204×frac-times
190×associate-*l/
171×exp-neg
114×mul-1-neg
111×associate-*r/
72×flip3-+ flip-+
57×neg-sub0 exp-diff un-div-inv
53×*-un-lft-identity
36×distribute-lft-out
33×pow1
32×add-cbrt-cube
23×add-exp-log
19×pow-prod-down prod-exp cbrt-unprod
18×associate-*r*
10×add-sqr-sqrt
9×add-cube-cbrt
6×associate-*l* sqrt-prod
4×add-log-exp
3×*-commutative
1×distribute-rgt-in rem-sqrt-square distribute-neg-in distribute-lft-in sqrt-pow1 pow1/2 exp-sum
Counts
4 → 258
Calls
4 calls:
16.0ms
(* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))))
143.0ms
(* (* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI)) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
20.0ms
(* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI))
1.0ms
(sqrt PI)

series1.6s

Counts
4 → 10
Calls
4 calls:
305.0ms
(* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))))
621.0ms
(* (* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI)) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
629.0ms
(* (* (exp (neg (+ z 6.5))) (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z)))))) (sqrt PI))
0.0ms
(sqrt PI)

simplify366.0ms

Algorithm
egg-herbie
Counts
268 → 268
Iterations

Useful iterations: 1 (69.0ms)

IterNodesCost
0397230226
1500230092

prune2.0s

Filtered
268 candidates to 134 candidates (50.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2653268
Fresh369
Picked011
Done000
Total26810278

Merged error: 0.0b

Counts
278 → 10

localize52.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (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)))))
0.8b
(* (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))

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
504×frac-add
150×associate-*r/
146×frac-times
72×flip3-+ flip-+
62×*-un-lft-identity
52×associate-+l- pow-sub
51×neg-sub0 exp-neg exp-diff
41×distribute-lft-out
30×add-exp-log
23×associate-*r*
22×prod-exp
20×add-cbrt-cube
16×add-sqr-sqrt
14×pow1
10×cbrt-unprod
9×add-cube-cbrt associate-*l*
7×unpow-prod-down associate-*l/
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×add-log-exp unswap-sqr
3×pow-to-exp pow-exp *-commutative
2×sqrt-pow1 sqrt-prod sqr-pow
1×unpow-prod-up distribute-neg-in pow1/2 exp-sum distribute-lft-out--
Counts
4 → 250
Calls
4 calls:
159.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)))))
139.0ms
(* (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))))
19.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.1s

Counts
4 → 10
Calls
4 calls:
610.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)))))
196.0ms
(* (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))))
291.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify353.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 1 (65.0ms)

IterNodesCost
0355828660
1500128457

prune2.1s

Filtered
260 candidates to 170 candidates (65.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New2591260
Fresh178
Picked011
Done011
Total26010270

Merged error: 0.0b

Counts
270 → 10

regimes186.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08645
19345
29345

end0.0ms

sample11.1s

Algorithm
intervals
Results
3.6s3390×body1280valid
1.9s2464×body640valid
1.9s1503×body1280nan
1.1s1245×body640nan
713.0ms1275×body320valid
677.0ms3851×body80overflowed
417.0ms673×body320nan
222.0ms607×body160valid
125.0ms329×body160nan
68.0ms355×body80valid
44.0ms283×body80nan

Profiling

Loading profile data...