Details

sample928.0ms

Algorithm

intervals

Results

645.0ms	269×	body	10240	exit
156.0ms	79×	body	1280	valid
30.0ms	48×	body	640	valid
19.0ms	176×	body	80	nan
17.0ms	9×	body	2560	valid
12.0ms	88×	body	80	valid
10.0ms	22×	body	320	valid
3.0ms	9×	body	160	valid
1.0ms	1×	body	5120	valid

simplify53.0ms

Counts: 1 → 1

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize24.0ms

Local error

Found 1 expressions with local error:

39.0b

(fmod (cosh c) (log1p a))

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

series35.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

35.0ms

(fmod (cosh c) (log1p a))

simplify6.3s

Counts: 11 → 11

prune151.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.2b

localize36.0ms

Local error

Found 4 expressions with local error:

39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0b	(sqrt (fmod (cosh c) (log1p a)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
13×	`*-un-lft-identity` `add-cube-cbrt`
9×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log`
5×	`pow-prod-up`
4×	`insert-posit16` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
1×	`pow2` `rem-sqrt-square` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 80

Calls

4 calls:

Slowest

9.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
1.0ms	(sqrt (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series21.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

13.0ms	(sqrt (fmod (cosh c) (log1p a)))
3.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify2.5s

Counts: 92 → 92

prune1.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 34.2b

localize26.0ms

Local error

Found 4 expressions with local error:

39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 32

Calls

4 calls:

Slowest

0.0ms	(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))

series11.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify4.7s

Counts: 44 → 44

prune617.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 34.2b

localize20.0ms

Local error

Found 4 expressions with local error:

39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))
39.0b	(fmod (cosh c) (log1p a))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
22×	`sqrt-prod`
15×	`pow1`
11×	`sqrt-pow1`
9×	`-un-lft-identity` `associate-r*` `add-cube-cbrt`
7×	`pow1/2`
6×	`add-cbrt-cube` `associate-l` `add-exp-log` `pow-prod-up` `unswap-sqr`
4×	`insert-posit16` `add-log-exp`
3×	`pow-prod-down`
2×	`pow3`
1×	`sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 68

Calls

4 calls:

Slowest

10.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (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))

series90.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

81.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify1.3s

Counts: 80 → 80

prune916.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 34.2b

regimes512.0ms

Accuracy

0% (0.0b remaining)

Error of 34.4b against oracle of 34.4b and baseline of 34.4b

bsearch2.0ms

end0.0ms

sample16.3s

Algorithm

intervals

Results

12.2s	7745×	body	10240	exit
2.0s	2371×	body	1280	valid
618.0ms	1547×	body	640	valid
381.0ms	5228×	body	80	nan
258.0ms	2736×	body	80	valid
202.0ms	140×	body	2560	valid
196.0ms	772×	body	320	valid
79.0ms	429×	body	160	valid
8.0ms	5×	body	5120	valid