Details

Time bar (total: 15.9s)

sample429.0ms

Algorithm
intervals
Results
217.0ms82×body10240exit
123.0ms66×body1280valid
45.0ms62×body640valid
17.0ms96×body80valid
8.0ms19×body320valid
4.0ms13×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: 32.6b

localize12.0ms

Local error

Found 4 expressions with local error:

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

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

series67.0ms

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

simplify122.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune151.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 31.5b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (sin (expm1 a)))
0.3b
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
0.3b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
37.8b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×exp-prod
5×pow1 add-log-exp
4×add-exp-log log-pow add-cbrt-cube
3×log-prod
1×rem-log-exp rem-exp-log
Counts
4 → 40
Calls
4 calls:
0.0ms
(expm1 (sin (expm1 a)))
1.0ms
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
1.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

series37.0ms

Counts
4 → 12
Calls
4 calls:
1.0ms
(expm1 (sin (expm1 a)))
2.0ms
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
31.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
3.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify102.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 7 (95.0ms)

IterNodesCost
063414
192353
2121353
3180353
4339353
5863353
63913353
75001349

prune205.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 31.3b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.4b
(cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
1.0b
(pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
37.8b
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down exp-prod cube-prod
5×pow1 add-cbrt-cube add-log-exp
4×add-exp-log pow-pow
3×pow-unpow
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow1/3 pow-exp rem-cbrt-cube rem-exp-log rem-cube-cbrt
Counts
4 → 65
Calls
4 calls:
1.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
2.0ms
(cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
2.0ms
(pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
0.0ms
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)

series133.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
30.0ms
(cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
70.0ms
(pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
3.0ms
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)

simplify137.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0123738
1432681
23021675
35002675

prune269.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 31.2b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
37.8b
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)
37.8b
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)
37.8b
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×pow1 add-cbrt-cube
4×add-exp-log pow-pow add-log-exp
3×unpow-prod-down pow-unpow exp-prod cube-prod
1×cube-mult pow-to-exp unpow3 pow-exp rem-cube-cbrt sqr-pow
Counts
4 → 47
Calls
4 calls:
2.0ms
(pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
0.0ms
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)
0.0ms
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)
0.0ms
(fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)

series80.0ms

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

simplify132.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0100644
1374537
22901533
35001533

prune262.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 30.9b

regimes309.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02439
12439

end0.0ms

sample13.3s

Algorithm
intervals
Results
6.8s2592×body10240exit
4.0s2238×body1280valid
1.3s1662×body640valid
480.0ms2804×body80valid
342.0ms827×body320valid
137.0ms463×body160valid
14.0ms3×body5120valid
9.0ms3×body2560valid