Details

sample75.0ms

Algorithm

intervals

Results

29.0ms	109×	body	1280	valid
16.0ms	92×	body	640	valid
10.0ms	378×	pre	80	true
4.0ms	128×	body	80	valid
3.0ms	28×	body	320	valid
2.0ms	21×	body	160	valid

simplify13.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

13.0ms

(- (exp x) 1)

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b

(expm1 x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

2×	`log1p-expm1-u`
1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `expm1-log1p` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `expm1-udef` `add-log-exp`

Counts

1 → 12

Calls

1 calls:

Slowest

0.0ms

(expm1 x)

series15.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

15.0ms

(expm1 x)

simplify282.0ms

Counts

3 → 15

Calls

3 calls:

Slowest

261.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
12.0ms	(- (exp x) 1)
8.0ms	(- (exp x) 1)

prune90.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

4.9b	(- (exp x) 1)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
9×	`prod-diff`
8×	`add-cube-cbrt`
3×	`fma-neg` `add-log-exp`
2×	`difference-of-squares`
1×	`expm1-log1p-u` `pow1` `expm1-def` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `difference-of-sqr-1` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--`

Counts

1 → 32

Calls

1 calls:

Slowest

9.0ms

(- (exp x) 1)

series15.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

15.0ms

(- (exp x) 1)

simplify1.0s

Counts

30 → 35

Calls

30 calls:

Slowest

259.0ms	(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
92.0ms	(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1))))
71.0ms	(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
60.0ms	(fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1)))
55.0ms	(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1) (sqrt 1))))

prune201.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes66.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.0s	3423×	body	1280	valid
939.0ms	2553×	body	640	valid
349.0ms	12060×	pre	80	true
190.0ms	4247×	body	80	valid
155.0ms	1295×	body	320	valid
67.0ms	542×	body	160	valid