Details

sample867.0ms

Algorithm

intervals

Results

643.0ms	269×	body	10240	exit
90.0ms	79×	body	1280	valid
34.0ms	48×	body	640	valid
20.0ms	176×	body	80	nan
20.0ms	9×	body	2560	valid
14.0ms	88×	body	80	valid
10.0ms	22×	body	320	valid
3.0ms	9×	body	160	valid
3.0ms	1×	body	5120	valid

simplify29.0ms

Counts: 1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize29.0ms

Local error

Found 1 expressions with local error:

39.0b

(fmod (cosh c) (log1p a))

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

series10.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

9.0ms

(fmod (cosh c) (log1p a))

simplify7.9s

Counts: 13 → 13

prune193.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.2b

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

rewrite12.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×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `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 → 88

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

series23.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

14.0ms	(sqrt (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))
3.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))

simplify2.3s

Counts: 100 → 100

prune944.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 34.2b

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

4 → 40

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

series15.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify6.7s

Counts: 52 → 52

prune730.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 34.2b

localize28.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 (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
22×	`sqrt-prod`
16×	`pow1`
12×	`sqrt-pow1`
9×	`-un-lft-identity` `associate-l*` `add-cube-cbrt`
8×	`pow1/2`
6×	`add-cbrt-cube` `associate-r` `add-exp-log` `pow-prod-up` `unswap-sqr`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down`
2×	`pow-plus` `cube-unmult`
1×	`sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 78

Calls

4 calls:

Slowest

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

series83.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify1.3s

Counts: 90 → 90

prune1.1s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 34.2b

regimes450.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample15.3s

Algorithm

intervals

Results

11.2s	7745×	body	10240	exit
1.6s	2371×	body	1280	valid
663.0ms	5228×	body	80	nan
663.0ms	1547×	body	640	valid
256.0ms	2736×	body	80	valid
203.0ms	772×	body	320	valid
181.0ms	140×	body	2560	valid
97.0ms	429×	body	160	valid
28.0ms	5×	body	5120	valid