Details

sample330.0ms

Algorithm

intervals

Results

249.0ms	241×	body	10240	exit
34.0ms	75×	body	1280	valid
11.0ms	52×	body	640	valid
5.0ms	168×	body	80	nan
4.0ms	93×	body	80	valid
3.0ms	2×	body	2560	valid
2.0ms	19×	body	320	valid
2.0ms	1×	body	5120	valid
1.0ms	14×	body	160	valid

simplify219.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	44	3
7	69	3
8	169	3
9	1127	3
10	5002	3

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize6.0ms

Local error

Found 1 expressions with local error:

37.9b

(fmod (cosh c) (log1p a))

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

0.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

simplify97.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	21	57
1	26	50
2	31	50
3	38	50
4	58	50
5	117	50
6	567	50
7	1852	50
8	5001	50

prune43.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 33.3b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fmod (cosh c) (log1p a)))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
37.9b	(fmod (cosh c) (log1p a))
37.9b	(fmod (cosh c) (log1p a))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 84

Calls

4 calls:

1.0ms	(sqrt (fmod (cosh c) (log1p a)))
6.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series16.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (fmod (cosh c) (log1p a)))
2.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify103.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 3 (97.0ms)

Iter	Nodes	Cost
0	102	520
1	378	459
2	2255	439
3	5001	421

prune204.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 33.3b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
0.1b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
37.9b	(fmod (cosh c) (log1p a))
37.9b	(fmod (cosh c) (log1p a))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

87×	`sqrt-prod`
66×	`add-sqr-sqrt`
27×	`unpow-prod-down` `cube-prod`
24×	`associate-r` `unswap-sqr`
21×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`associate-l`
8×	`pow1`
7×	`add-cbrt-cube`
5×	`pow-pow` `sqr-pow`
4×	`expm1-log1p-u` `sqrt-pow1` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `pow1/2` `unpow3` `pow-exp`
1×	`*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 132

Calls

4 calls:

19.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
3.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series69.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
62.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify52.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	238	1711
1	1132	1197
2	5001	999

prune308.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 33.2b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
1.0b	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
37.9b	(fmod (cosh c) (log1p a))
37.9b	(fmod (cosh c) (log1p a))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod`
36×	`sqrt-prod`
24×	`exp-sum`
19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
4×	`pow1` `expm1-log1p-u` `exp-prod` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`rem-log-exp`
2×	`cube-mult` `unpow3` `log-pow` `sqr-pow`
1×	`pow-to-exp` `pow-exp` `rem-exp-log`

Counts

4 → 93

Calls

4 calls:

4.0ms	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
3.0ms	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series148.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
82.0ms	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify121.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 3 (112.0ms)

Iter	Nodes	Cost
0	212	994
1	535	899
2	2826	880
3	5001	862

prune268.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 33.2b

regimes513.0ms

Accuracy

0% (0.0b remaining)

Error of 34.2b against oracle of 34.1b and baseline of 34.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	16
1	17	16

end0.0ms

sample10.4s

Algorithm

intervals

Results

7.9s	7708×	body	10240	exit
1.1s	2313×	body	1280	valid
342.0ms	1562×	body	640	valid
155.0ms	141×	body	2560	valid
150.0ms	5194×	body	80	nan
115.0ms	2781×	body	80	valid
103.0ms	789×	body	320	valid
39.0ms	405×	body	160	valid
16.0ms	9×	body	5120	valid