Details

Time bar (total: 3.3s)

analyze447.0ms (13.6%)

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
25%56.2%18.9%7
25%56.2%18.9%8
25%53%22%9
37.4%29.6%32.9%10
37.4%29.6%32.9%11
37.4%27.3%35.3%12
43.7%15.2%41.1%13
43.7%15.2%41.1%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.9s (56.9%)

Results
1.2s8256×body128valid
248.0ms1519×body128invalid
Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify300.0ms (9.1%)

Algorithm
1×egg-herbie
Rules
767×unsub-neg_binary64
741×*-commutative_binary64
699×fma-def_binary64
598×fma-neg_binary64
465×distribute-neg-out_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
11915
22915
35715
411815
527815
652915
7100715
8178115
9258515
10283415
11314115
12337115
13348515
14348515
15444415
16428415
17460415
18460415
19510315

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
20.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶20.3b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 39 to 24 computations (38.5% saved)

localize12.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓2.8b
(-.f64 (*.f64 y y) (*.f64 z z))
✓27.8b
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))

series37.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

23.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
14.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
4×sqrt-prod_binary64
4×add-sqr-sqrt_binary64
4×add-log-exp_binary64
3×*-un-lft-identity_binary64
3×add-cube-cbrt_binary64
Counts
2 → 35
Calls

2 calls:

5.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
5.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

simplify89.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
649×associate-/l*_binary64
396×associate-/r*_binary64
360×associate-*l*_binary64
298×fma-def_binary64
245×fma-neg_binary64
Counts
83 → 97
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01251406
13281361
211551328
349261328
450181328

prune53.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New95297
Fresh000
Picked011
Done000
Total95398
Error
0.2b
Counts
98 → 3
Alt Table
StatusErrorProgram
▶28.6b
(*.f64 x (neg.f64 y))
33.6b
(*.f64 x y)
✓20.3b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 1821 to 875 computations (51.9% saved)

localize5.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0.2b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓28.6b
(*.f64 x (neg.f64 y))
▶33.6b
(*.f64 x y)
✓20.3b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 32 to 21 computations (34.4% saved)

localize3.0ms (0.1%)

prune2.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.2b
Counts
3 → 3
Alt Table
StatusErrorProgram
✓28.6b
(*.f64 x (neg.f64 y))
✓33.6b
(*.f64 x y)
✓20.3b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 26 to 17 computations (34.6% saved)

regimes255.0ms (7.8%)

Accuracy

Total 0.3b remaining (58.9%)

Threshold costs 0.3b (58.9%)

Counts
7 → 2
Compiler

Compiled 719 to 492 computations (31.6% saved)

bsearch127.0ms (3.9%)

Steps
ItersRangePoint
3
-7.07887292639057e-167
1.1508283060550258e-228
4.1632673256069795e-284
Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11716
22416
32916
43216
53316
63316

end68.0ms (2.1%)

Compiler

Compiled 54 to 35 computations (35.2% saved)

Profiling

Loading profile data...