Details

Time bar (total: 2.7s)

analyze6.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50.1%13
49.9%0%50.1%14
Compiler

Compiled 22 to 17 computations (22.7% saved)

sample1.0s (37.8%)

Results
968.0ms8256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify24.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1332×fma-def_binary64
553×distribute-rgt-in_binary64
496×unsub-neg_binary64
223×distribute-rgt-neg-out_binary64
221×distribute-lft-neg-out_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01731
14228
210926
332126
496826
5174724
6370624
Stop Event
1×node limit
Counts
1 → 2

prune5.0ms (0.2%)

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
1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
▶0.0b
(/.f64 (/.f64 -4/3 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
Compiler

Compiled 113 to 85 computations (24.8% saved)

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
✓0.0b
(/.f64 -4/3 (fma.f64 v v -1))
✓0.0b
(/.f64 (/.f64 -4/3 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))

series31.0ms (1.2%)

Counts
3 → 36
Calls

3 calls:

21.0ms
(/.f64 (/.f64 -4/3 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
7.0ms
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
3.0ms
(/.f64 -4/3 (fma.f64 v v -1))

rewrite58.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
251×expm1-udef_binary64
251×log1p-udef_binary64
215×log-pow_binary64
142×add-sqr-sqrt_binary64
133×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01446
129446
2369946
Stop Event
1×node limit
Counts
3 → 84
Calls

3 calls:

56.0ms
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
56.0ms
(/.f64 -4/3 (fma.f64 v v -1))
56.0ms
(/.f64 (/.f64 -4/3 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))

simplify45.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
837×times-frac_binary64
815×fma-def_binary64
318×cancel-sign-sub-inv_binary64
198×fma-neg_binary64
174×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02071637
16821601
225181567
Stop Event
1×node limit
Counts
120 → 144

prune142.0ms (5.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1422144
Fresh011
Picked101
Done000
Total1433146
Error
0b
Counts
146 → 3
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
0.0b
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
Compiler

Compiled 4215 to 3211 computations (23.8% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 1 (fma.f64 v v -1))
0.0b
(*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
✓0.0b
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
✓0.0b
(/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))

series47.0ms (1.8%)

Counts
3 → 36
Calls

3 calls:

23.0ms
(/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
20.0ms
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
4.0ms
(/.f64 1 (fma.f64 v v -1))

rewrite64.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
267×expm1-udef_binary64
267×log1p-udef_binary64
154×add-sqr-sqrt_binary64
144×add-cbrt-cube_binary64
144×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01659
132756
2395356
Stop Event
1×node limit
Counts
3 → 89
Calls

3 calls:

62.0ms
(/.f64 1 (fma.f64 v v -1))
62.0ms
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
62.0ms
(/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))

simplify52.0ms (2%)

Algorithm
1×egg-herbie
Rules
848×fma-def_binary64
807×times-frac_binary64
179×fma-neg_binary64
163×associate-+r+_binary64
152×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02112183
17202167
228402128
Stop Event
1×node limit
Counts
125 → 152

prune167.0ms (6.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1890189
Fresh022
Picked011
Done000
Total1893192
Error
0b
Counts
192 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
▶0.0b
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
Compiler

Compiled 6000 to 4653 computations (22.5% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (PI.f64) (fma.f64 v v -1))
✓1.0b
(/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
✓1.0b
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
✓1.0b
(/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1)))

series51.0ms (1.9%)

Counts
4 → 48
Calls

4 calls:

35.0ms
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
7.0ms
(/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
6.0ms
(/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1)))
3.0ms
(*.f64 (PI.f64) (fma.f64 v v -1))

rewrite63.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
268×expm1-udef_binary64
268×log1p-udef_binary64
155×add-sqr-sqrt_binary64
145×add-cbrt-cube_binary64
145×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01658
133256
2398956
Stop Event
1×node limit
Counts
4 → 127
Calls

4 calls:

60.0ms
(*.f64 (PI.f64) (fma.f64 v v -1))
60.0ms
(/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
60.0ms
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
60.0ms
(/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1)))

simplify62.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
843×fma-def_binary64
746×times-frac_binary64
186×sub-neg_binary64
171×associate-/r*_binary64
169×fma-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02421983
17721943
227911899
Stop Event
1×node limit
Counts
175 → 193

prune178.0ms (6.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1921193
Fresh101
Picked011
Done011
Total1933196
Error
0b
Counts
196 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
▶0.0b
(/.f64 (/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64)) (fma.f64 v v -1))
✓0.0b
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
Compiler

Compiled 5389 to 4150 computations (23% saved)

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64)) (fma.f64 v v -1))
✓1.0b
(/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64))
✓1.0b
(/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))

series45.0ms (1.7%)

Counts
3 → 36
Calls

3 calls:

21.0ms
(/.f64 (/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64)) (fma.f64 v v -1))
15.0ms
(/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64))
10.0ms
(/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))

rewrite65.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
259×expm1-udef_binary64
259×log1p-udef_binary64
146×add-sqr-sqrt_binary64
137×add-cbrt-cube_binary64
137×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01454
130054
2387554
Stop Event
1×node limit
Counts
3 → 101
Calls

3 calls:

63.0ms
(/.f64 (/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64)) (fma.f64 v v -1))
63.0ms
(/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64))
63.0ms
(/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))

simplify57.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
803×times-frac_binary64
372×cancel-sign-sub-inv_binary64
283×fma-neg_binary64
266×sub-neg_binary64
220×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02392237
17972193
230312192
Stop Event
1×node limit
Counts
137 → 168

prune146.0ms (5.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1680168
Fresh000
Picked011
Done022
Total1683171
Error
0b
Counts
171 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 -4/3 (/.f64 (/.f64 1 (fma.f64 v v -1)) (*.f64 (PI.f64) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
✓0.0b
(/.f64 (/.f64 (/.f64 -4/3 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))) (PI.f64)) (fma.f64 v v -1))
✓0.0b
(*.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1))) (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 v -6) 2))))
Compiler

Compiled 5467 to 4248 computations (22.3% saved)

regimes245.0ms (9.1%)

Accuracy

Total 0.0b remaining (61.9%)

Threshold costs 0.0b (61.9%)

Counts
76 → 1
Compiler

Compiled 5613 to 4488 computations (20% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
1×/-rgt-identity_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01624
12024
Stop Event
1×saturated

end69.0ms (2.6%)

Compiler

Compiled 89 to 69 computations (22.5% saved)

Profiling

Loading profile data...