Details

sample892.0ms

Algorithm

intervals

Results

608.0ms	257×	body	10240	exit
90.0ms	77×	body	1280	valid
44.0ms	16×	body	160	valid
32.0ms	47×	body	640	valid
22.0ms	187×	body	80	nan
12.0ms	86×	body	80	valid
11.0ms	24×	body	320	valid
9.0ms	4×	body	2560	valid
8.0ms	2×	body	5120	valid

simplify31.0ms

Counts: 1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.9b

localize15.0ms

Local error

Found 1 expressions with local error:

39.3b

(fmod (cosh c) (log1p a))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Counts

1 → 8

Calls

1 calls:

Slowest

1.0ms

(fmod (cosh c) (log1p a))

series10.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

10.0ms

(fmod (cosh c) (log1p a))

simplify6.4s

Counts: 11 → 11

prune138.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.8b

localize34.0ms

Local error

Found 3 expressions with local error:

39.3b	(fmod (cosh c) (log1p a))
1.1b	(log (fmod (cosh c) (log1p a)))
0.6b	(exp (log (fmod (cosh c) (log1p a))))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `log-prod` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`exp-prod` `add-exp-log`
3×	`add-cbrt-cube` `exp-sum` `insert-posit16` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 37

Calls

3 calls:

Slowest

3.0ms	(exp (log (fmod (cosh c) (log1p a))))
2.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series25.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

20.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(exp (log (fmod (cosh c) (log1p a))))

simplify1.9s

Counts: 46 → 46

prune539.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 34.6b

localize28.0ms

Local error

Found 3 expressions with local error:

39.3b	(fmod (cosh c) (log1p a))
1.1b	(log (fmod (cosh c) (log1p a)))
0.8b	(pow E (log (fmod (cosh c) (log1p a))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `log-prod`
5×	`add-exp-log`
4×	`pow-unpow`
3×	`unpow-prod-up` `unpow-prod-down` `add-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`pow-exp` `log-pow`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `rem-log-exp` `sqr-pow`

Counts

3 → 44

Calls

3 calls:

Slowest

6.0ms	(fmod (cosh c) (log1p a))
5.0ms	(pow E (log (fmod (cosh c) (log1p a))))
2.0ms	(log (fmod (cosh c) (log1p a)))

series83.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

57.0ms	(pow E (log (fmod (cosh c) (log1p a))))
21.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))

simplify2.2s

Counts: 53 → 53

prune628.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 34.6b

localize23.0ms

Local error

Found 4 expressions with local error:

39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))
1.1b	(log (sqrt (fmod (cosh c) (log1p a))))
1.1b	(log (sqrt (fmod (cosh c) (log1p a))))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
8×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-exp-log` `log-pow` `sqrt-prod`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`sqrt-pow1` `pow1/2` `rem-log-exp`

Counts

4 → 52

Calls

4 calls:

Slowest

2.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series73.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

38.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
30.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify1.1s

Counts: 64 → 64

prune795.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 34.5b

regimes557.0ms

Accuracy

0% (0.2b remaining)

Error of 33.4b against oracle of 33.2b and baseline of 33.4b

bsearch3.0ms

end0.0ms

sample16.1s

Algorithm

intervals

Results

11.6s	7901×	body	10240	exit
1.9s	2226×	body	1280	valid
926.0ms	1581×	body	640	valid
397.0ms	5377×	body	80	nan
265.0ms	2887×	body	80	valid
219.0ms	782×	body	320	valid
202.0ms	133×	body	2560	valid
91.0ms	389×	body	160	valid
6.0ms	2×	body	5120	valid