Details

Time bar (total: 1.7s)

analyze88.0ms (5%)

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)

sample40.0ms (2.3%)

Algorithm
1×intervals
Results
5.0ms249×body128valid
0.0ms2×body1024valid
0.0ms2×body512valid
0.0ms1×body2048valid
0.0ms2×body256valid
0.0ms1×body128invalid
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify28.0ms (1.6%)

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

prune2.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 200 (-.f64 x y))
Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

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

rewrite13.0ms (0.8%)

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:

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

simplify68.0ms (3.9%)

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

prune33.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New55358
Fresh000
Picked011
Done000
Total55459
Error
0b
Counts
59 → 4
Alt Table
StatusErrorProgram
28.1b
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
✓0.0b
(*.f64 200 (-.f64 x y))
0.5b
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
▶0.5b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))
Compiler

Compiled 1011 to 457 computations (54.8% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (cbrt.f64 200) (-.f64 x y))
✓0.4b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))

series37.0ms (2.1%)

Counts
2 → 48
Calls

2 calls:

28.0ms
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))
9.0ms
(*.f64 (cbrt.f64 200) (-.f64 x y))

rewrite37.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
65×distribute-lft-in_binary64
65×distribute-rgt-in_binary64
54×prod-diff_binary64
53×add-sqr-sqrt_binary64
49×*-un-lft-identity_binary64
Counts
2 → 132
Calls

2 calls:

15.0ms
(*.f64 (cbrt.f64 200) (-.f64 x y))
10.0ms
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))

simplify100.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
664×distribute-rgt-neg-out_binary64
432×*-commutative_binary64
405×distribute-rgt-in_binary64
379×distribute-lft-in_binary64
350×fma-def_binary64
Counts
180 → 159
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02222183
13391958
210531634
331951634
452611634

prune100.0ms (5.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1590159
Fresh022
Picked011
Done011
Total1594163
Error
0b
Counts
163 → 4
Alt Table
StatusErrorProgram
28.1b
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
✓0.0b
(*.f64 200 (-.f64 x y))
▶0.5b
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
✓0.5b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))
Compiler

Compiled 4146 to 2548 computations (38.5% saved)

localize11.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (sqrt.f64 200) (-.f64 x y))
✓0.3b
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))

series26.0ms (1.5%)

Counts
2 → 48
Calls

2 calls:

16.0ms
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
10.0ms
(*.f64 (sqrt.f64 200) (-.f64 x y))

rewrite31.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
65×distribute-lft-in_binary64
65×distribute-rgt-in_binary64
55×add-sqr-sqrt_binary64
54×prod-diff_binary64
51×*-un-lft-identity_binary64
Counts
2 → 131
Calls

2 calls:

9.0ms
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
6.0ms
(*.f64 (sqrt.f64 200) (-.f64 x y))

simplify110.0ms (6.3%)

Algorithm
1×egg-herbie
Rules
435×distribute-rgt-neg-out_binary64
380×distribute-rgt-in_binary64
362×distribute-lft-in_binary64
345×*-commutative_binary64
282×fma-neg_binary64
Counts
179 → 162
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02192151
12881974
29461650
328191642
448611642
547371642

prune87.0ms (5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1620162
Fresh011
Picked011
Done022
Total1624166
Error
0b
Counts
166 → 4
Alt Table
StatusErrorProgram
▶28.1b
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
✓0.0b
(*.f64 200 (-.f64 x y))
✓0.5b
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
✓0.5b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))
Compiler

Compiled 3554 to 1981 computations (44.3% saved)

localize8.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y)))
✓3.2b
(-.f64 (*.f64 x x) (*.f64 y y))
✓26.1b
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))

series30.0ms (1.7%)

Counts
3 → 72
Calls

3 calls:

15.0ms
(*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y)))
8.0ms
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
7.0ms
(-.f64 (*.f64 x x) (*.f64 y y))

rewrite18.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
9×add-sqr-sqrt_binary64
7×add-cube-cbrt_binary64
Counts
3 → 75
Calls

3 calls:

7.0ms
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
5.0ms
(*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y)))
3.0ms
(-.f64 (*.f64 x x) (*.f64 y y))

simplify87.0ms (5%)

Algorithm
1×egg-herbie
Rules
428×associate-/l*_binary64
379×times-frac_binary64
361×distribute-rgt-in_binary64
343×distribute-lft-in_binary64
284×div-sub_binary64
Counts
147 → 121
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01322133
13291904
211151682
346261682
454061682

prune51.0ms (2.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1210121
Fresh000
Picked011
Done033
Total1214125
Error
0b
Counts
125 → 4
Alt Table
StatusErrorProgram
✓28.1b
(/.f64 (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
✓0.0b
(*.f64 200 (-.f64 x y))
✓0.5b
(*.f64 (sqrt.f64 200) (*.f64 (sqrt.f64 200) (-.f64 x y)))
✓0.5b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (cbrt.f64 200) (-.f64 x y)))
Compiler

Compiled 2289 to 755 computations (67% saved)

regimes119.0ms (6.8%)

Accuracy

Total 0.0b remaining (90.5%)

Threshold costs 0.0b (90.5%)

Counts
26 → 1
Compiler

Compiled 1372 to 980 computations (28.6% 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

end0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample605.0ms (34.6%)

Algorithm
1×intervals
Results
320.0ms7869×body128valid
3.0ms40×body2048valid
3.0ms42×body1024valid
1.0ms67×body128invalid
1.0ms25×body512valid
1.0ms24×body256valid
Compiler

Compiled 64 to 48 computations (25% saved)

Profiling

Loading profile data...