Details

Time bar (total: 2.8s)

analyze7.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.3s (46%)

Results
1.1s8256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify115.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
1332×fma-def_binary64
889×associate-/r*_binary64
605×neg-sub0_binary64
599×neg-mul-1_binary64
576×fma-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01731
14228
210226
326126
468426
5108824
6180124
7354124
8391424
9400224
10441624
11440924
12441524
13515924

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

series37.0ms (1.3%)

Counts
3 → 36
Calls

3 calls:

27.0ms
(/.f64 (/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -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))

rewrite64.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
80×egg-rr
Counts
3 → 80
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01445
129345
2350445
3488945
000
100

simplify66.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
672×fma-def_binary64
660×times-frac_binary64
581×fma-neg_binary64
252×cancel-sign-sub-inv_binary64
132×sub-neg_binary64
Counts
116 → 124
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01781475
15651444
220051340
347171334
450801334

prune210.0ms (7.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1222124
Fresh101
Picked101
Done000
Total1242126
Error
0b
Counts
126 → 2
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (*.f64 -4/3 (/.f64 1 (*.f64 (PI.f64) (fma.f64 v v -1)))) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
0.0b
(*.f64 -4/3 (/.f64 1 (*.f64 (*.f64 (PI.f64) (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
Compiler

Compiled 3532 to 2674 computations (24.3% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series43.0ms (1.5%)

Counts
3 → 36
Calls

3 calls:

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

rewrite69.0ms (2.5%)

Algorithm
2×batch-egg-rewrite
Rules
91×egg-rr
Counts
3 → 91
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01648
132648
2372648
3493648
000
100

simplify74.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
676×fma-def_binary64
660×times-frac_binary64
582×fma-neg_binary64
248×cancel-sign-sub-inv_binary64
150×distribute-neg-in_binary64
Counts
127 → 144
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01911677
16031653
221171563
347281557
450901557

prune131.0ms (4.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1690169
Fresh011
Picked011
Done000
Total1692171
Error
0b
Counts
171 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (*.f64 -4/3 (/.f64 1 (*.f64 (PI.f64) (fma.f64 v v -1)))) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
▶0.0b
(*.f64 -4/3 (/.f64 1 (*.f64 (*.f64 (PI.f64) (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
Compiler

Compiled 4603 to 3461 computations (24.8% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series98.0ms (3.5%)

Counts
3 → 36
Calls

3 calls:

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

rewrite74.0ms (2.6%)

Algorithm
2×batch-egg-rewrite
Rules
82×egg-rr
Counts
3 → 82
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01669
132069
2346169
3576169
000
100

simplify72.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
501×cancel-sign-sub-inv_binary64
387×sub-neg_binary64
336×fma-neg_binary64
229×fma-def_binary64
180×+-commutative_binary64
Counts
118 → 153
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02592642
18772599
234742595
350382595

prune161.0ms (5.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1780178
Fresh000
Picked011
Done011
Total1782180
Error
0b
Counts
180 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (*.f64 -4/3 (/.f64 1 (*.f64 (PI.f64) (fma.f64 v v -1)))) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
✓0.0b
(*.f64 -4/3 (/.f64 1 (*.f64 (*.f64 (PI.f64) (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))))
Compiler

Compiled 5957 to 4622 computations (22.4% saved)

regimes198.0ms (7.1%)

Accuracy

Total 0.0b remaining (50.1%)

Threshold costs 0.0b (50.1%)

Counts
38 → 1
Compiler

Compiled 2851 to 2334 computations (18.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01627
12127
22027

end58.0ms (2.1%)

Compiler

Compiled 76 to 60 computations (21.1% saved)

Profiling

Loading profile data...