Details

sample679.0ms

Algorithm

intervals

Results

503.0ms	243×	body	10240	exit
70.0ms	73×	body	1280	valid
30.0ms	52×	body	640	valid
15.0ms	157×	body	80	nan
12.0ms	6×	body	2560	valid
12.0ms	89×	body	80	valid
9.0ms	24×	body	320	valid
3.0ms	12×	body	160	valid

simplify62.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

62.0ms

(fmod (cosh c) (log1p a))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

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

series70.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

60.0ms	(cosh c)
9.0ms	(fmod (cosh c) (log1p a))

simplify313.0ms

Counts

6 → 27

Calls

6 calls:

Slowest

227.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
42.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
25.0ms	(* 1/2 (+ (exp c) (exp (- c))))
6.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))

prune239.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.0b

localize23.0ms

Local error

Found 4 expressions with local error:

38.7b	(fmod (cosh c) (log1p a))
1.4b	(log (fmod (cosh c) (log1p a)))
0.6b	(exp (log (fmod (cosh c) (log1p a))))
0.0b	(cosh c)

rewrite12.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	(exp (log (fmod (cosh c) (log1p a))))
3.0ms	(cosh c)
2.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series102.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify791.0ms

Counts

24 → 66

Calls

24 calls:

Slowest

228.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
146.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
69.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
54.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
37.0ms	(* 1/2 (+ (exp c) (exp (- c))))

prune944.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 33.9b

localize26.0ms

Local error

Found 4 expressions with local error:

38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
1.4b	(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))

series27.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

19.0ms	(log (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))

simplify192.0ms

Counts

16 → 57

Calls

16 calls:

Slowest

58.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
22.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
15.0ms	(log (fmod (cosh c) (log1p a)))
12.0ms	(log (fmod (cosh c) (log1p a)))
12.0ms	(log (fmod (cosh c) (log1p a)))

prune1.1s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 33.9b

localize77.0ms

Local error

Found 4 expressions with local error:

38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
38.7b	(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))
4.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify101.0ms

Counts

12 → 52

Calls

12 calls:

Slowest

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

prune1.1s

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 33.8b

regimes732.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample18.0s

Algorithm

intervals

Results

13.0s	7824×	body	10240	exit
2.0s	2318×	body	1280	valid
1.1s	1572×	body	640	valid
546.0ms	2756×	body	80	valid
466.0ms	5321×	body	80	nan
248.0ms	810×	body	320	valid
202.0ms	136×	body	2560	valid
97.0ms	399×	body	160	valid
18.0ms	9×	body	5120	valid