Details

sample843.0ms

Algorithm

intervals

Results

609.0ms	274×	body	10240	exit
82.0ms	73×	body	1280	valid
73.0ms	62×	body	640	valid
17.0ms	158×	body	80	nan
12.0ms	30×	body	320	valid
11.0ms	76×	body	80	valid
8.0ms	3×	body	2560	valid
4.0ms	12×	body	160	valid

simplify21.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

20.0ms

(fmod (cosh c) (log1p a))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.1b

localize14.0ms

Local error

Found 2 expressions with local error:

41.9b	(fmod (cosh c) (log1p a))
0.0b	(cosh c)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

2×	`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`
1×	`cosh-def`

Counts

2 → 21

Calls

2 calls:

Slowest

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

series115.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

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

simplify289.0ms

Counts

6 → 27

Calls

6 calls:

Slowest

195.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
52.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
23.0ms	(* 1/2 (+ (exp c) (exp (- c))))
7.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))

prune304.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 37.1b

localize16.0ms

Local error

Found 4 expressions with local error:

41.9b	(fmod (cosh c) (log1p a))
1.2b	(log (fmod (cosh c) (log1p a)))
0.6b	(exp (log (fmod (cosh c) (log1p a))))
0.0b	(cosh c)

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

Counts

4 → 54

Calls

4 calls:

Slowest

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

series122.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

79.0ms	(cosh c)
34.0ms	(log (fmod (cosh c) (log1p a)))
5.0ms	(exp (log (fmod (cosh c) (log1p a))))
4.0ms	(fmod (cosh c) (log1p a))

simplify743.0ms

Counts

24 → 66

Calls

24 calls:

Slowest

218.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
139.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
54.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
51.0ms	(exp (sqrt (log (fmod (cosh c) (log1p a)))))
44.0ms	(* 1/2 (+ (exp c) (exp (- c))))

prune887.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 36.8b

localize50.0ms

Local error

Found 4 expressions with local error:

41.9b	(fmod (cosh c) (log1p a))
41.9b	(fmod (cosh c) (log1p a))
41.9b	(fmod (cosh c) (log1p a))
1.2b	(log (fmod (cosh c) (log1p a)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 45

Calls

4 calls:

Slowest

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

series55.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify267.0ms

Counts

16 → 57

Calls

16 calls:

Slowest

62.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
39.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
22.0ms	(log (fmod (cosh c) (log1p a)))
13.0ms	(fmod (cosh c) (log1p a))
12.0ms	(log (fmod (cosh c) (log1p a)))

prune1.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 36.8b

localize31.0ms

Local error

Found 4 expressions with local error:

41.9b	(fmod (cosh c) (log1p a))
41.9b	(fmod (cosh c) (log1p a))
41.9b	(fmod (cosh c) (log1p a))
1.2b	(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×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`log-prod`
1×	`rem-log-exp` `log-pow`

Counts

4 → 45

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

series41.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

30.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify184.0ms

Counts

16 → 57

Calls

16 calls:

Slowest

37.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
26.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
22.0ms	(log (fmod (cosh c) (log1p a)))
15.0ms	(log (fmod (cosh c) (log1p a)))
15.0ms	(log (fmod (cosh c) (log1p a)))

prune842.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 36.8b

regimes706.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample20.0s

Algorithm

intervals

Results

14.8s	7929×	body	10240	exit
2.1s	2359×	body	1280	valid
789.0ms	1602×	body	640	valid
735.0ms	2703×	body	80	valid
490.0ms	5299×	body	80	nan
298.0ms	780×	body	320	valid
261.0ms	158×	body	2560	valid
86.0ms	393×	body	160	valid
14.0ms	5×	body	5120	valid