Details

sample962.0ms

Algorithm

intervals

Results

624.0ms	274×	body	10240	exit
136.0ms	62×	body	640	valid
103.0ms	73×	body	1280	valid
40.0ms	76×	body	80	valid
14.0ms	158×	body	80	nan
10.0ms	30×	body	320	valid
6.0ms	3×	body	2560	valid
3.0ms	12×	body	160	valid

simplify22.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

21.0ms

(fmod (cosh c) (log1p a))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.1b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

2×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`
1×	`cosh-def`

Counts

2 → 17

Calls

2 calls:

Slowest

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

series133.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

117.0ms	(cosh c)
16.0ms	(fmod (cosh c) (log1p a))

simplify576.0ms

Counts

6 → 23

Calls

6 calls:

Slowest

417.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
83.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
42.0ms	(* 1/2 (+ (exp c) (exp (- c))))
12.0ms	(fmod (cosh c) (log1p a))
11.0ms	(fmod (cosh c) (log1p a))

prune295.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 37.1b

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

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

Counts

4 → 46

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

series135.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify766.0ms

Counts

24 → 58

Calls

24 calls:

Slowest

190.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
137.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
61.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
49.0ms	(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
43.0ms	(* 1/2 (+ (exp c) (exp (- c))))

prune817.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 36.9b

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

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

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

series37.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify236.0ms

Counts

16 → 49

Calls

16 calls:

Slowest

60.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
25.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
24.0ms	(log (fmod (cosh c) (log1p a)))
24.0ms	(log (fmod (cosh c) (log1p a)))
14.0ms	(fmod (cosh c) (log1p a))

prune828.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 36.8b

localize35.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×	`add-cbrt-cube` `insert-posit16` `add-log-exp`
3×	`log-prod`
1×	`rem-log-exp` `log-pow`

Counts

4 → 37

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

series42.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify234.0ms

Counts

16 → 49

Calls

16 calls:

Slowest

46.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
39.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
23.0ms	(log (fmod (cosh c) (log1p a)))
17.0ms	(log (fmod (cosh c) (log1p a)))
12.0ms	(log (fmod (cosh c) (log1p a)))

prune823.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 36.8b

regimes826.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.3s

Algorithm

intervals

Results

14.6s	7929×	body	10240	exit
2.6s	2359×	body	1280	valid
839.0ms	1602×	body	640	valid
832.0ms	5299×	body	80	nan
323.0ms	2703×	body	80	valid
275.0ms	158×	body	2560	valid
273.0ms	780×	body	320	valid
89.0ms	393×	body	160	valid
10.0ms	5×	body	5120	valid