Details

sample844.0ms

Algorithm

intervals

Results

679.0ms	235×	body	10240	exit
58.0ms	80×	body	1280	valid
18.0ms	41×	body	640	valid
13.0ms	10×	body	2560	valid
9.0ms	143×	body	80	nan
8.0ms	96×	body	80	valid
6.0ms	23×	body	320	valid
5.0ms	1×	body	5120	valid
1.0ms	5×	body	160	valid

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 15

Calls

2 calls:

5.0ms	(cosh c)
45.0ms	(fmod (cosh c) (log1p a))

series82.0ms

Counts

2 → 6

Calls

2 calls:

61.0ms	(cosh c)
20.0ms	(fmod (cosh c) (log1p a))

simplify3.6s

Counts

21 → 21

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	40	141
1	71	140
2	121	126
3	223	126
4	434	126
5	1001	126
6	3580	126
done	5000	126

prune152.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 32.9b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.3b	(exp (log (fmod (cosh c) (log1p a))))
0.5b	(log (fmod (cosh c) (log1p a)))
37.6b	(fmod (cosh c) (log1p a))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 42

Calls

4 calls:

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

series143.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(cosh c)
6.0ms	(exp (log (fmod (cosh c) (log1p a))))
41.0ms	(log (fmod (cosh c) (log1p a)))
12.0ms	(fmod (cosh c) (log1p a))

simplify4.0s

Counts

54 → 54

Iterations

Useful iterations: 4 (236.0ms)

Iter	Nodes	Cost
0	65	450
1	103	412
2	163	362
3	276	362
4	519	356
5	1157	356
6	3873	356
done	5000	356

prune242.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 32.9b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.4b	(pow E (log (fmod (cosh c) (log1p a))))
0.5b	(log (fmod (cosh c) (log1p a)))
37.6b	(fmod (cosh c) (log1p a))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`add-exp-log` `log-prod`
4×	`pow-unpow` `add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-up` `unpow-prod-down`
2×	`pow-exp` `log-pow`
1×	`pow-to-exp` `e-exp-1` `cosh-def` `pow-pow` `rem-log-exp` `sqr-pow`

Counts

4 → 49

Calls

4 calls:

3.0ms	(cosh c)
4.0ms	(pow E (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series198.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(cosh c)
68.0ms	(pow E (log (fmod (cosh c) (log1p a))))
37.0ms	(log (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))

simplify2.0s

Counts

61 → 61

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	79	579
1	150	543
2	293	469
3	688	469
4	1940	467
done	5001	455

prune284.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 32.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b	(log (cbrt (fmod (cosh c) (log1p a))))
0.6b	(log (cbrt (fmod (cosh c) (log1p a))))
37.6b	(fmod (cosh c) (log1p a))
37.6b	(fmod (cosh c) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-prod`
4×	`log-pow` `add-cbrt-cube` `add-log-exp`
2×	`pow1/3` `rem-log-exp`

Counts

4 → 46

Calls

4 calls:

2.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
2.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series203.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
94.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify2.8s

Counts

58 → 58

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	37	580
1	53	564
2	95	480
3	194	480
4	574	480
5	2271	480
done	5000	480

prune291.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 32.8b

regimes605.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	24
1	11	24
done	11	24

end0.0ms

sample18.9s

Algorithm

intervals

Results

14.3s	7981×	body	10240	exit
1.7s	2222×	body	1280	valid
695.0ms	1615×	body	640	valid
365.0ms	5438×	body	80	nan
272.0ms	2818×	body	80	valid
267.0ms	162×	body	2560	valid
255.0ms	777×	body	320	valid
66.0ms	395×	body	160	valid
34.0ms	11×	body	5120	valid