Details

sample341.0ms

Algorithm

intervals

Results

106.0ms	99×	body	1280	valid
63.0ms	31×	body	10240	exit
42.0ms	53×	body	640	valid
28.0ms	27×	body	1280	nan
22.0ms	144×	body	80	valid
16.0ms	140×	body	80	nan
15.0ms	17×	body	640	nan
12.0ms	25×	body	320	valid
7.0ms	14×	body	320	nan
4.0ms	11×	body	160	valid
2.0ms	6×	body	160	nan

simplify14.0ms

Calls

1 calls:

Slowest

14.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.9b

localize20.0ms

Local error

Found 3 expressions with local error:

1.5b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.5b	(pow x (/ 1 n))
0.5b	(pow (+ x 1) (/ 1 n))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`pow-unpow` `*-un-lft-identity`
6×	`add-cube-cbrt`
5×	`add-log-exp`
4×	`pow1` `unpow-prod-down` `add-exp-log`
3×	`add-cbrt-cube` `insert-posit16`
2×	`pow-to-exp` `div-inv` `difference-of-squares`
1×	`sub-neg` `pow-pow` `flip3--` `diff-log` `pow-exp` `flip--` `distribute-lft-out--`

Calls

3 calls:

Slowest

20.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
4.0ms	(pow (+ x 1) (/ 1 n))
2.0ms	(pow x (/ 1 n))

series469.0ms

Calls

3 calls:

Slowest

275.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
97.0ms	(pow x (/ 1 n))
96.0ms	(pow (+ x 1) (/ 1 n))

simplify1.7s

Calls

28 calls:

Slowest

300.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
293.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
237.0ms	(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))
208.0ms	(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
185.0ms	(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune505.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 18.3b

localize13.0ms

Local error

Found 4 expressions with local error:

1.5b	(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
1.5b	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
0.5b	(pow x (/ 1 n))
0.5b	(pow (+ 1 x) (/ 1 n))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
9×	`add-cube-cbrt`
8×	`pow-unpow`
7×	`log-pow`
6×	`pow1` `exp-prod` `add-log-exp`
5×	`log-prod` `unpow-prod-down` `add-exp-log`
4×	`add-cbrt-cube` `insert-posit16` `difference-of-squares`
2×	`pow-to-exp` `sub-neg` `exp-sum` `div-inv` `distribute-lft-out--`
1×	`log-div` `pow-pow` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `pow-exp` `flip--`

Calls

4 calls:

Slowest

32.0ms	(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
13.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0ms	(pow (+ 1 x) (/ 1 n))
1.0ms	(pow x (/ 1 n))

series670.0ms

Calls

4 calls:

Slowest

239.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
239.0ms	(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
101.0ms	(pow (+ 1 x) (/ 1 n))
90.0ms	(pow x (/ 1 n))

simplify2.7s

Calls

44 calls:

Slowest

339.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
336.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
327.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
220.0ms	(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))
218.0ms	(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune949.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.3b

localize11.0ms

Local error

Found 4 expressions with local error:

1.5b	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
1.5b	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
0.5b	(pow x (/ 1 n))
0.5b	(pow x (/ 1 n))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
8×	`pow-unpow` `add-log-exp`
6×	`add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `difference-of-squares`
2×	`pow-to-exp` `sub-neg` `unpow-prod-down` `flip3--` `diff-log` `div-inv` `flip--` `distribute-lft-out--`

Calls

4 calls:

Slowest

10.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
9.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
1.0ms	(pow x (/ 1 n))
1.0ms	(pow x (/ 1 n))

series709.0ms

Calls

4 calls:

Slowest

295.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
215.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
108.0ms	(pow x (/ 1 n))
91.0ms	(pow x (/ 1 n))

simplify2.5s

Calls

32 calls:

Slowest

361.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
319.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
312.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
248.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
225.0ms	(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.2b

localize17.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n)))))
1.5b	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
0.6b	(log (exp (sqrt (- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n))))))))
0.5b	(pow x (/ 1 n))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
13×	`log-pow`
10×	`exp-prod`
9×	`add-cube-cbrt`
7×	`pow1` `sqrt-prod` `add-log-exp`
6×	`log-prod` `difference-of-squares`
5×	`distribute-lft-out--`
4×	`pow-unpow` `add-cbrt-cube` `add-exp-log` `insert-posit16`
3×	`unpow-prod-down` `associate--r+`
2×	`sub-neg` `flip3--` `diff-log` `flip--`
1×	`pow-to-exp` `rem-log-exp` `div-inv`

Calls

4 calls:

Slowest

28.0ms	(log (exp (sqrt (- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n))))))))
14.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
13.0ms	(- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n)))))
1.0ms	(pow x (/ 1 n))

series1.1s

Calls

4 calls:

Slowest

485.0ms	(log (exp (sqrt (- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n))))))))
274.0ms	(- (pow (+ 1 x) (/ 1 n)) (log (exp (pow x (/ 1 n)))))
228.0ms	(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
92.0ms	(pow x (/ 1 n))

simplify2.5s

Calls

46 calls:

Slowest

327.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
308.0ms	(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
301.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
229.0ms	(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
206.0ms	(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.2b

regimes272.0ms

Accuracy

85.3% (1.3b remaining)

Error of 22.0b against oracle of 20.6b and baseline of 29.5b

bsearch12.0ms

end0.0ms

sample10.2s

Algorithm

intervals

Results

3.2s	3158×	body	1280	valid
2.0s	1099×	body	10240	exit
1.2s	1631×	body	640	valid
773.0ms	672×	body	1280	nan
680.0ms	4671×	body	80	valid
648.0ms	5011×	body	80	nan
460.0ms	844×	body	320	valid
442.0ms	608×	body	640	nan
189.0ms	425×	body	160	valid
156.0ms	333×	body	320	nan
71.0ms	170×	body	160	nan