Details

Time bar (total: 2.2s)

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

Results
1.2s8256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify117.0ms (5.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

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)

localize9.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series10.0ms (0.5%)

Counts
2 → 24
Calls

2 calls:

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

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
8×add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64
Counts
2 → 45
Calls

2 calls:

3.0ms
(/.f64 -4/3 (*.f64 (PI.f64) (fma.f64 v v -1)))
3.0ms
(*.f64 (PI.f64) (fma.f64 v v -1))

simplify78.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
952×fma-neg_binary64
306×cancel-sign-sub-inv_binary64
291×associate-/r*_binary64
258×associate-*l*_binary64
226×distribute-lft-out_binary64
Counts
69 → 76
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01211182
12811024
29251018
328601001
44703995
55262995

prune60.0ms (2.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New75176
Fresh011
Picked101
Done000
Total76278
Error
0b
Counts
78 → 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 (/.f64 1 (PI.f64)) (/.f64 -4/3 (fma.f64 v v -1))) (sqrt.f64 (fma.f64 v (*.f64 v -6) 2)))
Compiler

Compiled 1750 to 1222 computations (30.2% saved)

localize14.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓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)))

series10.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(*.f64 (/.f64 1 (PI.f64)) (/.f64 -4/3 (fma.f64 v v -1)))
3.0ms
(/.f64 -4/3 (fma.f64 v v -1))

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
41×add-sqr-sqrt_binary64
34×times-frac_binary64
26×*-un-lft-identity_binary64
26×add-exp-log_binary64
24×add-cube-cbrt_binary64
Counts
2 → 87
Calls

2 calls:

9.0ms
(*.f64 (/.f64 1 (PI.f64)) (/.f64 -4/3 (fma.f64 v v -1)))
2.0ms
(/.f64 -4/3 (fma.f64 v v -1))

simplify133.0ms (6%)

Algorithm
1×egg-herbie
Rules
683×fma-neg_binary64
355×fma-def_binary64
339×associate-/l*_binary64
318×associate-*l/_binary64
262×associate-*l*_binary64
Counts
111 → 155
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01882142
14701903
213921900
341081900
449481900
549671900
649791900

prune122.0ms (5.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1541155
Fresh101
Picked011
Done000
Total1552157
Error
0b
Counts
157 → 2
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (/.f64 (*.f64 (/.f64 1 (PI.f64)) -4/3) (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 4073 to 2993 computations (26.5% saved)

localize12.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.3%)

Counts
1 → 12
Calls

1 calls:

6.0ms
(/.f64 (*.f64 (/.f64 1 (PI.f64)) -4/3) (fma.f64 v v -1))

rewrite8.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
16×add-exp-log_binary64
10×add-cbrt-cube_binary64
7×div-exp_binary64
4×cbrt-undiv_binary64
4×prod-exp_binary64
Counts
1 → 28
Calls

1 calls:

6.0ms
(/.f64 (*.f64 (/.f64 1 (PI.f64)) -4/3) (fma.f64 v v -1))

simplify70.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
753×fma-neg_binary64
493×times-frac_binary64
414×associate-/l*_binary64
307×associate-/l/_binary64
291×associate-/r*_binary64
Counts
40 → 57
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0116861
1304749
2972747
33920746
44961746
55136746

prune46.0ms (2.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New57057
Fresh000
Picked011
Done011
Total57259
Error
0b
Counts
59 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (/.f64 (*.f64 (/.f64 1 (PI.f64)) -4/3) (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 1455 to 1056 computations (27.4% saved)

regimes81.0ms (3.7%)

Accuracy

Total 0.0b remaining (45.9%)

Threshold costs 0.0b (45.9%)

Counts
23 → 1
Compiler

Compiled 1712 to 1346 computations (21.4% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01424
11524
21524

end60.0ms (2.7%)

Compiler

Compiled 72 to 56 computations (22.2% saved)

Profiling

Loading profile data...