Details

Time bar (total: 3.4s)

analyze614.0ms (17.8%)

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
0%99.9%0.1%6
14%85.8%0.1%7
22.6%77.2%0.1%8
23.8%74.5%1.7%9
40%56%4%10
47.3%48.7%4%11
48.4%45.8%5.8%12
58.6%32.4%9%13
63.4%27.5%9%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (38.1%)

Results
1.0s8256×body128valid
93.0ms799×body128invalid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify171.0ms (5%)

Algorithm
1×egg-herbie
Rules
907×associate-/l*_binary64
740×associate-/l/_binary64
677×fma-def_binary64
607×associate-/r/_binary64
557×associate-*l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0710
11710
22310
33610
44110
54710
6518
7618
82288
97618
108518
119648
129758
139808
149858
1522318
1622888
1726378
1826898
1929018
2030318
2132788
2237008
2341098
2441578
2548728
2649978
2748898

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 54 to 30 computations (44.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.4b
(fma.f64 x (/.f64 y z) x)

series14.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

14.0ms
(fma.f64 x (/.f64 y z) x)

rewrite1.0ms (0%)

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 x (/.f64 y z) x)

simplify77.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
635×fma-def_binary64
449×associate-/l/_binary64
410×distribute-rgt-in_binary64
404×distribute-rgt-out_binary64
400×unswap-sqr_binary64
Counts
46 → 24
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
022451
132374
263374
3171374
4650374
52482374
63613374
73881374
84329374
95248374

prune17.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New20424
Fresh101
Picked011
Done000
Total21526
Error
0.1b
Counts
26 → 5
Alt Table
StatusErrorProgram
▶4.5b
(+.f64 (/.f64 (*.f64 y x) z) x)
✓3.6b
(fma.f64 x (/.f64 y z) x)
35.7b
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y z) x)) (sqrt.f64 (fma.f64 x (/.f64 y z) x)))
38.6b
(cbrt.f64 (*.f64 (*.f64 (fma.f64 x (/.f64 y z) x) (fma.f64 x (/.f64 y z) x)) (fma.f64 x (/.f64 y z) x)))
59.9b
(log.f64 (exp.f64 (fma.f64 x (/.f64 y z) x)))
Compiler

Compiled 369 to 113 computations (69.4% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series26.0ms (0.7%)

Counts
2 → 18
Calls

2 calls:

14.0ms
(+.f64 (/.f64 (*.f64 y x) z) x)
11.0ms
(/.f64 (*.f64 y x) z)

rewrite17.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
8×*-un-lft-identity_binary64
7×fma-def_binary64
7×add-cbrt-cube_binary64
7×add-exp-log_binary64
6×times-frac_binary64
Counts
2 → 44
Calls

2 calls:

12.0ms
(+.f64 (/.f64 (*.f64 y x) z) x)
3.0ms
(/.f64 (*.f64 y x) z)

simplify72.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
864×fma-def_binary64
391×associate-/l*_binary64
377×*-commutative_binary64
368×times-frac_binary64
344×fma-neg_binary64
Counts
62 → 70
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
075603
1191582
2575526
32318525
44124525
54884525
64948525

prune52.0ms (1.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New66470
Fresh213
Picked011
Done011
Total68775
Error
0.0b
Counts
75 → 7
Alt Table
StatusErrorProgram
35.7b
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y z) x)) (sqrt.f64 (fma.f64 x (/.f64 y z) x)))
4.9b
(+.f64 (/.f64 (/.f64 (*.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) x)
✓4.5b
(+.f64 (/.f64 (*.f64 y x) z) x)
✓3.6b
(fma.f64 x (/.f64 y z) x)
4.1b
(+.f64 (/.f64 y (/.f64 z x)) x)
4.6b
(+.f64 (/.f64 1 (/.f64 z (*.f64 y x))) x)
▶4.0b
(+.f64 (*.f64 y (/.f64 x z)) x)
Compiler

Compiled 1001 to 310 computations (69% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series26.0ms (0.7%)

Counts
2 → 72
Calls

2 calls:

14.0ms
(+.f64 (*.f64 y (/.f64 x z)) x)
12.0ms
(*.f64 y (/.f64 x z))

rewrite14.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt_binary64
13×associate-*r*_binary64
10×times-frac_binary64
10×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
Counts
2 → 48
Calls

2 calls:

8.0ms
(+.f64 (*.f64 y (/.f64 x z)) x)
4.0ms
(*.f64 y (/.f64 x z))

simplify89.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
503×associate-/l/_binary64
383×associate-/r*_binary64
376×associate-/r/_binary64
314×associate-*l*_binary64
288×fma-neg_binary64
Counts
120 → 74
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0961066
12381049
27471043
322641042
445811042
548041042
650041042

prune53.0ms (1.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New73174
Fresh044
Picked011
Done112
Total74781
Error
0b
Counts
81 → 7
Alt Table
StatusErrorProgram
35.7b
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y z) x)) (sqrt.f64 (fma.f64 x (/.f64 y z) x)))
26.5b
(+.f64 (*.f64 (*.f64 y (sqrt.f64 (/.f64 x z))) (sqrt.f64 (/.f64 x z))) x)
4.9b
(+.f64 (/.f64 (/.f64 (*.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) x)
▶4.1b
(+.f64 (/.f64 y (/.f64 z x)) x)
4.6b
(+.f64 (/.f64 1 (/.f64 z (*.f64 y x))) x)
✓4.0b
(+.f64 (*.f64 y (/.f64 x z)) x)
✓4.5b
(+.f64 (/.f64 (*.f64 y x) z) x)
Compiler

Compiled 1134 to 360 computations (68.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (/.f64 y (/.f64 z x)) x)
✓5.0b
(/.f64 y (/.f64 z x))

series28.0ms (0.8%)

Counts
2 → 72
Calls

2 calls:

14.0ms
(/.f64 y (/.f64 z x))
14.0ms
(+.f64 (/.f64 y (/.f64 z x)) x)

rewrite40.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
141×times-frac_binary64
82×*-un-lft-identity_binary64
79×add-sqr-sqrt_binary64
79×add-cube-cbrt_binary64
44×fma-def_binary64
Counts
2 → 132
Calls

2 calls:

16.0ms
(+.f64 (/.f64 y (/.f64 z x)) x)
4.0ms
(/.f64 y (/.f64 z x))

simplify125.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
807×fma-def_binary64
357×associate-/r/_binary64
335×associate-/l/_binary64
324×associate-*l/_binary64
300×associate-/l*_binary64
Counts
204 → 185
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01742050
13831928
211191918
329881915
447411915
549881915

prune138.0ms (4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1823185
Fresh314
Picked011
Done022
Total1857192
Error
0b
Counts
192 → 7
Alt Table
StatusErrorProgram
4.1b
(+.f64 (/.f64 1 (/.f64 (/.f64 z x) y)) x)
4.9b
(+.f64 (/.f64 (/.f64 (*.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) x)
✓4.1b
(+.f64 (/.f64 y (/.f64 z x)) x)
✓4.0b
(+.f64 (*.f64 y (/.f64 x z)) x)
✓4.5b
(+.f64 (/.f64 (*.f64 y x) z) x)
3.6b
(fma.f64 (/.f64 y z) x x)
4.6b
(fma.f64 (/.f64 1 z) (/.f64 y (/.f64 1 x)) x)
Compiler

Compiled 2917 to 743 computations (74.5% saved)

regimes414.0ms (12%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Counts
38 → 5
Compiler

Compiled 2000 to 1130 computations (43.5% saved)

bsearch1.0ms (0%)

Compiler

Compiled 10 to 6 computations (40% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
035123
145123
244123

end108.0ms (3.1%)

Compiler

Compiled 253 to 115 computations (54.5% saved)

Profiling

Loading profile data...