Details

Time bar (total: 15.0s)

sample398.0ms

Algorithm
intervals
Results
189.0ms72×body10240exit
129.0ms69×body1280valid
49.0ms70×body640valid
8.0ms82×body80valid
7.0ms24×body320valid
3.0ms11×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

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)

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

series161.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
65.0ms
(sin (expm1 a))
90.0ms
(expm1 (sin (expm1 a)))
3.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify121.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0108302
1242264
2720264
32934264
45001264

prune199.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)

rewrite7.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 log1p-expm1-u
4×expm1-log1p-u add-log-exp
3×pow-unpow
2×cube-mult unpow3 sqr-pow
1×pow-to-exp expm1-log1p pow-pow pow1/3 pow-exp rem-cbrt-cube expm1-udef rem-cube-cbrt
Counts
4 → 68
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)

series125.0ms

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

simplify139.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0150655
1516595
23329589
35001589

prune260.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 33.7b

localize24.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×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:
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)

series42.0ms

Counts
4 → 12
Calls
4 calls:
33.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
64 → 64
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
092608
1341520
22697516
35002516

prune350.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 33.6b

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)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite7.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 (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)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

series43.0ms

Counts
4 → 12
Calls
4 calls:
33.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)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify128.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0104608
1353520
22709516
35002516

prune304.0ms

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 33.5b

regimes311.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02439
12439

end0.0ms

sample12.2s

Algorithm
intervals
Results
6.4s2578×body10240exit
3.8s2265×body1280valid
1.1s1667×body640valid
280.0ms878×body320valid
260.0ms2767×body80valid
85.0ms416×body160valid
18.0ms4×body5120valid
6.0ms3×body2560valid