Details

sample392.0ms

Algorithm

intervals

Results

303.0ms	277×	body	5120	exit
35.0ms	74×	body	1280	valid
11.0ms	44×	body	640	valid
6.0ms	189×	body	80	nan
5.0ms	4×	body	2560	valid
5.0ms	95×	body	80	valid
3.0ms	21×	body	320	valid
2.0ms	17×	body	160	valid
2.0ms	1×	body	5120	valid

simplify234.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	14	3
2	16	3
3	18	3
4	19	3
5	24	3
6	43	3
7	64	3
8	154	3
9	1044	3
10	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 32.5b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

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

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

series51.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify138.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (23.0ms)

Iter	Nodes	Cost
0	76	89
1	159	79
2	542	71
3	3481	69
4	5001	69

prune62.0ms

Filtered

21 candidates to 16 candidates (76.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	14	7	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	7	22

Merged error: 32.4b

Counts

22 → 7

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 1/2 (pow c 2))
0.1b	(* 1/24 (pow c 4))
36.8b	(fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
15×	`associate-r`
13×	`add-exp-log`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`sqr-pow`
3×	`pow1` `add-log-exp`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `unpow2`

Counts

3 → 59

Calls

3 calls:

5.0ms	(* 1/2 (pow c 2))
5.0ms	(* 1/24 (pow c 4))
1.0ms	(fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a))

series68.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(* 1/2 (pow c 2))
35.0ms	(* 1/24 (pow c 4))
6.0ms	(fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a))

simplify172.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 3 (167.0ms)

Iter	Nodes	Cost
0	214	310
1	843	273
2	3996	273
3	5001	271

prune166.0ms

Filtered

68 candidates to 42 candidates (61.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	65	3	68
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	67	8	75

Merged error: 32.4b

Counts

75 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/24 (pow c 4))
1.2b	(exp (log (* 1/24 (pow c 4))))
36.8b	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
47.5b	(log (* 1/24 (pow c 4)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-exp-log`
13×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`pow1` `prod-exp` `add-cbrt-cube`
4×	`unpow-prod-down` `exp-prod` `rem-log-exp` `add-log-exp`
3×	`associate-l` `unswap-sqr`
2×	`pow-to-exp` `log-prod` `pow-exp` `log-pow` `sqr-pow`
1×	`exp-sum` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 58

Calls

4 calls:

8.0ms	(* 1/24 (pow c 4))
4.0ms	(exp (log (* 1/24 (pow c 4))))
1.0ms	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
4.0ms	(log (* 1/24 (pow c 4)))

series230.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* 1/24 (pow c 4))
35.0ms	(exp (log (* 1/24 (pow c 4))))
6.0ms	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
149.0ms	(log (* 1/24 (pow c 4)))

simplify93.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	177	339
1	588	300
2	2485	295
3	5002	295

prune185.0ms

Filtered

70 candidates to 42 candidates (60.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	70	8	78

Merged error: 32.4b

Counts

78 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

1.2b	(exp (log (* 1/24 (pow c 4))))
1.2b	(log (fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))
36.8b	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
47.5b	(log (* 1/24 (pow c 4)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 45

Calls

4 calls:

4.0ms	(exp (log (* 1/24 (pow c 4))))
1.0ms	(log (fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))
1.0ms	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
4.0ms	(log (* 1/24 (pow c 4)))

series224.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(exp (log (* 1/24 (pow c 4))))
30.0ms	(log (fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))
6.0ms	(fmod (+ (exp (log (* 1/24 (pow c 4)))) (+ (* 1/2 (pow c 2)) 1)) (log1p a))
149.0ms	(log (* 1/24 (pow c 4)))

simplify40.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	111	478
1	271	401
2	974	399
3	5001	399

prune176.0ms

Filtered

57 candidates to 36 candidates (63.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	54	11	65

Merged error: 32.4b

Counts

65 → 11

regimes325.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	39
1	29	39

end0.0ms

sample11.0s

Algorithm

intervals

Results

8.4s	7951×	body	5120	exit
1.1s	2344×	body	1280	valid
386.0ms	1541×	body	640	valid
179.0ms	157×	body	2560	valid
176.0ms	5382×	body	80	nan
141.0ms	2747×	body	80	valid
116.0ms	780×	body	320	valid
48.0ms	422×	body	160	valid
14.0ms	9×	body	5120	valid

Details

sample392.0ms

simplify234.0ms

prune2.0ms

localize7.0ms

rewrite2.0ms

series51.0ms

simplify138.0ms

prune62.0ms

localize13.0ms

rewrite12.0ms

series68.0ms

simplify172.0ms

prune166.0ms

localize17.0ms

rewrite18.0ms

series230.0ms

simplify93.0ms

prune185.0ms

localize24.0ms

rewrite11.0ms

series224.0ms

simplify40.0ms

prune176.0ms

regimes325.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample11.0s

Profiling