Details

Time bar (total: 2.0s)

analyze5.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 15 to 12 computations (20% saved)

sample951.0ms (46.9%)

Results
936.0ms8256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 30 to 24 computations (20% saved)

preprocess56.0ms (2.7%)

Algorithm
2×egg-herbie
Rules
972×fma-def_binary64
722×fma-neg_binary64
154×cancel-sign-sub-inv_binary64
107×distribute-rgt-in_binary64
80×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
13314
27612
318212
43779
55429
68699
715359
824469
928279
1029399
1130659
1230719
1330719
011
Stop Event
1×saturated
1×saturated
Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify46.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
972×fma-def_binary64
722×fma-neg_binary64
154×cancel-sign-sub-inv_binary64
107×distribute-rgt-in_binary64
80×associate-*l*_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01119
13314
27612
318212
43779
55429
68699
715359
824469
928279
1029399
1130659
1230719
1330719
Stop Event
1×saturated
Counts
1 → 2

prune3.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.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 65 to 50 computations (23.1% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x 9 -12)
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)

series7.0ms (0.3%)

Counts
2 → 24
Calls

6 calls:

3.0ms
(fma.f64 x 9 -12)
x
0
1.0ms
(fma.f64 x 9 -12)
x
-inf
1.0ms
(fma.f64 x (fma.f64 x 9 -12) 3)
x
-inf
1.0ms
(fma.f64 x (fma.f64 x 9 -12) 3)
x
inf
1.0ms
(fma.f64 x (fma.f64 x 9 -12) 3)
x
0

rewrite38.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
607×pow1_binary64
568×add-log-exp_binary64
568×log1p-expm1-u_binary64
568×expm1-log1p-u_binary64
66×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
114214
2149514
Stop Event
1×node limit
Counts
2 → 44

simplify41.0ms (2%)

Algorithm
1×egg-herbie
Rules
631×fma-neg_binary64
466×cancel-sign-sub-inv_binary64
418×distribute-rgt-neg-in_binary64
413×fma-def_binary64
296×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
016198
138182
269156
3141144
4380144
51208144
62780144
74663144
Stop Event
1×node limit
Counts
68 → 58

prune42.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New57158
Fresh011
Picked011
Done000
Total57360
Error
0.0b
Counts
60 → 3
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 673 to 527 computations (21.7% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 3 (*.f64 9 (pow.f64 x 2)))
✓0.0b
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
✓0.2b
(*.f64 9 (pow.f64 x 2))

series10.0ms (0.5%)

Counts
3 → 9
Calls

9 calls:

1.0ms
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
x
0
1.0ms
(+.f64 3 (*.f64 9 (pow.f64 x 2)))
x
-inf
1.0ms
(+.f64 3 (*.f64 9 (pow.f64 x 2)))
x
inf
1.0ms
(-.f64 (+.f64 3 (*.f64 9 (pow.f64 x 2))) (*.f64 12 x))
x
inf
1.0ms
(+.f64 3 (*.f64 9 (pow.f64 x 2)))
x
0

rewrite68.0ms (3.4%)

Algorithm
1×batch-egg-rewrite
Rules
494×log-prod_binary64
395×fma-def_binary64
203×expm1-udef_binary64
203×log1p-udef_binary64
193×fma-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01133
125129
2317827
Stop Event
1×node limit
Counts
3 → 188

simplify37.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
806×fma-def_binary64
757×fma-neg_binary64
415×distribute-rgt-neg-in_binary64
350×cancel-sign-sub-inv_binary64
293×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01163
12759
25255
312151
433151
5110951
6242351
7461451
Stop Event
1×node limit
Counts
197 → 195

prune179.0ms (8.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1932195
Fresh011
Picked101
Done011
Total1944198
Error
0.0b
Counts
198 → 4
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
10.4b
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (*.f64 (cbrt.f64 (*.f64 x x)) 9) (-.f64 3 (*.f64 x 12)))
Compiler

Compiled 3640 to 2443 computations (32.9% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
✓0.1b
(fma.f64 9 (*.f64 x x) (*.f64 x -12))

series5.0ms (0.3%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(fma.f64 9 (*.f64 x x) (*.f64 x -12))
x
0
1.0ms
(fma.f64 9 (*.f64 x x) (*.f64 x -12))
x
-inf
1.0ms
(fma.f64 9 (*.f64 x x) (*.f64 x -12))
x
inf
1.0ms
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
x
inf
1.0ms
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
x
-inf

rewrite46.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
828×log1p-expm1-u_binary64
828×expm1-log1p-u_binary64
92×add-sqr-sqrt_binary64
88×add-exp-log_binary64
88×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0925
119125
2221925
Stop Event
1×node limit
Counts
2 → 55

simplify43.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
631×fma-neg_binary64
463×cancel-sign-sub-inv_binary64
418×distribute-rgt-neg-in_binary64
406×fma-def_binary64
295×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
015279
134245
264220
3152180
4401180
51245180
62815180
74694180
Stop Event
1×node limit
Counts
79 → 65

prune57.0ms (2.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh022
Picked011
Done011
Total65469
Error
0.0b
Counts
69 → 4
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
▶0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
10.4b
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (*.f64 (cbrt.f64 (*.f64 x x)) 9) (-.f64 3 (*.f64 x 12)))
Compiler

Compiled 1165 to 791 computations (32.1% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
✓0.2b
(*.f64 (*.f64 x 3) x)

series5.0ms (0.2%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
x
-inf
1.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
x
inf
1.0ms
(*.f64 (*.f64 x 3) x)
x
0
1.0ms
(*.f64 (*.f64 x 3) x)
x
-inf
1.0ms
(*.f64 (*.f64 x 3) x)
x
inf

rewrite49.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
707×fma-def_binary64
400×fma-neg_binary64
206×log1p-udef_binary64
204×expm1-udef_binary64
123×add-sqr-sqrt_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01126
125621
2335219
Stop Event
1×node limit
Counts
2 → 45

simplify41.0ms (2%)

Algorithm
1×egg-herbie
Rules
631×fma-neg_binary64
465×cancel-sign-sub-inv_binary64
417×distribute-rgt-neg-in_binary64
405×fma-def_binary64
296×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
014228
135212
270196
3169174
4454174
51419174
62989174
74871174
Stop Event
1×node limit
Counts
69 → 56

prune47.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New55156
Fresh011
Picked101
Done022
Total56460
Error
0b
Counts
60 → 4
Alt Table
StatusErrorProgram
0.1b
(fma.f64 3 (*.f64 x (fma.f64 x 3 -4)) 3)
✓0.1b
(+.f64 3 (fma.f64 9 (*.f64 x x) (*.f64 x -12)))
✓0.1b
(fma.f64 x (fma.f64 x 9 -12) 3)
10.4b
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (*.f64 (cbrt.f64 (*.f64 x x)) 9) (-.f64 3 (*.f64 x 12)))
Compiler

Compiled 856 to 688 computations (19.6% saved)

regimes158.0ms (7.8%)

Accuracy

Total 0.1b remaining (86.8%)

Threshold costs 0.1b (86.8%)

Counts
40 → 1
Compiler

Compiled 2000 to 1549 computations (22.6% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
11114
Stop Event
1×saturated

end67.0ms (3.3%)

Stop Event
1×fuel
Compiler

Compiled 68 to 51 computations (25% saved)

Profiling

Loading profile data...