Details

sample1.1s

Algorithm

intervals

Results

581.0ms	52×	body	640	valid
374.0ms	243×	body	10240	exit
53.0ms	73×	body	1280	valid
11.0ms	157×	body	80	nan
9.0ms	89×	body	80	valid
9.0ms	24×	body	320	valid
8.0ms	6×	body	2560	valid
2.0ms	12×	body	160	valid

simplify37.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

37.0ms

(fmod (cosh c) (log1p a))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

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

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

series98.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

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

simplify363.0ms

Counts

6 → 23

Calls

6 calls:

Slowest

212.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
69.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
48.0ms	(* 1/2 (+ (exp c) (exp (- c))))
11.0ms	(fmod (cosh c) (log1p a))
10.0ms	(fmod (cosh c) (log1p a))

prune315.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.0b

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

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

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

series106.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

72.0ms	(cosh c)
27.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(exp (log (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))

simplify721.0ms

Counts

24 → 58

Calls

24 calls:

Slowest

203.0ms	(* 1/2 (+ (exp (* -1 c)) (exp c)))
103.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
65.0ms	(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
49.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
45.0ms	(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))

prune825.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 33.9b

localize46.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×	`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))

series35.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

27.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify244.0ms

Counts

16 → 49

Calls

16 calls:

Slowest

62.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
25.0ms	(log (fmod (cosh c) (log1p a)))
23.0ms	(log (fmod (cosh c) (log1p a)))
22.0ms	(log (fmod (cosh c) (log1p a)))
20.0ms	(log (sqrt (fmod (cosh c) (log1p a))))

prune815.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 33.9b

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

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

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

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

simplify72.0ms

Counts

12 → 44

Calls

12 calls:

Slowest

11.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))

prune785.0ms

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 33.8b

regimes941.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.1s

Algorithm

intervals

Results

13.5s	7824×	body	10240	exit
1.9s	2318×	body	1280	valid
992.0ms	1572×	body	640	valid
529.0ms	5321×	body	80	nan
316.0ms	2756×	body	80	valid
253.0ms	136×	body	2560	valid
252.0ms	810×	body	320	valid
85.0ms	399×	body	160	valid
17.0ms	9×	body	5120	valid