Details

sample407.0ms

Algorithm

intervals

Results

222.0ms	85×	body	10240	exit
106.0ms	65×	body	1280	valid
39.0ms	52×	body	640	valid
14.0ms	39×	body	320	valid
8.0ms	84×	body	80	valid
4.0ms	16×	body	160	valid

simplify2.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: 34.8b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(atan2 (expm1 (sin (expm1 a))) (atan a))
0.0b	(expm1 (sin (expm1 a)))
0.6b	(sin (expm1 a))
39.1b	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

5×	`log1p-expm1-u`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
2×	`expm1-udef`
1×	`expm1-log1p` `sin-diff`

Counts

4 → 39

Calls

4 calls:

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

series144.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
81.0ms	(expm1 (sin (expm1 a)))
59.0ms	(sin (expm1 a))
2.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify120.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	108	302
1	242	264
2	720	264
3	2933	264
4	5001	264

prune203.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 33.6b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(sin (expm1 a))
0.7b	(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
1.0b	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
39.1b	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

rewrite8.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×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `sin-diff` `rem-cbrt-cube` `expm1-udef` `rem-cube-cbrt`

Counts

4 → 67

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(sin (expm1 a))
2.0ms	(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
33.0ms	(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.0ms	(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify143.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	156	650
1	538	592
2	3301	586
3	5002	586

prune274.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 33.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(sin (expm1 a))
0.7b	(cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
1.0b	(pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
39.1b	(fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)

rewrite9.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×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `sin-diff` `rem-cbrt-cube` `expm1-udef` `rem-cube-cbrt`

Counts

4 → 67

Calls

4 calls:

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

series95.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(sin (expm1 a))
2.0ms	(cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
31.0ms	(pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
3.0ms	(fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)

simplify148.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 3 (138.0ms)

Iter	Nodes	Cost
0	166	1388
1	550	1260
2	3323	1090
3	5001	1077

prune339.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 33.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.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×	`expm1-log1p-u` `log1p-expm1-u` `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 → 52

Calls

4 calls:

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

series40.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify130.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (122.0ms)

Iter	Nodes	Cost
0	104	1238
1	355	1048
2	2725	916
3	5002	881

prune309.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 32.9b

regimes363.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	46
1	23	46

end0.0ms

sample12.7s

Algorithm

intervals

Results

6.7s	2673×	body	10240	exit
3.9s	2332×	body	1280	valid
1.1s	1627×	body	640	valid
291.0ms	883×	body	320	valid
282.0ms	2744×	body	80	valid
90.0ms	410×	body	160	valid
14.0ms	3×	body	5120	valid
2.0ms	1×	body	2560	valid