Details

Time bar (total: 15.0s)

sample385.0ms

Algorithm
intervals
Results
201.0ms81×body10240exit
119.0ms74×body1280valid
34.0ms50×body640valid
10.0ms93×body80valid
7.0ms21×body320valid
4.0ms18×body160valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.6b

localize17.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.2b
(sin (expm1 a))
37.2b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite2.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)))
1.0ms
(sin (expm1 a))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series148.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
87.0ms
(expm1 (sin (expm1 a)))
57.0ms
(sin (expm1 a))
3.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify124.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0108302
1242264
2720264
32933264
45001264

prune209.0ms

Filtered
51 candidates to 39 candidates (76.5%)
Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 31.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(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)
37.2b
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

rewrite5.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:
1.0ms
(sin (expm1 a))
1.0ms
(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
1.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
0.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

series98.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(sin (expm1 a))
2.0ms
(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
32.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify145.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0156650
1538592
23301586
35002586

prune297.0ms

Filtered
79 candidates to 46 candidates (58.2%)
Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 31.1b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.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:
1.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)

series39.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify128.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
092608
1341520
22697516
35002516

prune363.0ms

Filtered
64 candidates to 44 candidates (68.8%)
Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 31.0b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
37.2b
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
37.2b
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
37.2b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) 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:
1.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)
3.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series39.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify128.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0102536
1346466
22702462
35001462

prune291.0ms

Filtered
64 candidates to 43 candidates (67.2%)
Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 30.9b

regimes312.0ms

Accuracy

0% (1.8b remaining)

Error of 33.5b against oracle of 31.7b and baseline of 33.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02145
12145

end0.0ms

sample12.1s

Algorithm
intervals
Results
6.4s2541×body10240exit
3.7s2256×body1280valid
1.2s1707×body640valid
284.0ms2794×body80valid
271.0ms812×body320valid
90.0ms424×body160valid
14.0ms3×body5120valid
8.0ms4×body2560valid