Details

sample659.0ms

Algorithm

intervals

Results

456.0ms	231×	body	10240	exit
97.0ms	68×	body	1280	valid
26.0ms	49×	body	640	valid
16.0ms	9×	body	2560	valid
16.0ms	175×	body	80	nan
11.0ms	30×	body	320	valid
10.0ms	90×	body	80	valid
3.0ms	10×	body	160	valid

simplify26.0ms

Calls

1 calls:

Slowest

26.0ms

(fmod (cosh c) (log1p a))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.9b

localize53.0ms

Local error

Found 1 expressions with local error:

38.5b

(fmod (cosh c) (log1p a))

rewrite4.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`

Calls

1 calls:

Slowest

1.0ms

(fmod (cosh c) (log1p a))

series16.0ms

Calls

1 calls:

Slowest

16.0ms

(fmod (cosh c) (log1p a))

simplify32.0ms

Calls

3 calls:

Slowest

11.0ms	(fmod (cosh c) (log1p a))
10.0ms	(fmod (cosh c) (log1p a))
10.0ms	(fmod (cosh c) (log1p a))

prune172.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 33.8b

localize11.0ms

Local error

Found 3 expressions with local error:

38.5b	(fmod (cosh c) (log1p a))
1.1b	(log (fmod (cosh c) (log1p a)))
0.5b	(exp (log (fmod (cosh c) (log1p a))))

rewrite14.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`

Calls

3 calls:

Slowest

8.0ms	(log (fmod (cosh c) (log1p a)))
5.0ms	(exp (log (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))

series33.0ms

Calls

3 calls:

Slowest

26.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))
2.0ms	(exp (log (fmod (cosh c) (log1p a))))

simplify339.0ms

Calls

21 calls:

Slowest

53.0ms	(exp (sqrt (log (fmod (cosh c) (log1p a)))))
43.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
42.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
37.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
36.0ms	(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))

prune694.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 33.7b

localize5.0ms

Local error

Found 3 expressions with local error:

38.5b	(fmod (cosh c) (log1p a))
1.1b	(log (fmod (cosh c) (log1p a)))
0.6b	(pow E (log (fmod (cosh c) (log1p a))))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

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

series95.0ms

Calls

3 calls:

Slowest

65.0ms	(pow E (log (fmod (cosh c) (log1p a))))
25.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))

simplify403.0ms

Calls

20 calls:

Slowest

42.0ms	(pow E (log (fmod (cosh c) (log1p a))))
41.0ms	(pow E (log (sqrt (fmod (cosh c) (log1p a)))))
41.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
35.0ms	(sqrt (log (fmod (cosh c) (log1p a))))
24.0ms	(log (fmod (cosh c) (log1p a)))

prune680.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 33.7b

localize11.0ms

Local error

Found 4 expressions with local error:

38.5b	(fmod (cosh c) (log1p a))
38.5b	(fmod (cosh c) (log1p a))
38.5b	(fmod (cosh c) (log1p a))
1.1b	(log (fmod (cosh c) (log1p a)))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

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

series43.0ms

Calls

4 calls:

Slowest

35.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify198.0ms

Calls

16 calls:

Slowest

53.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
22.0ms	(log (fmod (cosh c) (log1p a)))
20.0ms	(log (fmod (cosh c) (log1p a)))
18.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
12.0ms	(log (fmod (cosh c) (log1p a)))

prune860.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 33.7b

regimes956.0ms

Accuracy

0% (0.2b remaining)

Error of 34.1b against oracle of 33.9b and baseline of 34.1b

bsearch7.0ms

end0.0ms

sample19.4s

Algorithm

intervals

Results

14.1s	8029×	body	10240	exit
1.9s	2327×	body	1280	valid
1.2s	1567×	body	640	valid
778.0ms	5335×	body	80	nan
356.0ms	163×	body	2560	valid
319.0ms	2779×	body	80	valid
232.0ms	761×	body	320	valid
111.0ms	395×	body	160	valid
18.0ms	8×	body	5120	valid