Details

Time bar (total: 14.5s)

sample329.0ms

Algorithm
intervals
Results
158.0ms65×body10240exit
111.0ms65×body1280valid
29.0ms46×body640valid
10.0ms106×body80valid
8.0ms24×body320valid
3.0ms15×body160valid

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

localize19.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.3b
(sin (expm1 a))
34.2b
(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:
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)

series63.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms
(expm1 (sin (expm1 a)))
57.0ms
(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

prune165.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 28.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(sin (expm1 a))
0.3b
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
0.4b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
34.1b
(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:
1.0ms
(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)

series92.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(sin (expm1 a))
2.0ms
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
29.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
2.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify97.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 7 (93.0ms)

IterNodesCost
063401
192342
2121342
3180342
4339342
5863342
63913342
75001338

prune207.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 28.6b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
15×log-prod
13×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×cbrt-prod
6×pow1 unpow-prod-down exp-prod cube-prod
5×add-exp-log add-cbrt-cube add-log-exp
4×pow-pow
3×pow-unpow
2×cube-mult unpow3 log-pow sqr-pow
1×pow-to-exp pow1/3 rem-log-exp pow-exp rem-exp-log rem-cube-cbrt
Counts
4 → 69
Calls
4 calls:
2.0ms
(log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
1.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
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)

series98.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
32.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
61.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)

simplify134.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 3 (127.0ms)

IterNodesCost
0143843
1465711
23124685
35002679

prune292.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 28.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
34.1b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
34.1b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
34.1b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite2.0ms

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

series38.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
2.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
4.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
2.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify74.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039430
160361
278361
3118361
4218361
5534361
62589361
75001361

prune194.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 28.4b

regimes324.0ms

Accuracy

0% (1.8b remaining)

Error of 33.0b against oracle of 31.2b and baseline of 33.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02145
12145

end0.0ms

sample12.1s

Algorithm
intervals
Results
6.5s2598×body10240exit
3.7s2217×body1280valid
1.1s1609×body640valid
287.0ms2887×body80valid
277.0ms855×body320valid
85.0ms422×body160valid
18.0ms4×body5120valid
11.0ms6×body2560valid