Details

Time bar (total: 5.6s)

analyze488.0ms (8.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
37.5%50%12.6%7
37.5%50%12.6%8
43.7%37.5%18.8%9
43.7%37.5%18.8%10
46.8%31.2%22%11
46.8%31.2%22%12
48.4%28.1%23.5%13
48.4%28.1%23.5%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample3.7s (67.2%)

Results
1.1s2133×body1024valid
1.1s2130×body1024invalid
548.0ms4670×body128valid
323.0ms1038×body512invalid
299.0ms988×body512valid
112.0ms516×body256invalid
102.0ms455×body256valid
101.0ms728×body128invalid
13.0ms10×body2048valid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess34.0ms (0.6%)

Algorithm
2×egg-herbie
Rules
620×fma-def_binary64
330×associate-/r/_binary64
292×associate-/l/_binary64
207×div-sub_binary64
184×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
12822
26322
314422
432622
583122
6255022
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify17.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
491×times-frac_binary64
402×associate-/l*_binary64
310×fma-def_binary64
305×associate-*l*_binary64
293×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11611
23511
37711
417111
543111
6130111
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.1b
(*.f64 (sinh.f64 y) (/.f64 (cos.f64 x) y))
▶0.0b
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
Compiler

Compiled 52 to 32 computations (38.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
✓0.0b
(/.f64 (sinh.f64 y) y)
✓0.0b
(sinh.f64 y)

series56.0ms (1%)

Counts
3 → 48
Calls

12 calls:

8.0ms
(sinh.f64 y)
y
inf
7.0ms
(/.f64 (sinh.f64 y) y)
y
-inf
7.0ms
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
x
-inf
7.0ms
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
y
-inf
6.0ms
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
y
inf

rewrite51.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
760×log1p-expm1-u_binary64
760×expm1-log1p-u_binary64
142×log1p-udef_binary64
80×egg-rr
78×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
114820
2201420
Stop Event
1×node limit
Counts
3 → 80

simplify47.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
686×fma-neg_binary64
477×fma-def_binary64
332×sub-neg_binary64
199×associate-*l*_binary64
184×associate-*r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01211020
1377961
21103944
34016944
Stop Event
1×node limit
Counts
128 → 117

prune78.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1143117
Fresh101
Picked101
Done000
Total1163119
Error
0b
Counts
119 → 3
Alt Table
StatusErrorProgram
1.1b
(*.f64 (cos.f64 x) (fma.f64 y (*.f64 y 1/6) 1))
▶0.0b
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
0.3b
(*.f64 (cos.f64 x) (/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y))
Compiler

Compiled 1731 to 824 computations (52.4% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
0.0b
(sinh.f64 y)
✓0.0b
(/.f64 y (sinh.f64 y))

series56.0ms (1%)

Counts
2 → 36
Calls

9 calls:

12.0ms
(/.f64 y (sinh.f64 y))
y
inf
12.0ms
(/.f64 y (sinh.f64 y))
y
-inf
7.0ms
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
y
-inf
7.0ms
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
x
inf
7.0ms
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
y
inf

rewrite56.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
855×log1p-expm1-u_binary64
855×expm1-log1p-u_binary64
82×add-sqr-sqrt_binary64
80×prod-diff_binary64
77×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115417
2225917
Stop Event
1×node limit
Counts
2 → 77

simplify46.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
759×fma-neg_binary64
363×sub-neg_binary64
339×fma-def_binary64
169×associate-/l*_binary64
153×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0103870
1323827
2972805
33665803
Stop Event
1×node limit
Counts
113 → 105

prune84.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1370137
Fresh022
Picked011
Done000
Total1373140
Error
0b
Counts
140 → 3
Alt Table
StatusErrorProgram
1.1b
(*.f64 (cos.f64 x) (fma.f64 y (*.f64 y 1/6) 1))
✓0.0b
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
▶0.3b
(*.f64 (cos.f64 x) (/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y))
Compiler

Compiled 2006 to 887 computations (55.8% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(log1p.f64 (sinh.f64 y))
0.0b
(sinh.f64 y)
✓0.0b
(/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y)
✓0.0b
(expm1.f64 (log1p.f64 (sinh.f64 y)))

series289.0ms (5.2%)

Counts
3 → 36
Calls

9 calls:

136.0ms
(log1p.f64 (sinh.f64 y))
y
inf
131.0ms
(log1p.f64 (sinh.f64 y))
y
-inf
6.0ms
(/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y)
y
inf
5.0ms
(/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y)
y
-inf
3.0ms
(expm1.f64 (log1p.f64 (sinh.f64 y)))
y
inf

rewrite48.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
547×expm1-log1p-u_binary64
546×log1p-expm1-u_binary64
272×log-prod_binary64
144×pow2_binary64
101×pow1/3_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0614
110914
2144614
Stop Event
1×node limit
Counts
3 → 97

simplify31.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
832×fma-def_binary64
550×associate-*l*_binary64
429×associate-*r*_binary64
220×cancel-sign-sub-inv_binary64
177×fma-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061530
1171478
2439470
31381460
Stop Event
1×node limit
Counts
133 → 124

prune89.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1560156
Fresh011
Picked011
Done011
Total1563159
Error
0b
Counts
159 → 3
Alt Table
StatusErrorProgram
▶1.1b
(*.f64 (cos.f64 x) (fma.f64 y (*.f64 y 1/6) 1))
✓0.0b
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
✓0.3b
(*.f64 (cos.f64 x) (/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y))
Compiler

Compiled 2146 to 1116 computations (48% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y (*.f64 y 1/6) 1)
✓0.3b
(*.f64 y 1/6)

series4.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(fma.f64 y (*.f64 y 1/6) 1)
y
inf
1.0ms
(fma.f64 y (*.f64 y 1/6) 1)
y
-inf
1.0ms
(fma.f64 y (*.f64 y 1/6) 1)
y
0
1.0ms
(*.f64 y 1/6)
y
0
0.0ms
(*.f64 y 1/6)
y
inf

rewrite36.0ms (0.6%)

Algorithm
1×batch-egg-rewrite
Rules
449×log1p-expm1-u_binary64
449×expm1-log1p-u_binary64
279×unpow-prod-down_binary64
229×log-prod_binary64
137×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0612
111412
2121512
Stop Event
1×node limit
Counts
2 → 56

simplify62.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
608×sqr-pow_binary64
441×associate-*l*_binary64
434×unswap-sqr_binary64
281×cube-prod_binary64
274×fabs-mul_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
09153
118135
227135
348135
4113135
5320135
61224135
72124135
82288135
92472135
102680135
112974135
123365135
133843135
144402135
Stop Event
1×node limit
Counts
80 → 62

prune48.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh000
Picked011
Done022
Total62365
Error
0b
Counts
65 → 3
Alt Table
StatusErrorProgram
✓1.1b
(*.f64 (cos.f64 x) (fma.f64 y (*.f64 y 1/6) 1))
✓0.0b
(/.f64 (cos.f64 x) (/.f64 y (sinh.f64 y)))
✓0.3b
(*.f64 (cos.f64 x) (/.f64 (expm1.f64 (log1p.f64 (sinh.f64 y))) y))
Compiler

Compiled 905 to 619 computations (31.6% saved)

regimes127.0ms (2.3%)

Accuracy

Total 0.0b remaining (36.6%)

Threshold costs 0.0b (36.6%)

Counts
26 → 1
Compiler

Compiled 2097 to 1396 computations (33.4% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
Stop Event
1×saturated

end48.0ms (0.9%)

Stop Event
1×done
Compiler

Compiled 49 to 34 computations (30.6% saved)

Profiling

Loading profile data...