Details

sample811.0ms

Algorithm

intervals

Results

503.0ms	270×	body	10240	exit
90.0ms	82×	body	1280	valid
70.0ms	51×	body	640	valid
32.0ms	1×	body	5120	valid
11.0ms	181×	body	80	nan
10.0ms	85×	body	80	valid
8.0ms	4×	body	2560	valid
5.0ms	20×	body	320	valid
2.0ms	13×	body	160	valid

simplify4.0ms

Counts: 1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize16.0ms

Local error

Found 1 expressions with local error:

39.7b

(fmod (cosh c) (log1p a))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`

Counts

1 → 7

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series39.0ms

Counts

1 → 3

Calls

1 calls:

39.0ms

(fmod (cosh c) (log1p a))

simplify133.0ms

Counts: 10 → 10

prune71.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.6b	(exp (log (fmod (cosh c) (log1p a))))
0.8b	(log (fmod (cosh c) (log1p a)))
39.7b	(fmod (cosh c) (log1p a))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `log-prod` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `exp-prod`
3×	`exp-sum` `add-cbrt-cube` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 34

Calls

3 calls:

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

series74.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(exp (log (fmod (cosh c) (log1p a))))
61.0ms	(log (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))

simplify84.0ms

Counts: 43 → 43

prune197.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 35.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.6b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
0.8b	(log (fmod (cosh c) (log1p a)))
39.7b	(fmod (cosh c) (log1p a))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

17×	`exp-prod`
14×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `log-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 69

Calls

4 calls:

4.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
22.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
2.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series112.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
7.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
24.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify141.0ms

Counts: 81 → 81

prune367.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 35.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.8b	(log (fmod (cosh c) (log1p a)))
39.7b	(fmod (cosh c) (log1p a))
39.7b	(fmod (cosh c) (log1p a))
39.7b	(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 33

Calls

4 calls:

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

series63.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(log (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))
15.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))

simplify52.0ms

Counts: 45 → 45

prune226.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 35.0b

regimes698.0ms

Accuracy

0% (0.0b remaining)

Error of 33.9b against oracle of 33.9b and baseline of 33.9b

bsearch0.0ms

simplify59.0ms

end0.0ms

sample19.0s

Algorithm

intervals

Results

14.5s	8017×	body	10240	exit
1.7s	2308×	body	1280	valid
748.0ms	1583×	body	640	valid
370.0ms	5376×	body	80	nan
274.0ms	161×	body	2560	valid
253.0ms	728×	body	320	valid
194.0ms	2810×	body	80	valid
61.0ms	401×	body	160	valid
19.0ms	9×	body	5120	valid