Details

sample1.3s

Algorithm

intervals

Results

577.0ms	120×	body	10240	exit
220.0ms	53×	body	1280	nan
174.0ms	261×	body	80	valid
98.0ms	39×	body	640	nan
58.0ms	23×	body	320	nan
8.0ms	7×	body	160	nan
7.0ms	13×	body	80	nan

simplify368.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

367.0ms

(* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))

prune73.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize167.0ms

Local error

Found 4 expressions with local error:

2.6b	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b	(sqrt (* 2 PI))
1.0b	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite5.0s

Algorithm

rewrite-expression-head

Rules

1068×	`*-un-lft-identity`
361×	`distribute-lft-out`
342×	`times-frac`
255×	`distribute-lft-out--`
30×	`add-log-exp`
23×	`frac-add`
22×	`fma-def`
17×	`sum-log`
12×	`flip3-+` `flip-+`
7×	`add-sqr-sqrt` `pow1` `add-cube-cbrt`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`+-commutative` `associate-+l+`
2×	`sqrt-pow1`
1×	`associate-+r+` `pow1/2` `pow-prod-down` `sqrt-prod`

Counts

4 → 193

Calls

4 calls:

Slowest

2.6s	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.3s	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
1.0s	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
7.0ms	(sqrt (* 2 PI))

series338.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

167.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
109.0ms	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
62.0ms	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms	(sqrt (* 2 PI))

simplify41.2s

Counts

242 → 203

Calls

242 calls:

Slowest

823.0ms	(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
652.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
492.0ms	(+ (* (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
473.0ms	(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
469.0ms	(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))

prune8.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize199.0ms

Local error

Found 4 expressions with local error:

3.3b	(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
2.3b	(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b	(sqrt (* 2 PI))
1.0b	(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))

rewrite4.4s

Algorithm

rewrite-expression-head

Rules

102×	`*-un-lft-identity`
36×	`times-frac`
33×	`fma-def`
27×	`distribute-lft-out`
24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `distribute-lft-out--`
13×	`add-log-exp`
10×	`exp-prod`
9×	`pow1`
7×	`log-pow`
5×	`sum-log`
4×	`expm1-log1p-u` `associate-+l+` `log-prod` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`difference-of-squares` `rem-exp-log`
2×	`+-commutative` `sqrt-pow1` `flip3-+` `exp-sum` `associate-/r/` `flip-+`
1×	`flip3--` `pow1/2` `pow-prod-down` `frac-add` `sqrt-prod` `div-inv` `flip--`

Counts

4 → 111

Calls

4 calls:

Slowest

3.5s	(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
677.0ms	(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
177.0ms	(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
7.0ms	(sqrt (* 2 PI))

series290.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

130.0ms	(exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))
83.0ms	(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
77.0ms	(+ (log (exp (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
0.0ms	(sqrt (* 2 PI))

simplify8.3s

Counts

80 → 121

Calls

80 calls:

Slowest

1.0s	(/ -0.13857109526572012 (- (* 7 7) (* (+ z 1) (+ z 1))))
515.0ms	(/ -0.13857109526572012 (- (pow 7 3) (pow (+ z 1) 3)))
350.0ms	(+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (- 7 (+ z 1)) 12.507343278686905))
271.0ms	(+ (* 65945.43707599111 (* (pow z 2) (exp 47.95075976068347))) (+ (exp 47.95075976068347) (* 361.7355639412844 (* z (exp 47.95075976068347)))))
269.0ms	(- (+ (* 307.69502253760675 (/ 1 (pow z 3))) (+ (* 61.7052898218402 (/ 1 (pow z 2))) (* 12.368772183421186 (/ 1 z)))))

prune5.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize219.0ms

Local error

Found 4 expressions with local error:

2.6b	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b	(sqrt PI)
1.0b	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite4.5s

Algorithm

rewrite-expression-head

Rules

1069×	`*-un-lft-identity`
361×	`distribute-lft-out`
342×	`times-frac`
255×	`distribute-lft-out--`
30×	`add-log-exp`
23×	`frac-add`
22×	`fma-def`
17×	`sum-log`
12×	`flip3-+` `flip-+`
9×	`add-sqr-sqrt`
8×	`add-cube-cbrt`
5×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`+-commutative` `associate-+l+` `sqrt-prod`
1×	`rem-sqrt-square` `associate-+r+` `sqrt-pow1` `pow1/2`

Counts

4 → 195

Calls

4 calls:

Slowest

2.7s	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.1s	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
665.0ms	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.0ms	(sqrt PI)

series312.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

152.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
94.0ms	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
65.0ms	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms	(sqrt PI)

simplify40.8s

Counts

243 → 205

Calls

243 calls:

Slowest

726.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
696.0ms	(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
548.0ms	(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (* (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
535.0ms	(+ (* (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
467.0ms	(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))

prune9.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize249.0ms

Local error

Found 4 expressions with local error:

2.6b	(+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
2.3b	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b	(sqrt PI)
1.0b	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

1090×	`*-un-lft-identity`
366×	`distribute-lft-out`
357×	`times-frac`
258×	`distribute-lft-out--`
39×	`fma-def`
30×	`add-log-exp`
23×	`frac-add`
17×	`add-sqr-sqrt` `sum-log`
16×	`add-cube-cbrt`
13×	`flip3-+` `flip-+`
5×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`+-commutative` `sqrt-prod`
2×	`associate-+l+` `associate-+r+` `associate-/r/`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-inv`

Counts

4 → 212

Calls

4 calls:

Slowest

1.2s	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
1.0s	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 5 (+ z 1))))
207.0ms	(+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
2.0ms	(sqrt PI)

series259.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

125.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
68.0ms	(+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
65.0ms	(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 5 (+ z 1))))
0.0ms	(sqrt PI)

simplify42.9s

Counts

260 → 222

Calls

260 calls:

Slowest

779.0ms	(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
713.0ms	(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
649.0ms	(* (* (+ (- 1 z) 1) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (- 5 (+ z 1)))
571.0ms	(+ (* -1259.1392167224028 (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (+ (- 1 z) 1) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))))
517.0ms	(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (* (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))

prune8.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

regimes496.0ms

Accuracy

0% (0.5b remaining)

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

bsearch24.0ms

end0.0ms

sample41.2s

Algorithm

intervals

Results

21.7s	3906×	body	10240	exit
6.7s	8084×	body	80	valid
6.2s	1512×	body	1280	nan
3.8s	1321×	body	640	nan
1.6s	637×	body	320	nan
478.0ms	302×	body	160	nan
214.0ms	285×	body	80	nan