Details

Time bar (total: 2.4s)

analyze48.0ms (2%)

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
50%50%0.1%4
50%50%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
87.4%12.5%0.1%8
87.4%12.5%0.1%9
93.7%6.2%0.1%10
93.7%6.2%0.1%11
96.8%3.1%0.1%12
96.8%3.1%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample702.0ms (28.7%)

Results
658.0ms8256×body128valid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify15.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
57×fma-neg_binary64
53×fma-def_binary64
22×cancel-sign-sub-inv_binary64
15×sub-neg_binary64
11×neg-mul-1_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
067
187
2157
3247
4367
5605
6935
71165
81465
91685
102005
112135
122165
131785

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.1b
(fma.f64 y -1/200 x)
▶0.0b
(-.f64 x (/.f64 y 200))
Compiler

Compiled 37 to 25 computations (32.4% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y 200))

series4.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(-.f64 x (/.f64 y 200))

rewrite13.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
48×add-sqr-sqrt_binary64
45×*-un-lft-identity_binary64
43×add-cube-cbrt_binary64
39×prod-diff_binary64
37×times-frac_binary64
Counts
1 → 71
Calls

1 calls:

8.0ms
(-.f64 x (/.f64 y 200))

simplify93.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
1018×fma-def_binary64
389×associate-*l/_binary64
363×associate-*r/_binary64
296×associate-/l*_binary64
229×fma-neg_binary64
Counts
95 → 91
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01741175
1425964
2970590
33361590
44093590
54958590
64602590

prune84.0ms (3.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New89291
Fresh011
Picked101
Done000
Total90393
Error
0b
Counts
93 → 3
Alt Table
StatusErrorProgram
0.6b
(+.f64 x (*.f64 (neg.f64 (*.f64 (cbrt.f64 (/.f64 y 200)) (cbrt.f64 (/.f64 y 200)))) (cbrt.f64 (/.f64 y 200))))
0.2b
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
▶0.1b
(fma.f64 y -1/200 x)
Compiler

Compiled 2218 to 1458 computations (34.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y -1/200 x)

series4.0ms (0.1%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(fma.f64 y -1/200 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 y -1/200 x)

simplify76.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
578×fma-def_binary64
539×neg-sub0_binary64
512×unsub-neg_binary64
503×neg-mul-1_binary64
490×associate-*l*_binary64
Counts
34 → 16
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019229
126182
250182
3162182
4598182
52353182
63574182
74429182
84963182

prune10.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New16016
Fresh022
Picked011
Done000
Total16319
Error
0b
Counts
19 → 3
Alt Table
StatusErrorProgram
0.6b
(+.f64 x (*.f64 (neg.f64 (*.f64 (cbrt.f64 (/.f64 y 200)) (cbrt.f64 (/.f64 y 200)))) (cbrt.f64 (/.f64 y 200))))
▶0.2b
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
✓0.1b
(fma.f64 y -1/200 x)
Compiler

Compiled 181 to 128 computations (29.3% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
✓0.3b
(/.f64 y (sqrt.f64 200))
✓0.3b
(*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200)))

series82.0ms (3.3%)

Counts
3 → 36
Calls

3 calls:

40.0ms
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
32.0ms
(*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200)))
9.0ms
(/.f64 y (sqrt.f64 200))

rewrite39.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
74×times-frac_binary64
67×add-sqr-sqrt_binary64
59×*-un-lft-identity_binary64
59×add-cube-cbrt_binary64
48×associate-*l*_binary64
Counts
3 → 150
Calls

3 calls:

22.0ms
(*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200)))
3.0ms
(/.f64 y (sqrt.f64 200))
2.0ms
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))

simplify101.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
746×fma-def_binary64
538×associate-*l/_binary64
496×associate-/l*_binary64
334×times-frac_binary64
211×associate-/r*_binary64
Counts
186 → 219
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01572529
14182281
214241944
346451880
452281880

prune160.0ms (6.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2181219
Fresh101
Picked011
Done011
Total2193222
Error
0b
Counts
222 → 3
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
▶0.6b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y))) (cbrt.f64 (*.f64 -1/200 y))))
✓0.1b
(fma.f64 y -1/200 x)
Compiler

Compiled 4074 to 3385 computations (16.9% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 -1/200 y)
✓0.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y))) (cbrt.f64 (*.f64 -1/200 y)))
✓0.4b
(*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y)))
✓0.6b
(cbrt.f64 (*.f64 -1/200 y))

series144.0ms (5.9%)

Counts
4 → 36
Calls

4 calls:

64.0ms
(*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y)))
46.0ms
(cbrt.f64 (*.f64 -1/200 y))
31.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y))) (cbrt.f64 (*.f64 -1/200 y)))
2.0ms
(*.f64 -1/200 y)

rewrite21.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
32×pow1_binary64
16×add-sqr-sqrt_binary64
16×pow1/3_binary64
13×add-exp-log_binary64
11×associate-*r*_binary64
Counts
4 → 99
Calls

4 calls:

7.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y))) (cbrt.f64 (*.f64 -1/200 y)))
4.0ms
(*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y)))
3.0ms
(cbrt.f64 (*.f64 -1/200 y))
3.0ms
(*.f64 -1/200 y)

simplify94.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
624×fma-def_binary64
354×associate-/l*_binary64
320×*-commutative_binary64
313×associate-/l/_binary64
302×associate-*l/_binary64
Counts
135 → 136
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01041292
11791185
24611119
37621048
41436952
52090952
64207952
74892952

prune158.0ms (6.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2180218
Fresh000
Picked011
Done022
Total2183221
Error
0b
Counts
221 → 3
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 x (*.f64 (neg.f64 (/.f64 1 (sqrt.f64 200))) (/.f64 y (sqrt.f64 200))))
✓0.6b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 -1/200 y)) (cbrt.f64 (*.f64 -1/200 y))) (cbrt.f64 (*.f64 -1/200 y))))
✓0.1b
(fma.f64 y -1/200 x)
Compiler

Compiled 4195 to 3220 computations (23.2% saved)

regimes519.0ms (21.3%)

Accuracy

Total -0.0b remaining (-0.3%)

Threshold costs -0.0b (-0.3%)

Counts
89 → 1
Compiler

Compiled 6422 to 4922 computations (23.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
2×neg-sub0_binary64
1×distribute-neg-frac_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0129
1177
2217
3247
4277
5287
6247

end49.0ms (2%)

Compiler

Compiled 52 to 40 computations (23.1% saved)

Profiling

Loading profile data...