Details

Time bar (total: 2.2s)

analyze251.0ms (11.5%)

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
12.5%87.4%0.1%5
31.2%68.7%0.1%6
46.8%53.1%0.1%7
60.9%39%0.1%8
67.9%31.2%0.9%9
74.5%22.2%3.2%10
77.9%17.2%5%11
81.1%11.8%7.1%12
82.7%9%8.3%13
84.3%6.1%9.7%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample18.0ms (0.8%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
1.0ms16×body128invalid
Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify83.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
1151×distribute-rgt-in_binary64
1143×distribute-lft-in_binary64
971×fma-def_binary64
653×associate-/l*_binary64
535×associate-/l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0916
12214
23014
37514
411214
522214
640614
741914
878314
993714
10125914
11161114
12177814
13201514
14293914
15324514
16507514

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
9.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶9.1b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
9.1b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
Compiler

Compiled 73 to 45 computations (38.4% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x (/.f64 x y) x)
✓8.5b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))

series19.0ms (0.9%)

Counts
2 → 48
Calls

2 calls:

12.0ms
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
7.0ms
(fma.f64 x (/.f64 x y) x)

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
12×times-frac_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
4×associate-/r*_binary64
Counts
2 → 45
Calls

2 calls:

3.0ms
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
1.0ms
(fma.f64 x (/.f64 x y) x)

simplify81.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
1032×fma-neg_binary64
526×cancel-sign-sub-inv_binary64
338×sub-neg_binary64
265×distribute-rgt-in_binary64
240×associate-/l/_binary64
Counts
93 → 74
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01081641
12451554
27141484
324091453
444391453
550611453

prune59.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New71374
Fresh101
Picked011
Done000
Total72476
Error
0b
Counts
76 → 4
Alt Table
StatusErrorProgram
✓9.1b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
▶0.0b
(*.f64 1 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1))))
37.3b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1)) 3))
13.3b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
Compiler

Compiled 1363 to 615 computations (54.9% saved)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (+.f64 x 1))
✓0.0b
(+.f64 (/.f64 x y) 1)
✓0.1b
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))

series19.0ms (0.9%)

Counts
3 → 51
Calls

3 calls:

12.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
4.0ms
(+.f64 (/.f64 x y) 1)
2.0ms
(/.f64 x (+.f64 x 1))

rewrite32.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
46×*-un-lft-identity_binary64
34×times-frac_binary64
33×add-sqr-sqrt_binary64
28×add-cube-cbrt_binary64
18×associate-*r*_binary64
Counts
3 → 106
Calls

3 calls:

16.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
5.0ms
(+.f64 (/.f64 x y) 1)
4.0ms
(/.f64 x (+.f64 x 1))

simplify143.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
440×fma-def_binary64
386×associate-/l*_binary64
386×times-frac_binary64
344×distribute-rgt-in_binary64
313×fma-neg_binary64
Counts
157 → 161
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01712330
14442167
214662015
344492015
448962015
549952015
649662015

prune116.0ms (5.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1610161
Fresh022
Picked011
Done011
Total1614165
Error
0b
Counts
165 → 4
Alt Table
StatusErrorProgram
✓9.1b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
✓0.0b
(*.f64 1 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1))))
37.3b
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1)) 3))
▶13.3b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
Compiler

Compiled 3335 to 2032 computations (39.1% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series24.0ms (1.1%)

Counts
3 → 36
Calls

3 calls:

17.0ms
(/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y))
4.0ms
(*.f64 (+.f64 1 x) y)
2.0ms
(/.f64 x (+.f64 1 x))

rewrite20.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity_binary64
20×times-frac_binary64
20×add-sqr-sqrt_binary64
20×add-exp-log_binary64
18×add-cube-cbrt_binary64
Counts
3 → 97
Calls

3 calls:

6.0ms
(/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y))
5.0ms
(/.f64 x (+.f64 1 x))
4.0ms
(*.f64 (+.f64 1 x) y)

simplify84.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
669×associate-/l*_binary64
425×associate-/r*_binary64
413×associate-*l*_binary64
265×fma-neg_binary64
255×associate-*l/_binary64
Counts
133 → 185
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01791811
13781533
212051524
343701524
449811524

prune133.0ms (6.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1841185
Fresh101
Picked011
Done112
Total1863189
Error
0b
Counts
189 → 3
Alt Table
StatusErrorProgram
▶5.1b
(+.f64 (/.f64 x (/.f64 (fma.f64 x y y) x)) (/.f64 x (+.f64 1 x)))
✓0.0b
(*.f64 1 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1))))
✓13.3b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
Compiler

Compiled 3896 to 2464 computations (36.8% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 x (+.f64 1 x))
✓0.1b
(/.f64 x (/.f64 (fma.f64 x y y) x))
✓8.8b
(/.f64 (fma.f64 x y y) x)

series25.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

15.0ms
(/.f64 x (/.f64 (fma.f64 x y y) x))
10.0ms
(/.f64 (fma.f64 x y y) x)

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/r*_binary64
Counts
2 → 101
Calls

2 calls:

4.0ms
(/.f64 x (/.f64 (fma.f64 x y y) x))
2.0ms
(/.f64 (fma.f64 x y y) x)

simplify116.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
601×associate-/r/_binary64
393×associate-/r*_binary64
378×associate-*r/_binary64
350×associate-*l*_binary64
260×fma-neg_binary64
Counts
149 → 194
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01832745
13822553
212362481
330442442
446442423
549452423

prune157.0ms (7.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2630263
Fresh000
Picked011
Done022
Total2633266
Error
0b
Counts
266 → 3
Alt Table
StatusErrorProgram
✓5.1b
(+.f64 (/.f64 x (/.f64 (fma.f64 x y y) x)) (/.f64 x (+.f64 1 x)))
✓0.0b
(*.f64 1 (*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1))))
✓13.3b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
Compiler

Compiled 5946 to 2070 computations (65.2% saved)

regimes123.0ms (5.6%)

Accuracy

Total 0.0b remaining (70.8%)

Threshold costs 0.0b (70.8%)

Counts
45 → 1
Compiler

Compiled 1793 to 1193 computations (33.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
11519
21419

end0.0ms (0%)

Compiler

Compiled 15 to 9 computations (40% saved)

sample614.0ms (28.1%)

Algorithm
1×intervals
Results
337.0ms8000×body128valid
16.0ms264×body128invalid
Compiler

Compiled 79 to 53 computations (32.9% saved)

Profiling

Loading profile data...