Details

sample89.0ms

Algorithm

intervals

Results

34.0ms	69×	body	1280	valid
17.0ms	48×	body	640	valid
14.0ms	202×	body	80	valid
8.0ms	33×	body	320	valid
5.0ms	13×	body	160	valid

simplify14.0ms

Calls

1 calls:

Slowest

14.0ms

(/ (- (exp x) 1) x)

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (expm1 x) x)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-/l*`
2×	`add-cube-cbrt`
2×	`*-un-lft-identity`
2×	`add-sqr-sqrt`
1×	`add-log-exp`
1×	`expm1-udef`
1×	`div-inv`
1×	`log1p-expm1-u`
1×	`add-exp-log`
1×	`div-sub`
1×	`add-cbrt-cube`
1×	`frac-2neg`
1×	`clear-num`
1×	`pow1`
1×	`expm1-log1p-u`

Calls

1 calls:

Slowest

3.0ms

(/ (expm1 x) x)

series26.0ms

Calls

1 calls:

Slowest

26.0ms

(/ (expm1 x) x)

simplify580.0ms

Calls

6 calls:

Slowest

497.0ms	(* -1 (/ (- 1 (exp x)) x))
71.0ms	(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
7.0ms	(/ (- (exp x) 1) x)
1.0ms	(* (cbrt (expm1 x)) (cbrt (expm1 x)))
1.0ms	(/ (exp x) x)

prune148.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1 (/ x (expm1 x)))
0.0b	(/ x (expm1 x))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/r*`
4×	`add-cube-cbrt`
4×	`*-un-lft-identity`
4×	`add-sqr-sqrt`
3×	`div-inv`
3×	`add-exp-log`
3×	`pow1`
2×	`add-log-exp`
2×	`log1p-expm1-u`
2×	`add-cbrt-cube`
2×	`frac-2neg`
2×	`clear-num`
2×	`expm1-log1p-u`
1×	`inv-pow`
1×	`pow-flip`
1×	`associate-/r/`
1×	`rec-exp`

Calls

2 calls:

Slowest

1.0ms	(/ 1 (/ x (expm1 x)))
1.0ms	(/ x (expm1 x))

series79.0ms

Calls

2 calls:

Slowest

40.0ms	(/ x (expm1 x))
39.0ms	(/ 1 (/ x (expm1 x)))

simplify244.0ms

Calls

15 calls:

Slowest

85.0ms	(* -1 (/ (- 1 (exp x)) x))
67.0ms	(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
52.0ms	(- (+ (* 1/12 (pow x 2)) 1) (* 1/2 x))
13.0ms	(/ (- (exp x) 1) x)
5.0ms	(/ x (- (exp x) 1))

prune261.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes30.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.1s

Algorithm

intervals

Results

961.0ms	2294×	body	1280	valid
442.0ms	1587×	body	640	valid
335.0ms	5614×	body	80	valid
182.0ms	869×	body	320	valid
47.0ms	422×	body	160	valid