Details

sample742.0ms

Algorithm

intervals

Results

546.0ms	257×	body	10240	exit
79.0ms	77×	body	1280	valid
27.0ms	47×	body	640	valid
19.0ms	187×	body	80	nan
11.0ms	24×	body	320	valid
11.0ms	86×	body	80	valid
9.0ms	2×	body	5120	valid
8.0ms	4×	body	2560	valid
5.0ms	16×	body	160	valid

simplify56.0ms

Counts: 1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.9b

localize24.0ms

Local error

Found 1 expressions with local error:

39.3b

(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

Slowest

1.0ms

(fmod (cosh c) (log1p a))

series17.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

17.0ms

(fmod (cosh c) (log1p a))

simplify7.9s

Counts: 13 → 13

prune161.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.8b

localize15.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×	`expm1-log1p-u` `add-cbrt-cube` `exp-sum` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 43

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))

series45.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

37.0ms	(log (fmod (cosh c) (log1p a)))
5.0ms	(exp (log (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))

simplify1.7s

Counts: 52 → 52

prune606.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 34.5b

localize37.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))))

rewrite5.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×	`expm1-log1p-u` `unpow-prod-up` `unpow-prod-down` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-exp` `log-pow`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `rem-log-exp` `sqr-pow`

Counts

3 → 50

Calls

3 calls:

Slowest

3.0ms	(pow E (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series83.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

57.0ms	(pow E (log (fmod (cosh c) (log1p a))))
23.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify2.5s

Counts: 59 → 59

prune652.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 34.5b

localize34.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))))

rewrite5.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×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`sqrt-pow1` `pow1/2` `rem-log-exp`

Counts

4 → 60

Calls

4 calls:

Slowest

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

series64.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

33.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
26.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify1.4s

Counts: 72 → 72

prune919.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 34.5b

regimes750.0ms

Accuracy

0% (0.3b remaining)

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

bsearch5.0ms

end0.0ms

sample15.6s

Algorithm

intervals

Results

11.6s	7901×	body	10240	exit
1.9s	2226×	body	1280	valid
651.0ms	1581×	body	640	valid
388.0ms	5377×	body	80	nan
283.0ms	2887×	body	80	valid
208.0ms	782×	body	320	valid
180.0ms	133×	body	2560	valid
68.0ms	389×	body	160	valid
4.0ms	2×	body	5120	valid