Details

sample771.0ms

Algorithm

intervals

Results

520.0ms	236×	body	10240	exit
101.0ms	75×	body	1280	valid
49.0ms	152×	body	80	nan
40.0ms	62×	body	640	valid
13.0ms	83×	body	80	valid
8.0ms	17×	body	320	valid
6.0ms	4×	body	2560	valid
4.0ms	15×	body	160	valid

simplify20.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

19.0ms

(fmod (cosh c) (log1p a))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.2b

localize23.0ms

Local error

Found 1 expressions with local error:

40.1b

(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`

Counts

1 → 8

Calls

1 calls:

Slowest

1.0ms

(fmod (cosh c) (log1p a))

series16.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

15.0ms

(fmod (cosh c) (log1p a))

simplify314.0ms

Counts

11 → 11

Calls

11 calls:

Slowest

107.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
45.0ms	(* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
32.0ms	(exp (fmod (cosh c) (log1p a)))
24.0ms	(log (fmod (cosh c) (log1p a)))
23.0ms	(sqrt (fmod (cosh c) (log1p a)))

prune150.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.2b

localize31.0ms

Local error

Found 3 expressions with local error:

40.1b	(fmod (cosh c) (log1p a))
0.9b	(log (fmod (cosh c) (log1p a)))
0.5b	(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))

series29.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

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

simplify1.5s

Counts

50 → 46

Calls

50 calls:

Slowest

121.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
96.0ms	(* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
85.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
72.0ms	(* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
62.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))

prune575.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 35.0b

localize60.0ms

Local error

Found 4 expressions with local error:

40.1b	(fmod (cosh c) (log1p a))
40.1b	(fmod (cosh c) (log1p a))
40.1b	(fmod (cosh c) (log1p a))
0.9b	(log (fmod (cosh c) (log1p a)))

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

Counts

4 → 37

Calls

4 calls:

Slowest

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

series35.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

22.0ms	(log (fmod (cosh c) (log1p a)))
5.0ms	(fmod (cosh c) (log1p a))
4.0ms	(fmod (cosh c) (log1p a))
4.0ms	(fmod (cosh c) (log1p a))

simplify1.6s

Counts

51 → 49

Calls

51 calls:

Slowest

447.0ms	(* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
91.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
84.0ms	(* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
76.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
62.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))

prune802.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 35.0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.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

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

series18.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify1.1s

Counts

44 → 44

Calls

44 calls:

Slowest

109.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
106.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
78.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
58.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
52.0ms	(* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))

prune790.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 35.0b

regimes739.0ms

Accuracy

0% (0.2b remaining)

Error of 34.7b against oracle of 34.5b and baseline of 34.7b

bsearch2.0ms

end0.0ms

sample19.6s

Algorithm

intervals

Results

14.8s	7901×	body	10240	exit
2.0s	2336×	body	1280	valid
889.0ms	1712×	body	640	valid
468.0ms	5320×	body	80	nan
330.0ms	2690×	body	80	valid
278.0ms	741×	body	320	valid
206.0ms	129×	body	2560	valid
84.0ms	383×	body	160	valid
17.0ms	9×	body	5120	valid