Details

Time bar (total: 2.7s)

analyze328.0ms (12.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
9.4%65.5%25.1%6
14%60.8%25.1%7
14%56.2%29.8%8
14%36.7%49.3%9
14.8%30.4%54.8%10
15.5%28.3%56.2%11
16.4%18.3%65.2%12
17.2%15.2%67.6%13
17.7%14.2%68.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample87.0ms (3.3%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
6.0ms57×body128invalid
2.0ms61×body128nan
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify69.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
508×unswap-sqr_binary64
478×associate-/l/_binary64
431×associate-/r/_binary64
362×fma-neg_binary64
337×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0914
11812
24112
38112
413312
527512
673212
7158012
8313412
9346312
10462712
11495512

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
Compiler

Compiled 42 to 25 computations (40.5% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
✓0.0b
(-.f64 (fma.f64 y (log.f64 y) x) z)
✓0.1b
(fma.f64 y (log.f64 y) x)

series133.0ms (5%)

Counts
3 → 72
Calls

3 calls:

78.0ms
(-.f64 (fma.f64 y (log.f64 y) x) z)
43.0ms
(fma.f64 y (log.f64 y) x)
11.0ms
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
23×*-un-lft-identity_binary64
23×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64
18×prod-diff_binary64
14×exp-sum_binary64
Counts
3 → 72
Calls

3 calls:

4.0ms
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
3.0ms
(-.f64 (fma.f64 y (log.f64 y) x) z)
0.0ms
(fma.f64 y (log.f64 y) x)

simplify89.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
835×times-frac_binary64
694×fma-def_binary64
617×fma-neg_binary64
289×*-commutative_binary64
194×distribute-rgt-in_binary64
Counts
144 → 120
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01741997
13851871
212041708
336731708
456911708

prune96.0ms (3.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1182120
Fresh000
Picked101
Done000
Total1192121
Error
0b
Counts
121 → 2
Alt Table
StatusErrorProgram
0.5b
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (exp.f64 (-.f64 x z)))
▶0.0b
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))
Compiler

Compiled 2198 to 593 computations (73% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (fma.f64 y (log.f64 y) x) z)
✓0.0b
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))
0.1b
(fma.f64 y (log.f64 y) x)

series10.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

10.0ms
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
14×unpow-prod-up_binary64
12×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×prod-diff_binary64
Counts
1 → 37
Calls

1 calls:

4.0ms
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))

simplify81.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
916×times-frac_binary64
402×fma-def_binary64
378×fma-neg_binary64
247×*-commutative_binary64
211×sqr-pow_binary64
Counts
73 → 72
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01491316
13401234
29861160
325301154
447201154
549281154

prune67.0ms (2.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1360136
Fresh011
Picked011
Done000
Total1362138
Error
0b
Counts
138 → 2
Alt Table
StatusErrorProgram
▶0.5b
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (exp.f64 (-.f64 x z)))
✓0.0b
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))
Compiler

Compiled 2546 to 637 computations (75% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 y (log.f64 y)) 1)
✓0.3b
(*.f64 y (log.f64 y))

series41.0ms (1.6%)

Counts
2 → 20
Calls

2 calls:

35.0ms
(*.f64 y (log.f64 y))
7.0ms
(+.f64 (*.f64 y (log.f64 y)) 1)

rewrite9.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
12×log-prod_binary64
10×add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64
8×add-cube-cbrt_binary64
6×associate-+l+_binary64
Counts
2 → 47
Calls

2 calls:

4.0ms
(+.f64 (*.f64 y (log.f64 y)) 1)
3.0ms
(*.f64 y (log.f64 y))

simplify105.0ms (4%)

Algorithm
1×egg-herbie
Rules
567×neg-mul-1_binary64
457×unsub-neg_binary64
329×div-sub_binary64
281×distribute-lft-neg-out_binary64
264×associate-*l*_binary64
Counts
67 → 75
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
093664
1197639
2484578
31074578
42410578
54069578
64975578
74881578

prune42.0ms (1.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New75075
Fresh000
Picked011
Done011
Total75277
Error
0b
Counts
77 → 2
Alt Table
StatusErrorProgram
✓0.5b
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (exp.f64 (-.f64 x z)))
✓0.0b
(pow.f64 (E.f64) (-.f64 (fma.f64 y (log.f64 y) x) z))
Compiler

Compiled 1272 to 484 computations (61.9% saved)

regimes304.0ms (11.4%)

Accuracy

Total -0.0b remaining (-7.3%)

Threshold costs -0.0b (-7.3%)

Counts
47 → 1
Compiler

Compiled 4179 to 2918 computations (30.2% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11412
21812
32012
42112
52012

end0.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.1s (42.9%)

Algorithm
1×intervals
Results
507.0ms8000×body128valid
102.0ms1851×body128invalid
100.0ms2297×body128nan
Compiler

Compiled 53 to 37 computations (30.2% saved)

Profiling

Loading profile data...