Details

Time bar (total: 3.0s)

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

Results
1.0s8256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify60.0ms (2%)

Algorithm
1×egg-herbie
Rules
1033×rules-42_binary64
793×fma-neg_binary64
784×rules-41_binary64
784×rules-43_binary64
451×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01731
110731
232628
3145626
4367926
52626

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 (*.f64 (PI.f64) (-.f64 1 (*.f64 v v)))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
Compiler

Compiled 116 to 84 computations (27.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series40.0ms (1.3%)

Counts
4 → 48
Calls

4 calls:

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

rewrite99.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
491×prod-diff_binary64
237×log1p-udef_binary64
231×egg-rr
138×add-sqr-sqrt_binary64
132×log1p-expm1-u_binary64
Counts
4 → 231
Calls

4 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01461
133161
2378861
3506861
000
100

simplify60.0ms (2%)

Algorithm
1×egg-herbie
Rules
469×fma-def_binary64
427×fma-neg_binary64
365×rules-40_binary64
365×rules-41_binary64
365×rules-42_binary64
Counts
279 → 294
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02161799
115971799
255831799

prune289.0ms (9.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2922294
Fresh011
Picked101
Done000
Total2933296
Error
0b
Counts
296 → 3
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.2b
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
0.2b
(/.f64 (+.f64 (*.f64 4/3 (/.f64 (pow.f64 v 2) (PI.f64))) (*.f64 4/3 (/.f64 1 (PI.f64)))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
Compiler

Compiled 9796 to 5766 computations (41.1% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series34.0ms (1.1%)

Counts
4 → 36
Calls

4 calls:

18.0ms
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
8.0ms
(fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64)))
7.0ms
(/.f64 (*.f64 v v) (PI.f64))
0.0ms
(/.f64 4/3 (PI.f64))

rewrite81.0ms (2.7%)

Algorithm
2×batch-egg-rewrite
Rules
830×fma-neg_binary64
267×prod-diff_binary64
222×expm1-udef_binary64
222×log1p-udef_binary64
131×egg-rr
Counts
4 → 131
Calls

4 calls:

77.0ms
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
76.0ms
(fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64)))
76.0ms
(/.f64 (*.f64 v v) (PI.f64))
76.0ms
(/.f64 4/3 (PI.f64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01357
130157
2344257
3526857
000
100

simplify38.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
235×fma-neg_binary64
220×rules-7-rev_binary64
200×fma-def_binary64
189×rules-40_binary64
189×rules-41_binary64
Counts
167 → 160
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01171066
18461066
241301066

prune130.0ms (4.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1591160
Fresh112
Picked011
Done000
Total1603163
Error
0b
Counts
163 → 3
Alt Table
StatusErrorProgram
▶0.2b
(/.f64 (fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
✓0.2b
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v 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 4333 to 2695 computations (37.8% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64)))
0.2b
(/.f64 (*.f64 v v) (PI.f64))
1.0b
(/.f64 4/3 (PI.f64))
✓3.9b
(log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64))))

series16.0ms (0.5%)

Counts
2 → 24
Calls

2 calls:

10.0ms
(fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64)))
6.0ms
(log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64))))

rewrite57.0ms (1.9%)

Algorithm
2×batch-egg-rewrite
Rules
823×log1p-expm1-u_binary64
823×expm1-log1p-u_binary64
205×prod-diff_binary64
89×add-sqr-sqrt_binary64
82×add-cbrt-cube_binary64
Counts
2 → 73
Calls

2 calls:

55.0ms
(fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64)))
55.0ms
(log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01024
120524
2244624
3572724
000
100

simplify62.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
1028×rules-42_binary64
1027×rules-40_binary64
877×rules-41_binary64
877×rules-43_binary64
753×fma-neg_binary64
Counts
97 → 77
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013192
178192
2243192
31201192
43090192
521192

prune118.0ms (3.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh011
Picked011
Done011
Total1423145
Error
0b
Counts
145 → 3
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
✓0.2b
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v 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 3412 to 1913 computations (43.9% saved)

localize10.0ms (0.3%)

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

series49.0ms (1.6%)

Counts
4 → 48
Calls

4 calls:

24.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
17.0ms
(*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
6.0ms
(sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))
2.0ms
(*.f64 6 (*.f64 v v))

rewrite113.0ms (3.7%)

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:

108.0ms
(sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))
108.0ms
(*.f64 (*.f64 (*.f64 3 (PI.f64)) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
108.0ms
(*.f64 6 (*.f64 v v))
108.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
2472678
3591078
000
100

simplify62.0ms (2%)

Algorithm
1×egg-herbie
Rules
555×fma-neg_binary64
527×fma-def_binary64
420×rules-40_binary64
420×rules-41_binary64
420×rules-42_binary64
Counts
208 → 228
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02392143
118102143
252082143

prune238.0ms (7.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2280228
Fresh000
Picked011
Done022
Total2283231
Error
0b
Counts
231 → 3
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (fma.f64 4/3 (log.f64 (exp.f64 (/.f64 (*.f64 v v) (PI.f64)))) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v v) -6 2)))
✓0.2b
(/.f64 (fma.f64 4/3 (/.f64 (*.f64 v v) (PI.f64)) (/.f64 4/3 (PI.f64))) (sqrt.f64 (fma.f64 (*.f64 v 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 8634 to 6245 computations (27.7% saved)

regimes248.0ms (8.2%)

Accuracy

Total 0.0b remaining (44.7%)

Threshold costs 0.0b (44.7%)

Counts
77 → 1
Compiler

Compiled 6216 to 4666 computations (24.9% saved)

simplify1.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01630
11830
21730

end70.0ms (2.3%)

Compiler

Compiled 101 to 74 computations (26.7% saved)

Profiling

Loading profile data...