Details

sample1.6s

Algorithm

intervals

Results

1.3s	124×	body	10240	exit
61.0ms	261×	body	80	valid
55.0ms	51×	body	1280	nan
37.0ms	49×	body	640	nan
11.0ms	21×	body	320	nan
4.0ms	12×	body	160	nan
1.0ms	7×	body	80	nan

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	60	123
1	148	123
2	592	121
3	3587	88
done	5000	78

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.4s

Algorithm

rewrite-expression-head

Rules

630×	`frac-add`
186×	`flip3-+` `flip-+`
149×	`*-un-lft-identity`
116×	`distribute-lft-out`
82×	`associate-*l/`
81×	`pow-sub`
80×	`frac-times` `associate-*r/`
25×	`associate-r`
23×	`add-log-exp`
14×	`add-exp-log`
13×	`sum-log`
9×	`pow1` `add-cbrt-cube`
7×	`prod-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`cbrt-unprod`
2×	`+-commutative` `associate-+l+` `sqrt-pow1` `pow-prod-down`
1×	`distribute-rgt-in` `pow-to-exp` `distribute-lft-in` `pow1/2` `associate-l` `pow-exp` `sqrt-prod` `*-commutative`

Counts

4 → 257

Calls

4 calls:

1.4s	(+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ 771.3234287776531 (- 3.0 z)))
22.8s	(* (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ 771.3234287776531 (- 3.0 z))))))
1.0ms	(sqrt (* PI 2.0))
97.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series668.0ms

Counts

4 → 10

Calls

4 calls:

110.0ms	(+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ 771.3234287776531 (- 3.0 z)))
499.0ms	(* (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))) (/ 771.3234287776531 (- 3.0 z))))))
0.0ms	(sqrt (* PI 2.0))
58.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify1.4s

Counts

267 → 267

Iterations

Useful iterations: 1 (597.0ms)

Iter	Nodes	Cost
0	1016	51397
1	4765	47417
done	5000	47417

prune4.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite570.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`sum-log` `distribute-lft-out`
8×	`flip3-+` `frac-add` `flip-+`
4×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `add-cbrt-cube`

Counts

4 → 68

Calls

4 calls:

94.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
96.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
94.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
284.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series215.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
52.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
54.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
54.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify681.0ms

Counts

80 → 80

Iterations

Useful iterations: 3 (189.0ms)

Iter	Nodes	Cost
0	74	1820
1	201	1736
2	570	1600
3	1893	1552
done	5000	1552

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.5b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
2.6b	(+ (* (- 2.0 z) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -1259.1392167224028)

rewrite306.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-log-exp`
19×	`*-un-lft-identity`
10×	`sum-log`
9×	`distribute-lft-out`
7×	`flip3-+` `flip-+`
6×	`frac-add`
5×	`associate-+l+`
4×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `add-cbrt-cube`
1×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 64

Calls

4 calls:

95.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
95.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
95.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
18.0ms	(+ (* (- 2.0 z) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -1259.1392167224028)

series231.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
53.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
56.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))
65.0ms	(+ (* (- 2.0 z) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -1259.1392167224028)

simplify1.1s

Counts

76 → 76

Iterations

Useful iterations: 3 (375.0ms)

Iter	Nodes	Cost
0	112	1675
1	312	1609
2	936	1477
3	3574	1429
done	5001	1429

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.9s

Algorithm

rewrite-expression-head

Rules

348×	`frac-add`
125×	`flip3-+` `flip-+`
75×	`-un-lft-identity` `associate-l/`
61×	`frac-times`
57×	`associate-*r/`
54×	`distribute-lft-out` `pow-sub`
17×	`associate-r`
14×	`add-exp-log`
11×	`add-log-exp`
9×	`pow1` `add-cbrt-cube`
7×	`prod-exp`
6×	`flip3--` `flip--`
5×	`add-sqr-sqrt` `add-cube-cbrt` `associate-+l+`
4×	`sum-log`
3×	`distribute-rgt-in` `distribute-lft-in` `cbrt-unprod`
2×	`+-commutative` `sub-neg` `sqrt-pow1` `pow-prod-down`
1×	`pow-to-exp` `pow1/2` `associate-l` `pow-exp` `sqrt-prod` `*-commutative`

Counts

4 → 202

Calls

4 calls:

1.6s	(+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))))) (/ 771.3234287776531 (- 3.0 z)))
22.2s	(* (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))))) (/ 771.3234287776531 (- 3.0 z))))))
1.0ms	(sqrt (* PI 2.0))
73.0ms	(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028))

series1.7s

Counts

4 → 10

Calls

4 calls:

602.0ms	(+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))))) (/ 771.3234287776531 (- 3.0 z)))
982.0ms	(* (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028)) (* (- 2.0 z) (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099))))) (/ 771.3234287776531 (- 3.0 z))))))
0.0ms	(sqrt (* PI 2.0))
119.0ms	(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (- 2.0 z)) (* (+ (* (/ 676.5203681218851 (- 1.0 z)) (- (/ 676.5203681218851 (- 1.0 z)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) -1259.1392167224028))

simplify1.1s

Counts

212 → 212

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	873	67034
1	3900	60933
done	5000	60929

prune3.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes157.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	73	250
1	97	250
done	97	250

end0.0ms

sample45.7s

Algorithm

intervals

Results

40.6s	3835×	body	10240	exit
1.6s	1525×	body	1280	nan
1.5s	8100×	body	80	valid
917.0ms	1275×	body	640	nan
317.0ms	328×	body	160	nan
307.0ms	597×	body	320	nan
61.0ms	304×	body	80	nan