Details

sample520.0ms

Algorithm

intervals

Results

342.0ms	199×	body	10240	exit
45.0ms	65×	body	1280	valid
42.0ms	173×	body	80	nan
21.0ms	51×	body	640	valid
9.0ms	5×	body	2560	valid
9.0ms	92×	body	80	valid
8.0ms	32×	body	320	valid
2.0ms	11×	body	160	valid

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.5b

localize65.0ms

Local error

Found 1 expressions with local error:

38.1b

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

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(fmod (cosh c) (log1p a))

simplify1.6s

Counts

12 → 12

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	14	87
1	21	87
2	26	77
3	32	77
4	40	77
5	74	77
6	154	77
7	324	77
8	1030	77
done	5000	77

prune96.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 33.5b

localize26.0ms

Local error

Found 3 expressions with local error:

0.5b	(exp (log (fmod (cosh c) (log1p a))))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))

rewrite10.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×	`expm1-log1p-u` `exp-sum` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 40

Calls

3 calls:

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

series36.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(exp (log (fmod (cosh c) (log1p a))))
29.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify3.8s

Counts

49 → 49

Iterations

Useful iterations: 4 (66.0ms)

Iter	Nodes	Cost
0	44	426
1	68	385
2	105	339
3	161	339
4	233	333
5	401	333
6	1023	333
7	4620	333
done	5001	333

prune290.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 33.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))

rewrite45.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`
4×	`expm1-log1p-u` `log1p-expm1-u`
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 → 77

Calls

4 calls:

14.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
24.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
3.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series124.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
7.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
39.0ms	(log (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))

simplify847.0ms

Counts

89 → 89

Iterations

Useful iterations: 2 (137.0ms)

Iter	Nodes	Cost
0	87	930
1	181	755
2	723	668
done	5000	668

prune646.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 33.5b

localize39.0ms

Local error

Found 4 expressions with local error:

1.1b	(log (fmod (cosh c) (log1p a)))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))
38.1b	(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 46

Calls

4 calls:

1.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(log (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:

50.0ms	(log (fmod (cosh c) (log1p a)))
33.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
4.0ms	(fmod (cosh c) (log1p a))

simplify1.5s

Counts

58 → 58

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	28	476
1	42	470
2	59	416
3	73	416
4	94	416
5	169	416
6	331	416
7	742	416
8	2324	416
done	5000	416

prune483.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 33.4b

regimes1.3s

Accuracy

0% (0.0b remaining)

Error of 34.8b against oracle of 34.8b and baseline of 34.8b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	38
1	20	38
done	20	38

end0.0ms

sample19.8s

Algorithm

intervals

Results

14.1s	7960×	body	10240	exit
2.0s	2340×	body	1280	valid
730.0ms	1629×	body	640	valid
679.0ms	2674×	body	80	valid
418.0ms	5309×	body	80	nan
384.0ms	824×	body	320	valid
311.0ms	131×	body	2560	valid
65.0ms	391×	body	160	valid
32.0ms	11×	body	5120	valid