Details

sample301.0ms

Algorithm

intervals

Results

85.0ms	256×	body	80	valid
56.0ms	745×	body	80	nan

simplify36.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

36.0ms

(- (log (- (/ 1 x) 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize136.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ 1 x) 1)

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-sqr-sqrt`
51×	`*-un-lft-identity`
42×	`times-frac` `add-cube-cbrt`
39×	`prod-diff`
13×	`fma-neg`
6×	`add-exp-log` `difference-of-squares`
5×	`div-inv`
4×	`expm1-def`
3×	`difference-of-sqr-1` `add-log-exp`
2×	`div-exp` `distribute-lft-out--`
1×	`expm1-log1p-u` `pow1` `rec-exp` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `1-exp` `insert-posit16` `log1p-expm1-u` `flip--`

Counts

1 → 82

Calls

1 calls:

Slowest

35.0ms

(- (/ 1 x) 1)

series52.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

51.0ms

(- (/ 1 x) 1)

simplify3.3s

Counts

114 → 85

Calls

114 calls:

Slowest

115.0ms	(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
115.0ms	(fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
114.0ms	(fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
97.0ms	(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
94.0ms	(fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))

prune576.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

5.7b	(expm1 (- (log 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 (- (log x)))

series283.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

283.0ms

(expm1 (- (log x)))

simplify179.0ms

Counts

4 → 15

Calls

4 calls:

Slowest

135.0ms	(- (exp (- (log (/ -1 x)) (log -1))) 1)
22.0ms	(- (exp (- (log x))) 1)
17.0ms	(- (/ 1 x) 1)
5.0ms	(- (log x))

prune98.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes163.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample3.2s

Algorithm

intervals

Results

2.1s	24001×	body	80	nan
648.0ms	8000×	body	80	valid