Details

Time bar (total: 1.3s)

analyze1.0ms (0.1%)

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

Compiled 18 to 8 computations (55.6% saved)

sample556.0ms (41.4%)

Infinites
44.2% of outputs are infinite.
Results
511.0ms8256×body128valid
Compiler

Compiled 53 to 23 computations (56.6% saved)

simplify7.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
28×fma-def_binary64
4×*-commutative_binary64
4×associate-+l+_binary64
4×associate-*r*_binary64
3×+-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0820
11515
23011
34911
46311
56711
66511

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
(+.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 y y)) (*.f64 y y))
▶0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))
Compiler

Compiled 79 to 36 computations (54.4% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))

series7.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(fma.f64 y (*.f64 y 3) (*.f64 x x))

rewrite1.0ms (0.1%)

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

1 calls:

0.0ms
(fma.f64 y (*.f64 y 3) (*.f64 x x))

simplify58.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
911×fma-def_binary64
466×distribute-rgt-in_binary64
460×distribute-lft-in_binary64
356×unswap-sqr_binary64
323×*-commutative_binary64
Counts
34 → 24
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
022394
135371
266371
3184371
4793371
53022371
64320371
75097371

prune18.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New22224
Fresh101
Picked011
Done000
Total23326
Error
0b
Counts
26 → 3
Alt Table
StatusErrorProgram
0.1b
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))
▶0.1b
(fma.f64 x x (*.f64 3 (*.f64 y y)))
✓0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))
Compiler

Compiled 359 to 185 computations (48.5% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 3 (*.f64 y y))

series3.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(*.f64 3 (*.f64 y y))

rewrite6.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*l*_binary64
3×add-sqr-sqrt_binary64
Counts
1 → 21
Calls

1 calls:

4.0ms
(*.f64 3 (*.f64 y y))

simplify59.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
722×fma-def_binary64
701×associate-/l/_binary64
384×distribute-rgt-in_binary64
347×distribute-lft-in_binary64
212×*-commutative_binary64
Counts
33 → 24
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
039306
176270
2175261
3419261
4633261
51054261
62130261
74875261
84875261

prune20.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New24024
Fresh011
Picked011
Done011
Total24327
Error
0b
Counts
27 → 3
Alt Table
StatusErrorProgram
▶0.1b
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))
✓0.1b
(fma.f64 x x (*.f64 3 (*.f64 y y)))
✓0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))
Compiler

Compiled 368 to 204 computations (44.6% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))
✓0.1b
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))
✓30.1b
(sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x)))

series24.0ms (1.8%)

Counts
2 → 48
Calls

2 calls:

16.0ms
(sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x)))
8.0ms
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))

rewrite11.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
18×pow1_binary64
11×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64
Counts
2 → 68
Calls

2 calls:

5.0ms
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))
1.0ms
(sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x)))

simplify80.0ms (6%)

Algorithm
1×egg-herbie
Rules
565×times-frac_binary64
429×unswap-sqr_binary64
332×associate-*l*_binary64
318×associate-*r*_binary64
250×associate-/l*_binary64
Counts
116 → 122
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01102141
12641953
28301863
341231826
451311826

prune165.0ms (12.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2230223
Fresh000
Picked011
Done022
Total2233226
Error
0b
Counts
226 → 3
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))) (sqrt.f64 (fma.f64 y (*.f64 y 3) (*.f64 x x))))
✓0.1b
(fma.f64 x x (*.f64 3 (*.f64 y y)))
✓0.1b
(fma.f64 y (*.f64 y 3) (*.f64 x x))
Compiler

Compiled 5648 to 3193 computations (43.5% saved)

regimes254.0ms (18.9%)

Accuracy

Total 0.0b remaining (74.8%)

Threshold costs 0.0b (74.8%)

Counts
30 → 1
Compiler

Compiled 2318 to 1582 computations (31.8% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1811
2811

end52.0ms (3.9%)

Compiler

Compiled 61 to 36 computations (41% saved)

Profiling

Loading profile data...