Details

Time bar (total: 5.9s)

analyze11.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)

sample202.0ms (3.4%)

Algorithm
1×intervals
Results
34.0ms256×body128valid
Compiler

Compiled 44 to 34 computations (22.7% saved)

simplify134.0ms (2.3%)

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

prune9.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)

localize20.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series88.0ms (1.5%)

Counts
3 → 36
Calls

3 calls:

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

rewrite40.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
66×times-frac_binary64
39×add-sqr-sqrt_binary64
37×*-un-lft-identity_binary64
37×add-cube-cbrt_binary64
24×sqrt-prod_binary64
Counts
3 → 119
Calls

3 calls:

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

simplify263.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
790×fma-def_binary64
281×associate-/r*_binary64
258×cancel-sign-sub-inv_binary64
201×neg-mul-1_binary64
192×fma-neg_binary64
Counts
155 → 189
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03455140
18994776
232134751
348114751
450194751

prune323.0ms (5.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 5685 to 4221 computations (25.8% saved)

localize23.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

series67.0ms (1.1%)

Counts
3 → 36
Calls

3 calls:

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

rewrite59.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
59×add-exp-log_binary64
46×add-sqr-sqrt_binary64
40×times-frac_binary64
35×add-cbrt-cube_binary64
31×*-un-lft-identity_binary64
Counts
3 → 129
Calls

3 calls:

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

simplify277.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
889×fma-def_binary64
225×fma-neg_binary64
202×associate-/r*_binary64
195×associate-/l*_binary64
181×sub-neg_binary64
Counts
165 → 236
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03694578
110154033
236084016
347744015
449874015
549204015

prune392.0ms (6.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Compiled 6951 to 5204 computations (25.1% saved)

localize21.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series60.0ms (1%)

Counts
3 → 24
Calls

3 calls:

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

rewrite193.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Rules
804×times-frac_binary64
386×*-un-lft-identity_binary64
386×add-sqr-sqrt_binary64
386×add-cube-cbrt_binary64
132×sqrt-prod_binary64
Counts
3 → 427
Calls

3 calls:

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

simplify961.0ms (16.2%)

Algorithm
1×egg-herbie
Rules
742×fma-def_binary64
505×associate-/r*_binary64
334×associate-/l/_binary64
175×*-commutative_binary64
154×fma-neg_binary64
Counts
451 → 557
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
071320352
1172620028
2422220011
3496420011
4494020011

prune1.1s (18.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Compiled 19661 to 14216 computations (27.7% saved)

regimes195.0ms (3.3%)

Accuracy

Total 0.0b remaining (43.5%)

Threshold costs 0.0b (43.5%)

Counts
27 → 1
Compiler

Compiled 2004 to 1562 computations (22.1% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
1×+-commutative_binary64
1×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01526
11926
22126
32226
42226

end1.0ms (0%)

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.5s (24.8%)

Algorithm
1×intervals
Results
1.0s8000×body128valid
0.0ms1×body128nan
Compiler

Compiled 77 to 60 computations (22.1% saved)

Profiling

Loading profile data...