Details

Time bar (total: 2.2s)

analyze195.0ms (9%)

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
25%74.9%0.1%5
37.5%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
93.8%6.1%0.1%13
95.3%4.6%0.1%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample26.0ms (1.2%)

Algorithm
1×intervals
Results
13.0ms255×body128valid
0.0ms1×body2048valid
0.0ms2×body128invalid
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify30.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
113×fma-def_binary64
83×fma-neg_binary64
32×distribute-rgt-in_binary64
26×cancel-sign-sub-inv_binary64
19×distribute-lft-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2207
3377
4567
5857
61387
71947
82417
92777
102887
113047
122767

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 15 computations (28.6% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(*.f64 500 (-.f64 x y))

rewrite19.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 50
Calls

1 calls:

12.0ms
(*.f64 500 (-.f64 x y))

simplify141.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
515×associate-*l*_binary64
436×neg-sub0_binary64
421×associate-*r*_binary64
419×neg-mul-1_binary64
389×fma-neg_binary64
Counts
74 → 58
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0119757
1184697
2493589
32165589
43889589
54897589

prune55.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New56258
Fresh000
Picked011
Done000
Total56359
Error
0b
Counts
59 → 3
Alt Table
StatusErrorProgram
49.8b
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
▶0.0b
(-.f64 (*.f64 500 x) (*.f64 500 y))
✓0.0b
(*.f64 500 (-.f64 x y))
Compiler

Compiled 979 to 429 computations (56.2% saved)

localize13.0ms (0.6%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.4%)

Counts
1 → 6
Calls

1 calls:

8.0ms
(-.f64 (*.f64 500 x) (*.f64 500 y))

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×distribute-lft-out--_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
Counts
1 → 17
Calls

1 calls:

5.0ms
(-.f64 (*.f64 500 x) (*.f64 500 y))

simplify71.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
531×fma-def_binary64
509×fma-neg_binary64
469×times-frac_binary64
379×distribute-rgt-in_binary64
323×distribute-lft-in_binary64
Counts
23 → 31
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
040235
1112203
2367200
31082200
42658199
54158199
65138199

prune34.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New31031
Fresh011
Picked011
Done011
Total31334
Error
0b
Counts
34 → 3
Alt Table
StatusErrorProgram
▶49.8b
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
✓0.0b
(-.f64 (*.f64 500 x) (*.f64 500 y))
✓0.0b
(*.f64 500 (-.f64 x y))
Compiler

Compiled 411 to 285 computations (30.7% saved)

localize16.0ms (0.8%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (sqrt.f64 x) (sqrt.f64 y))
✓0.0b
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
✓0.0b
(*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y)))
✓0.1b
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))

series100.0ms (4.6%)

Counts
4 → 8
Calls

4 calls:

48.0ms
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
19.0ms
(*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y)))
17.0ms
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
16.0ms
(+.f64 (sqrt.f64 x) (sqrt.f64 y))

rewrite132.0ms (6.1%)

Algorithm
1×rewrite-expression-head
Rules
139×sqrt-prod_binary64
108×prod-diff_binary64
107×add-sqr-sqrt_binary64
105×*-un-lft-identity_binary64
89×add-cube-cbrt_binary64
Counts
4 → 234
Calls

4 calls:

33.0ms
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
20.0ms
(*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y)))
12.0ms
(-.f64 (sqrt.f64 x) (sqrt.f64 y))
9.0ms
(+.f64 (sqrt.f64 x) (sqrt.f64 y))

simplify309.0ms (14.3%)

Algorithm
1×egg-herbie
Rules
793×fma-def_binary64
424×unsub-neg_binary64
321×associate-*l*_binary64
285×associate-*r*_binary64
244×exp-prod_binary64
Counts
242 → 256
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02186212
14874875
219983779
339753737
449093737

prune170.0ms (7.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2560256
Fresh000
Picked011
Done022
Total2563259
Error
0b
Counts
259 → 3
Alt Table
StatusErrorProgram
✓49.8b
(*.f64 (*.f64 500 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (-.f64 (sqrt.f64 x) (sqrt.f64 y)))
✓0.0b
(-.f64 (*.f64 500 x) (*.f64 500 y))
✓0.0b
(*.f64 500 (-.f64 x y))
Compiler

Compiled 7207 to 1921 computations (73.3% saved)

regimes94.0ms (4.3%)

Accuracy

Total 0.0b remaining (56.3%)

Threshold costs 0.0b (56.3%)

Counts
12 → 1
Compiler

Compiled 568 to 396 computations (30.3% saved)

simplify4.0ms (0.2%)

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
067
197
2147
3167
4177
5177

end1.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample720.0ms (33.3%)

Algorithm
1×intervals
Results
319.0ms7971×body128valid
2.0ms66×body128invalid
2.0ms9×body2048valid
1.0ms10×body1024valid
0.0ms6×body256valid
0.0ms4×body512valid
Compiler

Compiled 48 to 34 computations (29.2% saved)

Profiling

Loading profile data...