Details

sample1.6s

Algorithm

intervals

Results

530.0ms	137×	body	10240	exit
332.0ms	107×	body	1280	valid
214.0ms	48×	body	1280	nan
196.0ms	75×	body	640	valid
104.0ms	35×	body	640	nan
72.0ms	49×	body	320	valid
28.0ms	18×	body	320	nan
16.0ms	18×	body	160	valid
11.0ms	12×	body	160	nan
5.0ms	11×	body	80	valid
4.0ms	9×	body	80	nan

simplify1.4s

Counts

1 → 1

Iterations

Iter	Nodes
3	2107
2	411
1	140
0	55

prune63.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize151.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0s

Algorithm

rewrite-expression-head

Rules

276×	`frac-add`
131×	`*-un-lft-identity`
95×	`distribute-lft-out`
80×	`flip3-+` `flip-+`
44×	`frac-times` `associate-*r/`
27×	`associate-r` `add-exp-log`
20×	`add-cbrt-cube` `associate-l`
19×	`add-sqr-sqrt`
14×	`prod-exp`
12×	`add-cube-cbrt`
9×	`pow1`
8×	`times-frac` `div-exp`
7×	`unpow-prod-down`
6×	`cbrt-unprod`
4×	`cbrt-undiv` `associate-/r*` `associate-+l-` `insert-posit16` `add-log-exp` `unswap-sqr`
3×	`pow-to-exp` `exp-sum` `associate-*l/` `pow-exp`
2×	`associate-+r-` `sqrt-pow1` `exp-diff` `pow-prod-down` `associate-/r/` `*-commutative` `sqrt-prod` `div-inv` `pow-sub` `sqr-pow`
1×	`distribute-rgt-in` `unpow-prod-up` `clear-num` `frac-2neg` `distribute-lft-in` `pow1/2` `associate-/l*` `distribute-lft-out--` `associate-/l/`

Counts

4 → 214

Calls

4 calls:

18.1s	(* (/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
437.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
451.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
3.0ms	(sqrt (* PI 2))

series1.7s

Counts

4 → 10

Calls

4 calls:

825.0ms	(* (/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
534.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
366.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))

simplify4.6s

Counts

224 → 224

Iterations

Iter	Nodes
1	3523
0	756

prune9.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize169.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.8s

Algorithm

rewrite-expression-head

Rules

552×	`frac-add`
241×	`*-un-lft-identity`
178×	`frac-times`
160×	`flip3-+` `flip-+`
137×	`times-frac`
130×	`distribute-lft-out`
127×	`add-sqr-sqrt`
90×	`associate-*r/`
84×	`sqrt-prod`
83×	`associate-l`
62×	`add-exp-log`
59×	`add-cube-cbrt`
56×	`associate-r`
49×	`associate-*l/`
48×	`unpow-prod-down`
34×	`add-cbrt-cube`
25×	`prod-exp`
21×	`unswap-sqr`
20×	`div-exp`
16×	`exp-sum`
14×	`pow1` `add-log-exp`
13×	`cbrt-unprod` `sqr-pow`
8×	`cbrt-undiv` `distribute-lft-out--`
7×	`unpow-prod-up`
6×	`exp-prod`
5×	`sum-log` `pow-prod-down`
4×	`pow-to-exp` `pow-exp` `insert-posit16` `rem-exp-log`
3×	`associate-+r-` `exp-diff` `associate-+l-`
2×	`sqrt-pow1` `sqrt-div` `associate-/r/` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/2` `diff-log`

Counts

4 → 423

Calls

4 calls:

211.0ms	(exp (+ (+ 7 (- z 1)) 0.5))
17.6s	(* (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
2.0s	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
3.0ms	(sqrt (* PI 2))

series1.8s

Counts

4 → 10

Calls

4 calls:

20.0ms	(exp (+ (+ 7 (- z 1)) 0.5))
1.3s	(* (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
545.0ms	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
0.0ms	(sqrt (* PI 2))

simplify6.0s

Counts

433 → 433

Iterations

Iter	Nodes
1	4841
0	1002

prune19.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize200.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.3s

Algorithm

rewrite-expression-head

Rules

1104×	`frac-add`
535×	`frac-times`
320×	`flip3-+` `flip-+`
283×	`*-un-lft-identity`
271×	`associate-*r/`
213×	`add-exp-log`
189×	`add-sqr-sqrt`
185×	`times-frac`
144×	`associate-*l/`
140×	`distribute-lft-out`
129×	`sqrt-prod`
123×	`associate-l`
114×	`prod-exp`
83×	`add-cube-cbrt`
73×	`cbrt-prod`
69×	`unpow-prod-down` `add-cbrt-cube`
68×	`div-exp`
63×	`associate-r`
34×	`cbrt-unprod` `unswap-sqr`
25×	`pow1`
19×	`exp-sum` `sqr-pow`
17×	`cbrt-undiv`
10×	`pow-to-exp` `unpow-prod-up` `pow-prod-down` `pow-exp` `distribute-lft-out--`
9×	`rec-exp` `1-exp`
7×	`swap-sqr`
6×	`associate-+r-` `exp-diff` `pow1/3` `associate-+l-`
5×	`cbrt-div`
4×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`sqrt-pow1` `sqrt-div` `associate-/r/` `pow-sqr` `pow-prod-up` `div-inv`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow1/2`

Counts

4 → 707

Calls

4 calls:

24.4s	(* (* (/ 1 (sqrt (* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
528.0ms	(* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))
1.4s	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
5.0ms	(sqrt (* PI 2))

series2.0s

Counts

4 → 10

Calls

4 calls:

785.0ms	(* (* (/ 1 (sqrt (* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
184.0ms	(* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))
982.0ms	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
0.0ms	(sqrt (* PI 2))

simplify17.3s

Counts

717 → 717

Iterations

Iter	Nodes
1	8046
0	1577

prune37.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize169.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.4s

Algorithm

rewrite-expression-head

Rules

552×	`frac-add`
283×	`*-un-lft-identity`
226×	`associate-*r/`
189×	`add-sqr-sqrt`
185×	`times-frac`
179×	`frac-times`
160×	`flip3-+` `flip-+`
140×	`distribute-lft-out`
129×	`sqrt-prod`
123×	`associate-l`
109×	`add-exp-log`
83×	`add-cube-cbrt`
73×	`cbrt-prod`
69×	`unpow-prod-down`
63×	`associate-r`
62×	`prod-exp`
50×	`associate-*l/`
41×	`add-cbrt-cube`
34×	`unswap-sqr`
30×	`div-exp`
25×	`pow1`
20×	`cbrt-unprod`
19×	`exp-sum` `sqr-pow`
10×	`unpow-prod-up` `pow-prod-down` `distribute-lft-out--`
9×	`1-exp`
8×	`cbrt-undiv`
7×	`swap-sqr`
6×	`pow-to-exp` `associate-+r-` `exp-diff` `pow1/3` `pow-exp` `associate-+l-`
5×	`cbrt-div`
4×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`sqrt-pow1` `sqrt-div` `associate-/r/` `pow-sqr` `pow-prod-up` `div-inv`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow1/2`

Counts

4 → 504

Calls

4 calls:

16.7s	(* (* 1 (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
392.0ms	(* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))
1.3s	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
4.0ms	(sqrt (* PI 2))

series2.0s

Counts

4 → 10

Calls

4 calls:

968.0ms	(* (* 1 (* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) (/ 771.3234287776531 (+ 2 z))))) (/ -1259.1392167224028 (+ 1 z)))))
188.0ms	(* (cbrt (exp (+ (+ 7 (- z 1)) 0.5))) (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))
873.0ms	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (cbrt (exp (+ (+ 7 (- z 1)) 0.5))))) (/ (sqrt (* PI 2)) (sqrt (exp (+ (+ 7 (- z 1)) 0.5)))))
0.0ms	(sqrt (* PI 2))

simplify6.5s

Counts

514 → 514

Iterations

Iter	Nodes
1	5348
0	1155

prune18.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes128.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify16.0ms

Iterations

Iter	Nodes
2	83
1	83
0	60

end0.0ms

sample33.5s

Algorithm

intervals

Results

12.5s	3880×	body	10240	exit
7.7s	3450×	body	1280	valid
4.0s	2431×	body	640	valid
3.4s	1487×	body	1280	nan
1.9s	1246×	body	640	nan
1.9s	1260×	body	320	valid
721.0ms	695×	body	320	nan
670.0ms	601×	body	160	valid
225.0ms	348×	body	160	nan
151.0ms	343×	body	80	valid
83.0ms	292×	body	80	nan