Details

Time bar (total: 2.2s)

analyze109.0ms (4.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
50%50%0.1%5
50%50%0.1%6
62.4%34.3%3.2%7
62.4%32.8%4.8%8
68.7%21.1%10.2%9
68.7%19.1%12.2%10
71.8%11.5%16.7%11
71.8%10.2%18%12
73.4%6%20.6%13
73.4%5.3%21.3%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample14.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms13×body128invalid
Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
1×associate-/r*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
177
277

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓10.8b
(/.f64 x (*.f64 y y))

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
3×associate-/l*_binary64
3×*-un-lft-identity_binary64
3×times-frac_binary64
Counts
1 → 23
Calls

1 calls:

3.0ms
(/.f64 x (*.f64 y y))

series35.0ms (1.6%)

Counts
1 → 24
Calls

1 calls:

35.0ms
(/.f64 x (*.f64 y y))

simplify75.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
553×div-sub_binary64
385×associate-/l*_binary64
361×associate-/l/_binary64
320×*-commutative_binary64
266×fma-def_binary64
Counts
47 → 80
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046433
195388
2220388
3582388
41890388
52472388
64192388
75127388

prune21.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New75580
Fresh000
Picked011
Done000
Total75681
Error
0.0b
Counts
81 → 6
Alt Table
StatusErrorProgram
0.5b
(/.f64 1 (/.f64 y (/.f64 x y)))
0.3b
(*.f64 (/.f64 1 y) (/.f64 x y))
11.7b
(*.f64 (*.f64 (cbrt.f64 (/.f64 x (*.f64 y y))) (cbrt.f64 (/.f64 x (*.f64 y y)))) (cbrt.f64 (/.f64 x (*.f64 y y))))
✓11.1b
(/.f64 x (*.f64 y y))
▶0.2b
(/.f64 (/.f64 x y) y)
11.5b
(*.f64 x (/.f64 1 (*.f64 y y)))
Compiler

Compiled 388 to 143 computations (63.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (/.f64 x y) y)

rewrite8.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64
43×*-un-lft-identity_binary64
43×add-sqr-sqrt_binary64
43×add-cube-cbrt_binary64
13×associate-/l*_binary64
Counts
1 → 72
Calls

1 calls:

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

series33.0ms (1.5%)

Counts
1 → 24
Calls

1 calls:

32.0ms
(/.f64 (/.f64 x y) y)

simplify124.0ms (5.6%)

Algorithm
1×egg-herbie
Rules
346×distribute-rgt-in_binary64
343×fma-neg_binary64
329×associate-/l/_binary64
297×distribute-lft-in_binary64
282×fma-def_binary64
Counts
96 → 176
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01401474
12961373
25711301
313191277
416431272
524611222
642961192
748601192

prune71.0ms (3.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1706176
Fresh224
Picked011
Done011
Total17210182
Error
0.0b
Counts
182 → 10
Alt Table
StatusErrorProgram
✓11.1b
(/.f64 x (*.f64 y y))
36.2b
(*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (sqrt.f64 y)) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (sqrt.f64 y)))
✓0.2b
(/.f64 (/.f64 x y) y)
37.7b
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 1 (pow.f64 y 3/2)))
0.9b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) (cbrt.f64 (/.f64 (/.f64 x y) y))) (cbrt.f64 (/.f64 (/.f64 x y) y)))
0.5b
(/.f64 1 (/.f64 y (/.f64 x y)))
1.0b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (/.f64 x (cbrt.f64 y)) y))
▶0.3b
(*.f64 (/.f64 1 y) (/.f64 x y))
37.6b
(/.f64 (/.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
23.5b
(/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y))))
Compiler

Compiled 1748 to 567 computations (67.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x y))

rewrite11.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
25×times-frac_binary64
23×add-exp-log_binary64
17×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
Counts
1 → 58
Calls

1 calls:

8.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))

series34.0ms (1.5%)

Counts
1 → 24
Calls

1 calls:

34.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))

simplify147.0ms (6.7%)

Algorithm
1×egg-herbie
Rules
885×fma-neg_binary64
444×times-frac_binary64
349×associate-/l*_binary64
316×fma-def_binary64
233×*-commutative_binary64
Counts
82 → 159
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
094934
1236811
2708776
31790764
42239764
53222764
64299764
74925764
84992764
94884764

prune59.0ms (2.6%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1581159
Fresh167
Picked011
Done022
Total15910169
Error
0.0b
Counts
169 → 10
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (/.f64 x y) y)
37.7b
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 1 (pow.f64 y 3/2)))
0.9b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) (cbrt.f64 (/.f64 (/.f64 x y) y))) (cbrt.f64 (/.f64 (/.f64 x y) y)))
▶0.5b
(/.f64 1 (/.f64 y (/.f64 x y)))
1.0b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (/.f64 x (cbrt.f64 y)) y))
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x y))
37.6b
(/.f64 (/.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
✓11.1b
(/.f64 x (*.f64 y y))
35.9b
(*.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x y)))
23.5b
(/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y))))
Compiler

Compiled 1431 to 655 computations (54.2% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 y (/.f64 x y))
✓0.5b
(/.f64 1 (/.f64 y (/.f64 x y)))

rewrite36.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
471×times-frac_binary64
229×*-un-lft-identity_binary64
229×add-sqr-sqrt_binary64
229×add-cube-cbrt_binary64
57×associate-/r*_binary64
Counts
2 → 278
Calls

2 calls:

9.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
4.0ms
(/.f64 y (/.f64 x y))

series63.0ms (2.9%)

Counts
2 → 48
Calls

2 calls:

33.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
30.0ms
(/.f64 y (/.f64 x y))

simplify355.0ms (16.1%)

Algorithm
1×egg-herbie
Rules
768×fma-def_binary64
596×fma-neg_binary64
301×*-commutative_binary64
295×associate-/r/_binary64
270×div-sub_binary64
Counts
326 → 640
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
02456405
14785400
214734989
317214941
422954926
536014718
641974616
747924616
848774616

prune232.0ms (10.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New6373640
Fresh336
Picked101
Done213
Total6437650
Error
0b
Counts
650 → 7
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (/.f64 x y) y)
37.7b
(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 1 (pow.f64 y 3/2)))
0.9b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) (cbrt.f64 (/.f64 (/.f64 x y) y))) (cbrt.f64 (/.f64 (/.f64 x y) y)))
11.5b
(/.f64 1 (*.f64 (/.f64 1 x) (*.f64 y y)))
0.5b
(/.f64 1 (*.f64 y (/.f64 y x)))
0.3b
(*.f64 (/.f64 1 (/.f64 y x)) (/.f64 1 y))
35.9b
(*.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x y)))
Compiler

Compiled 7137 to 2592 computations (63.7% saved)

regimes203.0ms (9.2%)

Accuracy

Total 0.2b remaining (86.6%)

Threshold costs 0.2b (86.6%)

Compiler

Compiled 3487 to 1993 computations (42.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
157

end0.0ms (0%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

sample547.0ms (24.7%)

Algorithm
1×intervals
Results
201.0ms8000×body128valid
9.0ms378×body128invalid
Compiler

Compiled 104 to 64 computations (38.5% saved)

Profiling

Loading profile data...