Details

Time bar (total: 46.5s)

sample746.0ms

Algorithm
intervals
Results
305.0ms137×body5120exit
145.0ms108×body1280valid
85.0ms60×body1280nan
83.0ms80×body640valid
36.0ms32×body640nan
27.0ms38×body320valid
14.0ms18×body320nan
10.0ms21×body160valid
7.0ms13×body160nan
2.0ms10×body80valid
2.0ms9×body80nan

simplify23.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
0537289

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 1.0b

Counts
2 → 1

localize62.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
769×*-un-lft-identity
516×distribute-lft-out
161×times-frac
31×add-sqr-sqrt add-cube-cbrt
27×distribute-lft-out--
23×add-exp-log
21×exp-sum
20×associate-/l*
15×add-cbrt-cube
13×prod-exp
9×pow1 add-log-exp
5×cbrt-unprod
4×associate-*r/ div-exp associate-*l* frac-add associate-/r*
3×associate-+r- flip3-+ sum-log flip-+
2×cbrt-undiv pow-to-exp sqrt-pow1 pow-prod-down pow-exp sqrt-prod associate-/l/ pow-sub
1×+-commutative frac-times associate-+r+ frac-2neg pow1/2 exp-diff associate-*r* associate-*l/ clear-num associate-/r/ *-commutative div-inv
Counts
4 → 202
Calls
4 calls:
668.0ms
(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
628.0ms
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
53.0ms
(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
2.0ms
(sqrt (* PI 2.0))

series67.0ms

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

simplify118.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0524614034

prune1.1s

Filtered
81 candidates to 212 candidates (-161.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New20210212
Fresh000
Picked101
Done000
Total20310213

Merged error: 0.0b

Counts
213 → 10

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite827.0ms

Algorithm
rewrite-expression-head
Rules
1235×*-un-lft-identity
576×distribute-lft-out
409×times-frac
135×distribute-lft-out--
18×add-log-exp
15×add-exp-log
13×frac-add add-cbrt-cube
9×sum-log
7×pow1 flip3-+ prod-exp flip-+
6×add-sqr-sqrt add-cube-cbrt associate-*r/
5×div-exp associate-/l/
4×associate-+r- associate-/r*
3×cbrt-undiv cbrt-unprod pow-sub
2×+-commutative frac-times sqrt-pow1 exp-sum associate-*l/
1×pow-to-exp associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down pow-exp clear-num sqrt-prod associate-/r/ div-inv associate-/l*
Counts
4 → 192
Calls
4 calls:
666.0ms
(/ (* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
49.0ms
(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
81.0ms
(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
4.0ms
(sqrt (* PI 2.0))

series68.0ms

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

simplify72.0ms

Algorithm
egg-herbie
Counts
202 → 202
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
050738608

prune691.0ms

Filtered
74 candidates to 202 candidates (-173.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1984202
Fresh459
Picked101
Done000
Total2039212

Merged error: 0b

Counts
212 → 9

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
5823×*-un-lft-identity
4049×distribute-lft-out
2165×times-frac
631×add-sqr-sqrt
594×add-cube-cbrt
584×unpow-prod-down
544×associate-*r*
265×exp-sum
99×sqr-pow
97×unpow-prod-up distribute-lft-out--
60×associate-/r*
39×add-exp-log
32×add-cbrt-cube
29×div-exp
27×div-inv
26×associate-/r/
24×associate-+r- pow-sub
16×associate-*l*
15×associate-/l*
13×cbrt-undiv
10×prod-exp unswap-sqr
9×pow1
6×cbrt-unprod
5×associate-/l/
4×pow-to-exp pow-exp sqrt-prod add-log-exp
2×frac-2neg sqrt-pow1 flip3-+ pow-prod-down frac-add clear-num flip-+
1×frac-times associate-+l- pow1/2 exp-diff associate-*r/ associate-*l/ *-commutative
Counts
4 → 1304
Calls
4 calls:
735.0ms
(* (/ (sqrt (* PI 2.0)) (exp z)) (/ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (+ (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (+ (/ -176.6150291621406 (+ z (- 4.0 1.0))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))) (/ 676.5203681218851 z))))) 0.9999999999998099)) (/ (exp (+ (- 7.0 1.0) 0.5)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))))
565.0ms
(/ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (+ (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (+ (/ -176.6150291621406 (+ z (- 4.0 1.0))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))) (/ 676.5203681218851 z))))) 0.9999999999998099)) (/ (exp (+ (- 7.0 1.0) 0.5)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))))
21.0ms
(/ (exp (+ (- 7.0 1.0) 0.5)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
2.0ms
(sqrt (* PI 2.0))

series102.0ms

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

simplify578.0ms

Algorithm
egg-herbie
Counts
1314 → 1314
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
05468100778

prune14.4s

Filtered
351 candidates to 1314 candidates (-274.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New131131314
Fresh358
Picked101
Done000
Total131581323

Merged error: 0b

Counts
1323 → 8

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
229×*-un-lft-identity
181×times-frac
101×distribute-lft-out
78×unpow-prod-down
70×add-sqr-sqrt
68×add-cube-cbrt
60×associate-/r*
34×exp-sum
26×add-exp-log
24×frac-add
20×add-cbrt-cube
17×div-exp
16×associate-*r/
13×unpow-prod-up distribute-lft-out-- sqr-pow
11×associate-*r*
9×pow1 associate-/l/
8×flip3-+ flip-+
7×cbrt-undiv
5×prod-exp associate-/l*
4×associate-+r- associate-*l* associate-/r/ div-inv add-log-exp
3×pow-to-exp pow-exp cbrt-unprod pow-sub
2×frac-2neg sqrt-pow1 pow-prod-down clear-num sqrt-prod
1×distribute-rgt-in associate-+l- distribute-lft-in pow1/2 exp-diff *-commutative unswap-sqr
Counts
4 → 253
Calls
4 calls:
156.0ms
(* (sqrt (* PI 2.0)) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ (- 7.0 1.0) z)) (+ (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (+ (/ -176.6150291621406 (+ z (- 4.0 1.0))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (/ 676.5203681218851 z))))) 0.9999999999998099)))))
177.0ms
(/ (* (sqrt (* PI 2.0)) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ (- 7.0 1.0) z)) (+ (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (+ (/ -176.6150291621406 (+ z (- 4.0 1.0))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (/ 676.5203681218851 z))))) 0.9999999999998099))))) (/ (exp (+ z (+ (- 7.0 1.0) 0.5))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))))
21.0ms
(/ (exp (+ z (+ (- 7.0 1.0) 0.5))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))
2.0ms
(sqrt (* PI 2.0))

series80.0ms

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

simplify111.0ms

Algorithm
egg-herbie
Counts
263 → 263
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0543118683

prune3.2s

Filtered
178 candidates to 263 candidates (-47.8%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2621263
Fresh167
Picked011
Done000
Total2638271

Merged error: 0b

Counts
271 → 8

regimes89.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 (1.0ms)

IterNodesCost
08289
18289

end0.0ms

sample20.7s

Algorithm
intervals
Results
8.3s3853×body5120exit
4.5s3419×body1280valid
2.4s2476×body640valid
2.0s1499×body1280nan
1.3s1228×body640nan
850.0ms1211×body320valid
456.0ms610×body320nan
292.0ms656×body160valid
150.0ms315×body160nan
78.0ms335×body80valid
57.0ms287×body80nan

Profiling

Loading profile data...