Details

Time bar (total: 2.2s)

analyze6.0ms (0.3%)

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.1s (50.3%)

Results
1.0s8256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify48.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
696×fma-neg_binary64
693×rules-5-rev_binary64
514×rules-20_binary64
376×rules-5_binary64
303×rules-11_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01731
13931
210628
340728
4153028
5440728
6489028

prune5.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 4/3 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))))
1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
Compiler

Compiled 119 to 87 computations (26.9% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))
✓0.0b
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v))))
✓0.0b
(*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))
✓0.2b
(*.f64 (*.f64 v v) 6)

series20.0ms (0.9%)

Counts
4 → 48
Calls

4 calls:

10.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v))))
4.0ms
(sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))
3.0ms
(*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))
2.0ms
(*.f64 (*.f64 v v) 6)

rewrite117.0ms (5.3%)

Algorithm
2×batch-egg-rewrite
Rules
551×prod-diff_binary64
289×egg-rr
134×add-sqr-sqrt_binary64
129×log1p-expm1-u_binary64
129×expm1-log1p-u_binary64
Counts
4 → 289
Calls

4 calls:

110.0ms
(sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))
110.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v))))
110.0ms
(*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))
110.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01355
131855
2385255
3486555
000
100

simplify43.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
138×fma-def_binary64
106×rules-13_binary64
88×rules-20_binary64
70×rules-14-rev_binary64
62×rules-7-rev_binary64
Counts
337 → 337
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01101204
13921204
219441204

prune303.0ms (13.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New3370337
Fresh011
Picked011
Done000
Total3372339
Error
0b
Counts
339 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 4/3 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))))
▶1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
Compiler

Compiled 12145 to 7140 computations (41.2% saved)

localize12.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series38.0ms (1.7%)

Counts
4 → 48
Calls

4 calls:

19.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
12.0ms
(*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
4.0ms
(sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))
3.0ms
(*.f64 6 (*.f64 v v))

rewrite156.0ms (7.1%)

Algorithm
2×batch-egg-rewrite
Rules
657×prod-diff_binary64
166×add-sqr-sqrt_binary64
163×log1p-expm1-u_binary64
163×expm1-log1p-u_binary64
161×add-log-exp_binary64
Counts
4 → 160
Calls

4 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01778
140978
2472778
3591178
000
100

simplify75.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
315×fma-def_binary64
254×rules-13_binary64
217×rules-14-rev_binary64
193×rules-20_binary64
164×rules-21_binary64
Counts
208 → 228
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02392143
18882143
245472143

prune165.0ms (7.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2280228
Fresh000
Picked011
Done011
Total2282230
Error
0b
Counts
230 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 4/3 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))))
✓1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
Compiler

Compiled 8613 to 6231 computations (27.7% saved)

regimes45.0ms (2%)

Accuracy

Total 0.0b remaining (62.5%)

Threshold costs 0.0b (62.5%)

Counts
8 → 1
Compiler

Compiled 676 to 556 computations (17.8% saved)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01528
11728
21628

end51.0ms (2.3%)

Compiler

Compiled 78 to 58 computations (25.6% saved)

Profiling

Loading profile data...