Details

sample387.0ms

Algorithm

intervals

Results

185.0ms	72×	body	10240	exit
126.0ms	69×	body	1280	valid
46.0ms	70×	body	640	valid
8.0ms	82×	body	80	valid
7.0ms	24×	body	320	valid
2.0ms	11×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.5b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(atan2 (expm1 (sin (expm1 a))) (atan a))
0.0b	(sin (expm1 a))
0.0b	(expm1 (sin (expm1 a)))
40.8b	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 28

Calls

4 calls:

0.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
2.0ms	(sin (expm1 a))
0.0ms	(expm1 (sin (expm1 a)))
0.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series74.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
67.0ms	(sin (expm1 a))
2.0ms	(expm1 (sin (expm1 a)))
3.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify118.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	39	248
1	44	212
2	54	212
3	68	212
4	114	212
5	228	212
6	919	212
7	3184	212
8	5001	212

prune157.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 34.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(expm1 (sin (expm1 a)))
0.6b	(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
1.0b	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `cube-prod`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`pow-unpow`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 58

Calls

4 calls:

0.0ms	(expm1 (sin (expm1 a)))
2.0ms	(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
3.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

series45.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(expm1 (sin (expm1 a)))
3.0ms	(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
37.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify127.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	112	597
1	390	538
2	2787	532
3	5001	532

prune223.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 33.7b

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `cube-prod`
1×	`cube-mult` `pow-to-exp` `pow-pow` `unpow3` `pow-exp` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 44

Calls

4 calls:

3.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

series48.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify126.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	88	540
1	337	452
2	2685	448
3	5002	448

prune302.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 33.7b

localize29.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
40.8b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
40.8b	(fmod (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))) a)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `cube-prod`
1×	`cube-mult` `pow-to-exp` `pow-pow` `unpow3` `pow-exp` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 44

Calls

4 calls:

3.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
0.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
0.0ms	(fmod (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))) a)

series47.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
4.0ms	(fmod (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))) a)

simplify128.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	102	515
1	363	452
2	2810	448
3	5001	448

prune260.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 33.7b

regimes298.0ms

Accuracy

0% (1.7b remaining)

Error of 33.7b against oracle of 32.1b and baseline of 33.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	9

end0.0ms

sample12.2s

Algorithm

intervals

Results

6.4s	2578×	body	10240	exit
3.7s	2265×	body	1280	valid
1.1s	1667×	body	640	valid
281.0ms	878×	body	320	valid
262.0ms	2767×	body	80	valid
84.0ms	416×	body	160	valid
18.0ms	4×	body	5120	valid
6.0ms	3×	body	2560	valid