Details

sample101.0ms

Algorithm

intervals

Results

40.0ms	109×	body	1280	valid
23.0ms	92×	body	640	valid
13.0ms	378×	pre	80	true
5.0ms	128×	body	80	valid
4.0ms	28×	body	320	valid
2.0ms	21×	body	160	valid

simplify12.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

12.0ms

(- (exp x) 1)

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.4b

localize10.0ms

Local error

Found 1 expressions with local error:

4.9b	(- (exp x) 1)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
4×	`*-un-lft-identity`
3×	`add-log-exp`
2×	`difference-of-squares`
1×	`pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `difference-of-sqr-1` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--` `distribute-lft-out--`

Counts

1 → 17

Calls

1 calls:

Slowest

22.0ms

(- (exp x) 1)

series16.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

16.0ms

(- (exp x) 1)

simplify366.0ms

Counts

10 → 20

Calls

10 calls:

Slowest

245.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
19.0ms	(/ (exp (exp x)) (exp 1))
17.0ms	(- (exp x) 1)
16.0ms	(- (sqrt (exp x)) (sqrt 1))
15.0ms	(- (sqrt (exp x)) 1)

prune159.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x 1/6)
0.0b	(* (* x x) (+ (* x 1/6) 1/2))
0.0b	(+ x (* (* x x) (+ (* x 1/6) 1/2)))
0.0b	(+ (* x 1/6) 1/2)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt`
8×	`add-log-exp`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`flip3-+` `flip-+`
2×	`distribute-rgt-in` `+-commutative` `associate-+r+` `sum-log` `distribute-lft-in` `associate-r/` `-commutative` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

Slowest

32.0ms	(* (* x x) (+ (* x 1/6) 1/2))
7.0ms	(+ x (* (* x x) (+ (* x 1/6) 1/2)))
7.0ms	(+ (* x 1/6) 1/2)
5.0ms	(* x 1/6)

series225.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

101.0ms	(* (* x x) (+ (* x 1/6) 1/2))
62.0ms	(+ (* x 1/6) 1/2)
41.0ms	(+ x (* (* x x) (+ (* x 1/6) 1/2)))
21.0ms	(* x 1/6)

simplify3.4s

Counts

40 → 81

Calls

40 calls:

Slowest

535.0ms	(+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))
310.0ms	(* (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
298.0ms	(* (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
278.0ms	(* (exp x) (exp (* (* x x) (+ (* x 1/6) 1/2))))
265.0ms	(+ (* (* x 1/6) (* x 1/6)) (- (* 1/2 1/2) (* (* x 1/6) 1/2)))

prune555.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

4.9b	(- (exp x) 1)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
4×	`*-un-lft-identity`
3×	`add-log-exp`
2×	`difference-of-squares`
1×	`pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `difference-of-sqr-1` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--` `distribute-lft-out--`

Counts

1 → 17

Calls

1 calls:

Slowest

8.0ms

(- (exp x) 1)

series20.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

19.0ms

(- (exp x) 1)

simplify372.0ms

Counts

10 → 20

Calls

10 calls:

Slowest

244.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
26.0ms	(/ (exp (exp x)) (exp 1))
19.0ms	(- (exp x) 1)
19.0ms	(+ (sqrt (exp x)) (sqrt 1))
12.0ms	(- (sqrt (exp x)) (sqrt 1))

prune141.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

5.0b	(- (sqrt (exp x)) 1)
0.0b	(* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))
0.0b	(sqrt (exp x))
0.0b	(sqrt (exp x))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
15×	`sqrt-prod`
11×	`associate-r`
10×	`add-cube-cbrt`
8×	`pow1` `sqrt-pow1` `difference-of-squares`
6×	`exp-prod` `add-cbrt-cube` `add-exp-log` `add-log-exp`
5×	`associate-l`
4×	`frac-times` `flip3--` `difference-of-sqr-1` `insert-posit16` `flip--` `distribute-lft-out--`
3×	`sub-neg` `flip3-+` `flip-+`
2×	`distribute-rgt-in` `rem-sqrt-square` `distribute-lft-in` `pow1/2` `associate-l/` `associate-r/` `distribute-lft-out`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

Slowest

67.0ms	(* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))
11.0ms	(- (sqrt (exp x)) 1)
2.0ms	(sqrt (exp x))
2.0ms	(sqrt (exp x))

series120.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

56.0ms	(* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))
28.0ms	(- (sqrt (exp x)) 1)
19.0ms	(sqrt (exp x))
18.0ms	(sqrt (exp x))

simplify6.1s

Counts

77 → 108

Calls

77 calls:

Slowest

593.0ms	(* (+ (pow (sqrt (exp x)) 3) (pow 1 3)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)))
565.0ms	(* (+ (pow (sqrt (exp x)) 3) (pow 1 3)) (- (pow (sqrt (exp x)) 3) (pow 1 3)))
508.0ms	(* (- (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)))
498.0ms	(* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* 1 1) (* (sqrt (exp x)) 1))) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* 1 1) (* (sqrt (exp x)) 1))))
482.0ms	(* (- (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1)) (- (sqrt (exp x)) 1))

prune851.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes107.0ms

Accuracy

0% (0.4b remaining)

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

bsearch3.0ms

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.1s	3423×	body	1280	valid
513.0ms	2553×	body	640	valid
364.0ms	12060×	pre	80	true
170.0ms	4247×	body	80	valid
157.0ms	1295×	body	320	valid
42.0ms	542×	body	160	valid