Details

Time bar (total: 2.7s)

analyze132.0ms (5%)

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
50%50%0.1%5
56.2%43.7%0.1%6
74.9%25%0.1%7
76.5%23.4%0.1%8
84.3%15.6%0.1%9
86.2%13.7%0.1%10
91.3%8.6%0.1%11
92.6%7.3%0.1%12
95.4%4.5%0.1%13
96.1%3.8%0.1%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.7s (65.3%)

Results
687.0ms5538×body128valid
643.0ms1349×body1024valid
274.0ms867×body512valid
110.0ms500×body256valid
2.0ms2×body2048valid
Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess18.0ms (0.7%)

Algorithm
2×egg-herbie
Rules
6×*-commutative_binary64
4×associate-/l*_binary64
2×associate-*r/_binary64
2×associate-*l/_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
11518
22318
32918
43118
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
1×associate-*r/_binary64
1×associate-*l/_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
199
2139
3179
4189
Stop Event
1×saturated
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.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 x (/.f64 (sin.f64 y) y))
5.7b
(*.f64 (/.f64 x y) (sin.f64 y))
Compiler

Compiled 46 to 27 computations (41.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 x (/.f64 (sin.f64 y) y))
✓0.2b
(/.f64 (sin.f64 y) y)

series15.0ms (0.6%)

Counts
2 → 28
Calls

9 calls:

3.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
x
0
2.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
x
-inf
2.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
x
inf
1.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
y
-inf
1.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
y
0

rewrite39.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
636×log1p-expm1-u_binary64
636×expm1-log1p-u_binary64
349×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0615
112515
2169615
Stop Event
1×node limit
Counts
2 → 63

simplify37.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
601×associate-*l*_binary64
561×fma-def_binary64
465×associate-*r*_binary64
430×cancel-sign-sub-inv_binary64
303×fma-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
035306
197299
2279285
31015281
44670281
Stop Event
1×node limit
Counts
91 → 78

prune43.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New76278
Fresh011
Picked011
Done000
Total76480
Error
0.0b
Counts
80 → 4
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (/.f64 (sin.f64 y) y))
5.3b
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
▶0.1b
(/.f64 x (/.f64 y (sin.f64 y)))
5.7b
(*.f64 (/.f64 x y) (sin.f64 y))
Compiler

Compiled 924 to 416 computations (55% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 x (/.f64 y (sin.f64 y)))
✓0.1b
(/.f64 y (sin.f64 y))

series18.0ms (0.7%)

Counts
2 → 28
Calls

9 calls:

3.0ms
(/.f64 x (/.f64 y (sin.f64 y)))
x
inf
3.0ms
(/.f64 y (sin.f64 y))
y
-inf
3.0ms
(/.f64 y (sin.f64 y))
y
inf
2.0ms
(/.f64 x (/.f64 y (sin.f64 y)))
x
-inf
2.0ms
(/.f64 x (/.f64 y (sin.f64 y)))
x
0

rewrite42.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
732×log1p-expm1-u_binary64
732×expm1-log1p-u_binary64
125×expm1-udef_binary64
125×log1p-udef_binary64
76×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0615
113115
2194215
Stop Event
1×node limit
Counts
2 → 76

simplify36.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
612×fma-def_binary64
599×associate-*l*_binary64
495×associate-*r*_binary64
316×cancel-sign-sub-inv_binary64
285×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038302
198299
2274289
31013283
44498283
Stop Event
1×node limit
Counts
104 → 91

prune47.0ms (1.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New89291
Fresh022
Picked011
Done101
Total90595
Error
0.0b
Counts
95 → 5
Alt Table
StatusErrorProgram
▶5.3b
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
✓0.1b
(/.f64 x (/.f64 y (sin.f64 y)))
34.7b
(*.f64 (*.f64 (/.f64 x y) (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))
32.8b
(/.f64 x (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1 (sin.f64 y)))))
5.7b
(*.f64 (/.f64 x y) (sin.f64 y))
Compiler

Compiled 1109 to 488 computations (56% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (sin.f64 y) x)
✓0.4b
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
✓5.1b
(/.f64 y (*.f64 (sin.f64 y) x))

series40.0ms (1.5%)

Counts
3 → 32
Calls

18 calls:

8.0ms
(/.f64 y (*.f64 (sin.f64 y) x))
y
inf
4.0ms
(/.f64 y (*.f64 (sin.f64 y) x))
y
-inf
4.0ms
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
x
inf
3.0ms
(/.f64 y (*.f64 (sin.f64 y) x))
x
-inf
3.0ms
(/.f64 y (*.f64 (sin.f64 y) x))
x
0

rewrite49.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
814×log1p-expm1-u_binary64
814×expm1-log1p-u_binary64
104×egg-rr
83×add-sqr-sqrt_binary64
76×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0827
116624
2224924
Stop Event
1×node limit
Counts
3 → 104

simplify38.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
509×fma-neg_binary64
337×*-commutative_binary64
269×sub-neg_binary64
268×unswap-sqr_binary64
220×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
059414
1169403
2499381
31836379
44466379
Stop Event
1×node limit
Counts
136 → 128

prune63.0ms (2.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1262128
Fresh123
Picked011
Done011
Total1276133
Error
0b
Counts
133 → 6
Alt Table
StatusErrorProgram
✓5.3b
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
✓0.1b
(/.f64 x (/.f64 y (sin.f64 y)))
6.2b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) -1))
6.1b
(/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) 3))
34.7b
(*.f64 (*.f64 (/.f64 x y) (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))
▶5.7b
(*.f64 (/.f64 x y) (sin.f64 y))
Compiler

Compiled 1761 to 824 computations (53.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.3b
(*.f64 (/.f64 x y) (sin.f64 y))

series11.0ms (0.4%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(*.f64 (/.f64 x y) (sin.f64 y))
x
-inf
2.0ms
(*.f64 (/.f64 x y) (sin.f64 y))
x
0
2.0ms
(*.f64 (/.f64 x y) (sin.f64 y))
x
inf
1.0ms
(*.f64 (/.f64 x y) (sin.f64 y))
y
-inf
1.0ms
(*.f64 (/.f64 x y) (sin.f64 y))
y
inf

rewrite39.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
637×log1p-expm1-u_binary64
637×expm1-log1p-u_binary64
349×log-prod_binary64
119×expm1-udef_binary64
119×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
11259
216999
Stop Event
1×node limit
Counts
1 → 28

simplify32.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
810×distribute-rgt-neg-in_binary64
462×associate-*l*_binary64
411×associate-*r*_binary64
386×fma-def_binary64
301×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
026250
171249
2208241
3765237
43601237
Stop Event
1×node limit
Counts
52 → 37

prune19.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New37037
Fresh033
Picked011
Done022
Total37643
Error
0b
Counts
43 → 6
Alt Table
StatusErrorProgram
✓5.3b
(/.f64 1 (/.f64 y (*.f64 (sin.f64 y) x)))
✓0.1b
(/.f64 x (/.f64 y (sin.f64 y)))
6.2b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) -1))
6.1b
(/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 (sin.f64 y) x))) 3))
34.7b
(*.f64 (*.f64 (/.f64 x y) (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))
✓5.7b
(*.f64 (/.f64 x y) (sin.f64 y))
Compiler

Compiled 454 to 204 computations (55.1% saved)

regimes96.0ms (3.6%)

Accuracy

Total 0.1b remaining (82.7%)

Threshold costs 0.1b (82.7%)

Counts
23 → 1
Compiler

Compiled 1088 to 718 computations (34% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
Stop Event
1×saturated

end75.0ms (2.8%)

Stop Event
1×fuel
Compiler

Compiled 91 to 57 computations (37.4% saved)

Profiling

Loading profile data...