Details

sample381.0ms

Algorithm

intervals

Results

119.0ms	105×	body	1280	valid
57.0ms	17×	body	1280	nan
49.0ms	63×	body	640	valid
36.0ms	33×	body	10240	exit
29.0ms	163×	body	80	valid
22.0ms	182×	body	80	nan
19.0ms	21×	body	640	nan
14.0ms	26×	body	320	valid
4.0ms	14×	body	160	valid
4.0ms	7×	body	320	nan
2.0ms	8×	body	160	nan

simplify316.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

316.0ms

(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize35.0ms

Local error

Found 3 expressions with local error:

1.7b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b	(pow (+ x 1) (/ 1 n))
0.3b	(pow x (/ 1 n))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
26×	`pow-unpow`
19×	`add-cube-cbrt`
18×	`times-frac`
17×	`unpow-prod-down`
9×	`difference-of-squares`
8×	`sqr-pow`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`add-cbrt-cube` `insert-posit16` `distribute-lft-out--`
2×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 82

Calls

3 calls:

Slowest

59.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
10.0ms	(pow (+ x 1) (/ 1 n))
3.0ms	(pow x (/ 1 n))

series450.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

283.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
98.0ms	(pow (+ x 1) (/ 1 n))
68.0ms	(pow x (/ 1 n))

simplify9.4s

Counts

69 → 91

Calls

69 calls:

Slowest

586.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
566.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
523.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))
494.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))
475.0ms	(+ (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 22.6b

localize22.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b	(pow (+ x 1) (/ 1 n))
0.3b	(pow x (/ 1 n))
0.1b	(exp (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
27×	`unpow-prod-down`
26×	`pow-unpow`
22×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
15×	`log-prod` `exp-sum`
14×	`sqr-pow`
7×	`pow1`
6×	`add-exp-log` `distribute-lft-out--` `add-log-exp`
4×	`exp-prod` `add-cbrt-cube` `insert-posit16`
3×	`distribute-lft-out`
2×	`pow-to-exp` `log-div` `pow-pow` `flip3--` `exp-diff` `pow-exp` `div-inv` `flip--`
1×	`sub-neg` `diff-log` `log-pow` `rem-exp-log`

Counts

4 → 112

Calls

4 calls:

Slowest

97.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
33.0ms	(exp (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
8.0ms	(pow (+ x 1) (/ 1 n))
3.0ms	(pow x (/ 1 n))

series624.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

247.0ms	(exp (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
226.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
92.0ms	(pow (+ x 1) (/ 1 n))
58.0ms	(pow x (/ 1 n))

simplify15.0s

Counts

94 → 124

Calls

94 calls:

Slowest

801.0ms	(exp (log (+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))))
559.0ms	(exp (log (+ (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))))
507.0ms	(exp (log (+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))
498.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
494.0ms	(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 22.6b

localize32.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b	(pow (+ x 1) (/ 1 n))
0.3b	(pow x (/ 1 n))
0.1b	(pow E (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
30×	`pow-unpow` `unpow-prod-down`
23×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
15×	`unpow-prod-up` `log-prod` `sqr-pow`
8×	`pow1`
7×	`add-exp-log`
6×	`distribute-lft-out--` `add-log-exp`
4×	`add-cbrt-cube` `pow-exp` `insert-posit16`
3×	`pow-to-exp` `pow-pow` `distribute-lft-out`
2×	`log-div` `flip3--` `div-inv` `flip--` `pow-sub`
1×	`e-exp-1` `sub-neg` `diff-log` `log-pow`

Counts

4 → 119

Calls

4 calls:

Slowest

65.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
49.0ms	(pow E (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
7.0ms	(pow (+ x 1) (/ 1 n))
3.0ms	(pow x (/ 1 n))

series730.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

268.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
252.0ms	(pow E (log (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
137.0ms	(pow (+ x 1) (/ 1 n))
73.0ms	(pow x (/ 1 n))

simplify18.6s

Counts

98 → 131

Calls

98 calls:

Slowest

549.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))
541.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
534.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))
520.0ms	(pow E (log (- (pow (sqrt (+ x 1)) (/ 1 n)) (pow x (/ (/ 1 n) 2)))))
469.0ms	(pow E (log (- (pow (+ x 1) (/ (/ 1 n) 2)) (pow x (/ (/ 1 n) 2)))))

prune1.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 22.4b

localize52.0ms

Local error

Found 4 expressions with local error:

1.8b	(+ (+ (/ (/ 1 n) x) 0) (* (/ (/ 1 n) x) (- (/ (log x) n) (/ 1/2 x))))
0.3b	(/ (/ 1 n) x)
0.3b	(/ (/ 1 n) x)
0.2b	(/ (log x) n)

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
97×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
30×	`associate-/l*`
24×	`add-exp-log`
16×	`add-cbrt-cube`
14×	`frac-add`
13×	`div-exp`
11×	`div-inv`
9×	`associate-/r*` `add-log-exp`
8×	`pow1` `flip3-+` `flip-+`
7×	`cbrt-undiv`
6×	`frac-times` `associate-*r/`
4×	`associate-+r+` `flip3--` `log-pow` `frac-sub` `insert-posit16` `flip--`
3×	`clear-num` `sum-log` `frac-2neg`
2×	`distribute-rgt-in` `rec-exp` `sub-neg` `distribute-lft-in` `1-exp` `associate-*l/` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

4 → 210

Calls

4 calls:

Slowest

108.0ms	(+ (+ (/ (/ 1 n) x) 0) (* (/ (/ 1 n) x) (- (/ (log x) n) (/ 1/2 x))))
13.0ms	(/ (/ 1 n) x)
11.0ms	(/ (log x) n)
7.0ms	(/ (/ 1 n) x)

series183.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

76.0ms	(/ (log x) n)
71.0ms	(+ (+ (/ (/ 1 n) x) 0) (* (/ (/ 1 n) x) (- (/ (log x) n) (/ 1/2 x))))
18.0ms	(/ (/ 1 n) x)
18.0ms	(/ (/ 1 n) x)

simplify20.2s

Counts

271 → 222

Calls

271 calls:

Slowest

1.5s	(* (- (/ (/ 1 n) x) 0) (* n x))
620.0ms	(* (+ (* (/ (/ 1 n) x) (/ (/ 1 n) x)) (- (* 0 0) (* (/ (/ 1 n) x) 0))) (* x (+ (/ (log x) n) (/ 1/2 x))))
579.0ms	(+ (* (- (* (/ (/ 1 n) x) (/ (/ 1 n) x)) (* 0 0)) (* x (* n x))) (* (- (/ (/ 1 n) x) 0) (* (/ 1 n) (- (* (log x) x) (* n 1/2)))))
568.0ms	(* (exp (+ (/ (/ 1 n) x) 0)) (exp (* (/ (/ 1 n) x) (- (/ (log x) n) (/ 1/2 x)))))
512.0ms	(+ (* (+ (pow (/ (/ 1 n) x) 3) (pow 0 3)) (+ (* (/ (log x) n) (/ (log x) n)) (+ (* (/ 1/2 x) (/ 1/2 x)) (* (/ (log x) n) (/ 1/2 x))))) (* (+ (* (/ (/ 1 n) x) (/ (/ 1 n) x)) (- (* 0 0) (* (/ (/ 1 n) x) 0))) (* (/ (/ 1 n) x) (- (pow (/ (log x) n) 3) (pow (/ 1/2 x) 3)))))

prune2.5s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 22.2b

regimes786.0ms

Accuracy

80.9% (1.8b remaining)

Error of 22.8b against oracle of 21.0b and baseline of 30.2b

bsearch255.0ms

end0.0ms

sample11.2s

Algorithm

intervals

Results

3.7s	3187×	body	1280	valid
1.8s	1598×	body	640	valid
1.6s	1094×	body	10240	exit
759.0ms	628×	body	1280	nan
742.0ms	4699×	body	80	valid
687.0ms	4945×	body	80	nan
577.0ms	638×	body	640	nan
494.0ms	876×	body	320	valid
178.0ms	348×	body	320	nan
171.0ms	439×	body	160	valid
63.0ms	204×	body	160	nan