Details

Time bar (total: 1.2s)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample605.0ms (52.5%)

Infinites
49.8% of outputs are infinite.
Results
481.0ms8256×body128valid
Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify91.0ms (7.9%)

Algorithm
1×egg-herbie
Rules
457×associate-*l*_binary64
414×associate-*l/_binary64
380×sqr-pow_binary64
368×unswap-sqr_binary64
321×exp-prod_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
199
2139
3229
4489
51109
62689
77779
814449
923619
1026759
1131609
1242429
1349649
1447819

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
Compiler

Compiled 24 to 15 computations (37.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))

series11.0ms (1%)

Counts
1 → 24
Calls

1 calls:

11.0ms
(*.f64 x (exp.f64 (*.f64 y y)))

rewrite4.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
3×*-un-lft-identity_binary64
3×add-cube-cbrt_binary64
Counts
1 → 20
Calls

1 calls:

3.0ms
(*.f64 x (exp.f64 (*.f64 y y)))

simplify78.0ms (6.8%)

Algorithm
1×egg-herbie
Rules
1088×fma-def_binary64
514×distribute-rgt-out_binary64
319×distribute-rgt-in_binary64
298×*-commutative_binary64
283×distribute-lft-in_binary64
Counts
44 → 38
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
053500
1119462
2339455
3810453
41612453
53757453
64476453
74923453

prune20.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New37138
Fresh000
Picked011
Done000
Total37239
Error
0b
Counts
39 → 2
Alt Table
StatusErrorProgram
▶5.1b
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
Compiler

Compiled 472 to 160 computations (66.1% saved)

localize9.0ms (0.8%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
✓5.3b
(*.f64 (pow.f64 y 4) x)
✓8.0b
(*.f64 (pow.f64 y 2) x)

series43.0ms (3.7%)

Counts
3 → 18
Calls

3 calls:

21.0ms
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
14.0ms
(*.f64 (pow.f64 y 4) x)
8.0ms
(*.f64 (pow.f64 y 2) x)

rewrite17.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
15×associate-*l*_binary64
13×add-exp-log_binary64
9×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64
Counts
3 → 72
Calls

3 calls:

8.0ms
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
4.0ms
(*.f64 (pow.f64 y 2) x)
3.0ms
(*.f64 (pow.f64 y 4) x)

simplify77.0ms (6.7%)

Algorithm
1×egg-herbie
Rules
898×fma-neg_binary64
410×unswap-sqr_binary64
364×fma-def_binary64
304×cancel-sign-sub-inv_binary64
264×distribute-rgt-in_binary64
Counts
90 → 121
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01191310
12831147
28511090
324061085
444361085
550001085

prune93.0ms (8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1210121
Fresh000
Picked011
Done011
Total1212123
Error
0b
Counts
123 → 2
Alt Table
StatusErrorProgram
✓5.1b
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
Compiler

Compiled 2521 to 1624 computations (35.6% saved)

regimes53.0ms (4.6%)

Accuracy

Total 0.0b remaining (29.7%)

Threshold costs 0.0b (29.7%)

Counts
10 → 1
Compiler

Compiled 705 to 447 computations (36.6% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
069
179
279

end40.0ms (3.5%)

Compiler

Compiled 41 to 27 computations (34.1% saved)

Profiling

Loading profile data...