Details

Time bar (total: 2.0s)

analyze443.0ms (22.4%)

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
12.5%87.4%0.1%7
25%74.9%0.1%8
28.1%68.6%3.3%9
40.6%52.3%7.2%10
49.1%42.1%8.7%11
51.5%37.3%11.3%12
59.1%27.1%13.8%13
63.7%21.9%14.4%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample918.0ms (46.4%)

Results
777.0ms8256×body128valid
74.0ms715×body128invalid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify20.0ms (1%)

Algorithm
1×egg-herbie
Rules
295×fma-neg_binary64
252×fma-def_binary64
95×cancel-sign-sub-inv_binary64
42×distribute-rgt-neg-in_binary64
41×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911
11811
22811
34310
46210
58710
613710
722310
847510
984110
10112910
11121510
12122010
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

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.0b
(-.f64 (*.f64 x (+.f64 y z)) z)
0.0b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 63 to 39 computations (38.1% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series12.0ms (0.6%)

Counts
2 → 72
Calls

2 calls:

6.0ms
(-.f64 (*.f64 x (+.f64 y z)) z)
6.0ms
(*.f64 x (+.f64 y z))

rewrite57.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
470×fma-def_binary64
437×log-prod_binary64
227×fma-neg_binary64
184×egg-rr
158×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
116517
2253317
Stop Event
1×node limit
Counts
2 → 184
Calls

2 calls:

53.0ms
(-.f64 (*.f64 x (+.f64 y z)) z)
53.0ms
(*.f64 x (+.f64 y z))

simplify39.0ms (2%)

Algorithm
1×egg-herbie
Rules
306×fma-def_binary64
247×fma-neg_binary64
54×cancel-sign-sub-inv_binary64
45×associate-*r*_binary64
40×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019554
143554
282554
3158554
4309554
5602554
61054554
71285554
81303554
Stop Event
1×saturated
Counts
256 → 194

prune80.0ms (4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1922194
Fresh101
Picked101
Done000
Total1942196
Error
0b
Counts
196 → 2
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (fma.f64 x y (*.f64 x z)) z)
0.0b
(fma.f64 (+.f64 y z) x (neg.f64 z))
Compiler

Compiled 2890 to 763 computations (73.6% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x y (*.f64 x z))
✓0.0b
(-.f64 (fma.f64 x y (*.f64 x z)) z)

series15.0ms (0.7%)

Counts
2 → 72
Calls

2 calls:

8.0ms
(-.f64 (fma.f64 x y (*.f64 x z)) z)
7.0ms
(fma.f64 x y (*.f64 x z))

rewrite48.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
778×log1p-expm1-u_binary64
778×expm1-log1p-u_binary64
623×prod-diff_binary64
80×egg-rr
79×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0719
115017
2203417
Stop Event
1×node limit
Counts
2 → 80
Calls

2 calls:

47.0ms
(fma.f64 x y (*.f64 x z))
47.0ms
(-.f64 (fma.f64 x y (*.f64 x z)) z)

simplify37.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
306×fma-def_binary64
247×fma-neg_binary64
54×cancel-sign-sub-inv_binary64
44×associate-*r*_binary64
40×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019554
143554
282554
3158554
4309554
5602554
61055554
71286554
81304554
Stop Event
1×saturated
Counts
152 → 92

prune37.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New92092
Fresh011
Picked011
Done000
Total92294
Error
0b
Counts
94 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 x y (*.f64 x z)) z)
▶0.0b
(fma.f64 (+.f64 y z) x (neg.f64 z))
Compiler

Compiled 1302 to 377 computations (71% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 (+.f64 y z) x (neg.f64 z))

series9.0ms (0.5%)

Counts
1 → 36
Calls

1 calls:

9.0ms
(fma.f64 (+.f64 y z) x (neg.f64 z))

rewrite54.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
782×prod-diff_binary64
669×log1p-expm1-u_binary64
669×expm1-log1p-u_binary64
155×egg-rr
80×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
11528
221198
Stop Event
1×node limit
Counts
1 → 155
Calls

1 calls:

51.0ms
(fma.f64 (+.f64 y z) x (neg.f64 z))

simplify31.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
304×fma-def_binary64
243×fma-neg_binary64
52×cancel-sign-sub-inv_binary64
45×associate-*r*_binary64
40×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019320
143320
282320
3156320
4307320
5600320
61054320
71282320
81295320
Stop Event
1×saturated
Counts
191 → 166

prune63.0ms (3.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1660166
Fresh000
Picked011
Done011
Total1662168
Error
0b
Counts
168 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 x y (*.f64 x z)) z)
✓0.0b
(fma.f64 (+.f64 y z) x (neg.f64 z))
Compiler

Compiled 3602 to 1047 computations (70.9% saved)

regimes56.0ms (2.8%)

Accuracy

Total 0.0b remaining (94.2%)

Threshold costs 0.0b (94.2%)

Counts
14 → 1
Compiler

Compiled 628 to 374 computations (40.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11011
21511
31711
41811
Stop Event
1×saturated

end39.0ms (2%)

Compiler

Compiled 43 to 24 computations (44.2% saved)

Profiling

Loading profile data...