Details

sample739.0ms

Algorithm

intervals

Results

534.0ms	284×	body	10240	exit
91.0ms	78×	body	1280	valid
40.0ms	20×	body	320	valid
19.0ms	56×	body	640	valid
9.0ms	176×	body	80	nan
7.0ms	84×	body	80	valid
5.0ms	5×	body	2560	valid
2.0ms	13×	body	160	valid

simplify74.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	11	5
2	14	5
3	16	5
done	16	5

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize19.0ms

Local error

Found 1 expressions with local error:

39.7b

(fmod (cosh c) (log1p a))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 9

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series18.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(fmod (cosh c) (log1p a))

simplify2.3s

Counts

12 → 12

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	14	87
1	21	87
2	26	77
3	32	77
4	38	77
5	48	77
6	69	77
7	147	77
8	440	77
9	1834	77
done	5000	77

prune68.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (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×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod`
1×	`pow1/3`

Counts

4 → 40

Calls

4 calls:

2.0ms	(cbrt (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))

series90.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(cbrt (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))
17.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify3.7s

Counts

52 → 52

Iterations

Useful iterations: 3 (29.0ms)

Iter	Nodes	Cost
0	28	409
1	42	405
2	72	339
3	126	336
4	449	336
5	2972	336
done	5001	336

prune193.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 35.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(exp (log (cbrt (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))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 48

Calls

4 calls:

5.0ms	(exp (log (cbrt (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))

series65.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(exp (log (cbrt (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))

simplify3.7s

Counts

60 → 60

Iterations

Useful iterations: 4 (136.0ms)

Iter	Nodes	Cost
0	55	533
1	75	479
2	114	405
3	202	402
4	677	398
5	4226	398
done	5000	398

prune215.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 35.0b

localize29.0ms

Local error

Found 4 expressions with local error:

39.7b	(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))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 36

Calls

4 calls:

0.0ms	(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))

series12.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(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))

simplify1.7s

Counts

48 → 48

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	14	348
1	21	348
2	26	308
3	32	308
4	38	308
5	48	308
6	69	308
7	147	308
8	440	308
9	1834	308
done	5000	308

prune196.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.0b

regimes223.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	46
1	19	46
done	19	46

end0.0ms

sample12.6s

Algorithm

intervals

Results

8.5s	7933×	body	10240	exit
1.8s	2320×	body	1280	valid
623.0ms	5300×	body	80	nan
488.0ms	1559×	body	640	valid
222.0ms	2737×	body	80	valid
219.0ms	147×	body	2560	valid
120.0ms	807×	body	320	valid
46.0ms	418×	body	160	valid
20.0ms	12×	body	5120	valid