Details

Time bar (total: 15.8s)

sample402.0ms

Algorithm
intervals
Results
226.0ms89×body10240exit
99.0ms62×body1280valid
40.0ms47×body640valid
10.0ms99×body80valid
9.0ms28×body320valid
4.0ms20×body160valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.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)))
36.3b
(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)

series63.0ms

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

simplify119.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune216.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 30.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (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)
36.3b
(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)

series37.0ms

Counts
4 → 12
Calls
4 calls:
1.0ms
(expm1 (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)

simplify127.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0112597
1390538
22787532
35001532

prune318.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 30.1b

localize20.0ms

Local error

Found 4 expressions with local error:

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

series36.0ms

Counts
4 → 12
Calls
4 calls:
29.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)

simplify125.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
088540
1337452
22685448
35002448

prune722.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 30.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

series36.0ms

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

simplify129.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0102534
1361452
22849448
35003448

prune576.0ms

Pruning

25 alts after pruning (23 fresh and 2 done)

Merged error: 30.0b

regimes538.0ms

Accuracy

0% (1.7b remaining)

Error of 33.2b against oracle of 31.5b and baseline of 33.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02032
12032

end0.0ms

sample12.3s

Algorithm
intervals
Results
6.5s2561×body10240exit
3.7s2208×body1280valid
1.2s1684×body640valid
298.0ms2867×body80valid
291.0ms854×body320valid
88.0ms384×body160valid
5.0ms1×body5120valid
4.0ms2×body2560valid