Details

sample1.5s

Algorithm

intervals

Results

552.0ms	143×	body	10240	exit
253.0ms	103×	body	1280	valid
186.0ms	56×	body	1280	nan
148.0ms	85×	body	640	valid
109.0ms	45×	body	640	nan
76.0ms	37×	body	320	valid
44.0ms	15×	body	320	nan
13.0ms	16×	body	160	valid
9.0ms	11×	body	160	nan
8.0ms	17×	body	80	valid
5.0ms	10×	body	80	nan

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
3	2107
2	411
1	140
0	55

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize133.0ms

Local error

Found 4 expressions with local error:

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	(* (/ (* (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	(sqrt (* PI 2))

rewrite19.8s

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:

459.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
436.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
18.9s	(* (/ (* (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)))))
3.0ms	(sqrt (* PI 2))

series1.7s

Counts

4 → 10

Calls

4 calls:

543.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 7 (- z 1)) 0.5)))
348.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
842.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)))))
0.0ms	(sqrt (* PI 2))

simplify4.9s

Counts

224 → 224

Iterations

Iter	Nodes
1	3520
0	756

prune9.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize132.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ (sqrt (* PI 2)) (exp 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)))))
0.9b	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1)))) (* (/ (sqrt (* PI 2)) (exp 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))))))
0.9b	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1))))
1.0b	(sqrt (* PI 2))

rewrite31.1s

Algorithm

rewrite-expression-head

Rules

828×	`frac-add`
246×	`*-un-lft-identity`
240×	`flip3-+` `flip-+`
221×	`frac-times` `associate-*r/`
135×	`distribute-lft-out`
101×	`times-frac`
65×	`associate-l`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
54×	`unpow-prod-down`
39×	`add-exp-log`
32×	`add-cbrt-cube`
24×	`associate-r`
23×	`exp-sum`
22×	`prod-exp`
17×	`div-exp`
14×	`pow1`
12×	`cbrt-unprod`
11×	`associate-/l*`
9×	`unpow-prod-up` `distribute-lft-out--` `sqr-pow`
7×	`cbrt-undiv`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down`
4×	`pow-to-exp` `associate-/r` `associate-l/` `pow-exp` `sqrt-prod` `insert-posit16` `add-log-exp`
3×	`div-inv`
2×	`associate-+r-` `sqrt-pow1` `exp-diff` `associate-/r/` `*-commutative` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow1/2` `associate-+l-` `pow-sub` `associate-/l/`

Counts

4 → 496

Calls

4 calls:

17.2s	(* (/ (sqrt (* PI 2)) (exp 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)))))
13.6s	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1)))) (* (/ (sqrt (* PI 2)) (exp 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))))))
360.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1))))
5.0ms	(sqrt (* PI 2))

series2.0s

Counts

4 → 10

Calls

4 calls:

463.0ms	(* (/ (sqrt (* PI 2)) (exp 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.2s	(* (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1)))) (* (/ (sqrt (* PI 2)) (exp 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))))))
317.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp (+ 7 (- z 1))))
0.0ms	(sqrt (* PI 2))

simplify8.9s

Counts

506 → 506

Iterations

Iter	Nodes
1	4941
0	1162

prune23.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize182.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ (sqrt (* PI 2)) (exp 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)))))
0.9b	(* (/ (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7)) (exp (- z 1))) (* (/ (sqrt (* PI 2)) (exp 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)) (exp 7))
1.0b	(sqrt (* PI 2))

rewrite31.4s

Algorithm

rewrite-expression-head

Rules

828×	`frac-add`
442×	`*-un-lft-identity`
396×	`times-frac`
240×	`flip3-+` `flip-+`
221×	`frac-times` `associate-*r/`
206×	`associate-l`
185×	`distribute-lft-out`
166×	`add-sqr-sqrt`
161×	`add-cube-cbrt`
114×	`unpow-prod-down`
74×	`exp-sum`
47×	`add-cbrt-cube` `add-exp-log`
37×	`sub-neg`
30×	`div-exp`
27×	`prod-exp`
24×	`associate-r`
19×	`unpow-prod-up` `distribute-lft-out--` `sqr-pow`
17×	`cbrt-unprod`
14×	`pow1` `cbrt-undiv`
11×	`associate-/l*`
8×	`div-inv`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down`
4×	`pow-to-exp` `associate-*l/` `pow-exp` `sqrt-prod` `insert-posit16` `add-log-exp`
3×	`associate-/r*`
2×	`sqrt-pow1` `*-commutative` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow1/2` `exp-diff` `associate-/r/` `associate-+l-` `pow-sub` `associate-/l/`

Counts

4 → 630

Calls

4 calls:

17.4s	(* (/ (sqrt (* PI 2)) (exp 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)))))
13.6s	(* (/ (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7)) (exp (- z 1))) (* (/ (sqrt (* PI 2)) (exp 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))))))
358.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7))
5.0ms	(sqrt (* PI 2))

series1.8s

Counts

4 → 10

Calls

4 calls:

413.0ms	(* (/ (sqrt (* PI 2)) (exp 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.2s	(* (/ (/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7)) (exp (- z 1))) (* (/ (sqrt (* PI 2)) (exp 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))))))
269.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7))
0.0ms	(sqrt (* PI 2))

simplify9.5s

Counts

640 → 640

Iterations

Iter	Nodes
1	5587
0	1325

prune30.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize161.0ms

Local error

Found 4 expressions with local error:

0.9b	(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))))
1.0b	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7))
1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

238×	`*-un-lft-identity`
110×	`times-frac`
98×	`distribute-lft-out`
38×	`add-sqr-sqrt`
33×	`add-cube-cbrt`
24×	`unpow-prod-down`
22×	`associate-r`
18×	`frac-add`
16×	`associate-l`
12×	`pow1` `distribute-lft-out--`
11×	`add-cbrt-cube` `associate-/l*`
10×	`add-exp-log`
7×	`frac-times` `associate-*r/`
6×	`flip3-+` `flip-+`
5×	`sqrt-prod`
4×	`unpow-prod-up` `sqrt-pow1` `div-exp` `insert-posit16` `add-log-exp` `sqr-pow`
3×	`associate-/r*` `pow-prod-down`
2×	`cbrt-undiv` `pow1/2` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`distribute-rgt-in` `pow-to-exp` `clear-num` `frac-2neg` `distribute-lft-in` `associate-l/` `pow-exp` `-commutative` `associate-+l-` `pow-sub` `associate-/l/`

Counts

4 → 158

Calls

4 calls:

1.4s	(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))))
328.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7))
8.0ms	(sqrt (* PI 2))
3.0ms	(sqrt (* PI 2))

series730.0ms

Counts

4 → 8

Calls

4 calls:

395.0ms	(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (/ -0.13857109526572012 (+ z 5)) (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ 7 z))))))
335.0ms	(/ (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (exp 7))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify3.3s

Counts

166 → 166

Iterations

Iter	Nodes
2	5289
1	1270
0	395

prune6.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes161.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify20.0ms

Iterations

Iter	Nodes
2	80
1	80
0	57

end0.0ms

sample47.5s

Algorithm

intervals

Results

17.4s	3889×	body	10240	exit
10.3s	3440×	body	1280	valid
7.3s	2471×	body	640	valid
4.9s	1490×	body	1280	nan
2.8s	1232×	body	640	nan
1.8s	1213×	body	320	valid
1.1s	687×	body	320	nan
729.0ms	310×	body	160	nan
541.0ms	608×	body	160	valid
180.0ms	362×	body	80	valid
129.0ms	312×	body	80	nan