Details

Time bar (total: 3.2s)

analyze169.0ms (5.3%)

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)

sample896.0ms (28.3%)

Results
759.0ms8256×body128valid
26.0ms251×body128invalid
Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify83.0ms (2.6%)

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

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
10.6b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶10.6b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
Compiler

Compiled 49 to 31 computations (36.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series19.0ms (0.6%)

Counts
2 → 48
Calls

2 calls:

13.0ms
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
6.0ms
(*.f64 x (+.f64 (/.f64 x y) 1))

rewrite20.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
8×add-sqr-sqrt_binary64
6×add-cube-cbrt_binary64
Counts
2 → 54
Calls

2 calls:

9.0ms
(*.f64 x (+.f64 (/.f64 x y) 1))
8.0ms
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))

simplify85.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
697×associate-/l*_binary64
488×fma-def_binary64
324×distribute-rgt-in_binary64
311×associate-*l/_binary64
282×distribute-lft-in_binary64
Counts
102 → 103
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01331683
13661416
213911339
345961339
449661339
550371339

prune78.0ms (2.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New985103
Fresh000
Picked011
Done000
Total986104
Error
0b
Counts
104 → 6
Alt Table
StatusErrorProgram
32.9b
(*.f64 (sqrt.f64 (/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))) (sqrt.f64 (/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))))
✓10.6b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
▶0.1b
(/.f64 x (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)))
17.6b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
10.7b
(/.f64 1 (/.f64 (+.f64 x 1) (*.f64 x (+.f64 (/.f64 x y) 1))))
33.2b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
Compiler

Compiled 1944 to 1075 computations (44.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series25.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

14.0ms
(/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1))
11.0ms
(/.f64 x (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)))

rewrite34.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
155×*-un-lft-identity_binary64
146×times-frac_binary64
71×add-sqr-sqrt_binary64
71×add-cube-cbrt_binary64
42×distribute-lft-out_binary64
Counts
2 → 150
Calls

2 calls:

10.0ms
(/.f64 x (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)))
9.0ms
(/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1))

simplify156.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
778×fma-def_binary64
321×distribute-rgt-in_binary64
310×fma-neg_binary64
246×distribute-lft-in_binary64
239×sub-neg_binary64
Counts
198 → 254
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02825458
17055170
225934978
345584978
450104978

prune165.0ms (5.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2513254
Fresh314
Picked101
Done101
Total2564260
Error
0b
Counts
260 → 4
Alt Table
StatusErrorProgram
36.8b
(/.f64 x (+.f64 y (*.f64 (/.f64 y x) (-.f64 1 y))))
▶0.0b
(*.f64 (/.f64 x (+.f64 x 1)) (+.f64 (/.f64 x y) 1))
0.2b
(/.f64 1 (/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x))
17.6b
(+.f64 (/.f64 (pow.f64 x 2) (*.f64 (+.f64 1 x) y)) (/.f64 x (+.f64 1 x)))
Compiler

Compiled 6072 to 3500 computations (42.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series15.0ms (0.5%)

Counts
2 → 36
Calls

2 calls:

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

rewrite20.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64
25×times-frac_binary64
25×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
18×associate-*l*_binary64
Counts
2 → 81
Calls

2 calls:

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

simplify100.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
587×fma-def_binary64
493×times-frac_binary64
469×associate-/l*_binary64
406×distribute-rgt-in_binary64
359×distribute-lft-in_binary64
Counts
117 → 141
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01732124
15371831
216981817
346861817
449831817
549691817

prune95.0ms (3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1401141
Fresh123
Picked011
Done000
Total1414145
Error
0b
Counts
145 → 4
Alt Table
StatusErrorProgram
36.8b
(/.f64 x (+.f64 y (*.f64 (/.f64 y x) (-.f64 1 y))))
✓0.0b
(*.f64 (/.f64 x (+.f64 x 1)) (+.f64 (/.f64 x y) 1))
▶0.2b
(/.f64 1 (/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x))
17.6b
(+.f64 (/.f64 (*.f64 x x) (fma.f64 x y y)) (/.f64 x (+.f64 x 1)))
Compiler

Compiled 2738 to 1570 computations (42.7% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series26.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

15.0ms
(/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x)
11.0ms
(/.f64 1 (/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x))

rewrite98.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Rules
796×times-frac_binary64
588×*-un-lft-identity_binary64
332×add-sqr-sqrt_binary64
332×add-cube-cbrt_binary64
128×distribute-lft-out_binary64
Counts
2 → 418
Calls

2 calls:

21.0ms
(/.f64 1 (/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x))
10.0ms
(/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x)

simplify404.0ms (12.7%)

Algorithm
1×egg-herbie
Rules
666×fma-def_binary64
339×distribute-rgt-in_binary64
288×associate-/r/_binary64
240×sub-neg_binary64
240×fma-neg_binary64
Counts
466 → 500
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038515841
192013948
2290813727
3465913717
4499813717
5496113717

prune389.0ms (12.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New5880588
Fresh022
Picked011
Done011
Total5884592
Error
0b
Counts
592 → 4
Alt Table
StatusErrorProgram
36.8b
(/.f64 x (+.f64 y (*.f64 (/.f64 y x) (-.f64 1 y))))
✓0.0b
(*.f64 (/.f64 x (+.f64 x 1)) (+.f64 (/.f64 x y) 1))
✓0.2b
(/.f64 1 (/.f64 (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)) x))
17.6b
(+.f64 (/.f64 (*.f64 x x) (fma.f64 x y y)) (/.f64 x (+.f64 x 1)))
Compiler

Compiled 16516 to 10109 computations (38.8% saved)

regimes201.0ms (6.4%)

Accuracy

Total 0.0b remaining (77.5%)

Threshold costs 0.0b (77.5%)

Counts
69 → 1
Compiler

Compiled 3061 to 2006 computations (34.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11416
21316

end58.0ms (1.8%)

Compiler

Compiled 83 to 55 computations (33.7% saved)

Profiling

Loading profile data...