Details

Time bar (total: 1.6s)

analyze35.0ms (2.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%37.5%62.5%0
0%37.5%62.5%1
0%18.7%81.3%2
0%9.4%90.6%3
0%9.4%90.6%4
0%7%93%5
1.2%4.7%94.1%6
1.2%3.5%95.3%7
1.8%2.6%95.6%8
2%1.9%96%9
2.4%1.3%96.3%10
2.6%1%96.5%11
2.7%0.7%96.6%12
2.8%0.5%96.7%13
2.9%0.3%96.7%14
Compiler

Compiled 26 to 15 computations (42.3% saved)

sample1.1s (66.2%)

Results
968.0ms8256×body128valid
48.0ms403×body128invalid
Compiler

Compiled 67 to 38 computations (43.3% saved)

simplify50.0ms (3%)

Algorithm
1×egg-herbie
Rules
704×fma-def_binary64
643×fma-neg_binary64
603×associate-/r*_binary64
566×associate-*l*_binary64
362×distribute-rgt-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0920
12617
26915
319415
446415
5152115
6478115
7516015

prune3.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
13.5b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶13.5b
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
Compiler

Compiled 55 to 29 computations (47.3% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
✓13.1b
(/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))

series47.0ms (2.9%)

Counts
2 → 48
Calls

2 calls:

24.0ms
(/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))
23.0ms
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

rewrite12.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
13×sqrt-prod_binary64
11×times-frac_binary64
10×fabs-mul_binary64
7×*-un-lft-identity_binary64
Counts
2 → 58
Calls

2 calls:

5.0ms
(/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))
4.0ms
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

simplify93.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
599×times-frac_binary64
298×associate-*l*_binary64
290×associate-/l*_binary64
289×div-sub_binary64
277×unswap-sqr_binary64
Counts
106 → 97
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01171912
12441788
27201685
330301673
446451673
549531673

prune46.0ms (2.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New95297
Fresh000
Picked101
Done000
Total96298
Error
0b
Counts
98 → 2
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))
0.4b
(sqrt.f64 (fabs.f64 1))
Compiler

Compiled 1944 to 530 computations (72.7% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))

series7.0ms (0.4%)

Counts
1 → 0
Calls

1 calls:

7.0ms
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))

rewrite2.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
7×sqrt-prod_binary64
7×add-sqr-sqrt_binary64
4×fabs-mul_binary64
3×rem-sqrt-square_binary64
3×*-un-lft-identity_binary64
Counts
1 → 21
Calls

1 calls:

1.0ms
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))

simplify105.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
623×div-sub_binary64
521×fma-def_binary64
500×unsub-neg_binary64
476×distribute-neg-in_binary64
362×unswap-sqr_binary64
Counts
21 → 23
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
037397
144370
256370
372370
4105370
5160370
6263370
7535370
81105370
92806370
103741370
114491370
124947370
134784370

prune15.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New23023
Fresh011
Picked011
Done000
Total23225
Error
0b
Counts
25 → 2
Alt Table
StatusErrorProgram
✓0.0b
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))
▶0.4b
(sqrt.f64 (fabs.f64 1))
Compiler

Compiled 439 to 219 computations (50.1% saved)

localize2.0ms (0.1%)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓0.0b
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))
✓0.4b
(sqrt.f64 (fabs.f64 1))
Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes76.0ms (4.6%)

Accuracy

Total 0.0b remaining (11.2%)

Threshold costs 0.0b (11.2%)

Counts
8 → 1
Compiler

Compiled 1047 to 692 computations (33.9% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
1815

end44.0ms (2.7%)

Compiler

Compiled 41 to 26 computations (36.6% saved)

Profiling

Loading profile data...