Details

Time bar (total: 2.1s)

analyze108.0ms (5.2%)

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)

sample730.0ms (35.4%)

Results
661.0ms8256×body128valid
41.0ms414×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify5.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
057
177
277

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
12.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶12.3b
(/.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
✓11.9b
(/.f64 x (*.f64 y y))

series24.0ms (1.2%)

Counts
1 → 24
Calls

1 calls:

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

rewrite41.0ms (2%)

Algorithm
2×batch-egg-rewrite
Rules
529×log1p-expm1-u_binary64
529×expm1-log1p-u_binary64
376×unpow-prod-down_binary64
274×log-prod_binary64
141×pow2_binary64
Counts
1 → 69
Calls

1 calls:

40.0ms
(/.f64 x (*.f64 y y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11067
213677
353287
000
100

simplify157.0ms (7.6%)

Algorithm
1×egg-herbie
Rules
1108×sqr-pow_binary64
573×fabs-mul_binary64
560×cube-prod_binary64
536×pow-sqr_binary64
434×unswap-sqr_binary64
Counts
93 → 70
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
111168
219168
334168
470168
5166168
6491168
71148168
81150168
91298168
101468168
111647168
121872168
132157168
142576168
153141168
163827168
174045168
184289168
194371168
204404168
214425168
224993168

prune45.0ms (2.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New64670
Fresh000
Picked101
Done000
Total65671
Error
0.0b
Counts
71 → 6
Alt Table
StatusErrorProgram
12.1b
(*.f64 x (pow.f64 y -2))
12.5b
(pow.f64 (/.f64 (*.f64 y y) x) -1)
35.0b
(*.f64 (pow.f64 (/.f64 y (sqrt.f64 x)) -1) (pow.f64 (/.f64 y (sqrt.f64 x)) -1))
12.9b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 y y) x)) 2) -1) (cbrt.f64 (/.f64 x (*.f64 y y))))
1.0b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) y) (/.f64 (cbrt.f64 x) y))
▶0.3b
(*.f64 (/.f64 x y) (/.f64 1 y))
Compiler

Compiled 973 to 480 computations (50.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series22.0ms (1.1%)

Counts
1 → 24
Calls

1 calls:

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

rewrite47.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
665×log1p-expm1-u_binary64
665×expm1-log1p-u_binary64
362×log-prod_binary64
121×expm1-udef_binary64
121×log1p-udef_binary64
Counts
1 → 47
Calls

1 calls:

46.0ms
(*.f64 (/.f64 x y) (/.f64 1 y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
11467
217657
354537
000
100

simplify150.0ms (7.3%)

Algorithm
1×egg-herbie
Rules
1108×sqr-pow_binary64
573×fabs-mul_binary64
560×cube-prod_binary64
536×pow-sqr_binary64
434×unswap-sqr_binary64
Counts
71 → 48
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
111168
219168
334168
470168
5166168
6491168
71148168
81150168
91298168
101468168
111647168
121872168
132157168
142576168
153141168
163827168
174045168
184289168
194371168
204404168
214425168
224993168

prune33.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New43548
Fresh415
Picked011
Done000
Total47754
Error
0.0b
Counts
54 → 7
Alt Table
StatusErrorProgram
12.4b
(/.f64 x (/.f64 y (/.f64 1 y)))
✓0.3b
(*.f64 (/.f64 x y) (/.f64 1 y))
12.1b
(*.f64 x (pow.f64 y -2))
12.3b
(/.f64 (neg.f64 x) (neg.f64 (*.f64 y y)))
1.1b
(/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (/.f64 y (cbrt.f64 (/.f64 x y))))
0.6b
(/.f64 1 (*.f64 (/.f64 y x) y))
▶0.2b
(/.f64 (/.f64 x y) y)
Compiler

Compiled 537 to 235 computations (56.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series21.0ms (1%)

Counts
1 → 24
Calls

1 calls:

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

rewrite72.0ms (3.5%)

Algorithm
2×batch-egg-rewrite
Rules
595×log1p-expm1-u_binary64
595×expm1-log1p-u_binary64
321×log-prod_binary64
246×prod-diff_binary64
112×log-div_binary64
Counts
1 → 43
Calls

1 calls:

71.0ms
(/.f64 (/.f64 x y) y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11097
215437
349727
454557
000
100

simplify146.0ms (7.1%)

Algorithm
1×egg-herbie
Rules
1108×sqr-pow_binary64
573×fabs-mul_binary64
560×cube-prod_binary64
536×pow-sqr_binary64
434×unswap-sqr_binary64
Counts
67 → 45
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
111168
219168
334168
470168
5166168
6491168
71148168
81150168
91298168
101468168
111647168
121872168
132157168
142576168
153141168
163827168
174045168
184289168
194371168
204404168
214425168
224993168

prune24.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New45045
Fresh055
Picked011
Done011
Total45752
Error
0.0b
Counts
52 → 7
Alt Table
StatusErrorProgram
12.4b
(/.f64 x (/.f64 y (/.f64 1 y)))
✓0.3b
(*.f64 (/.f64 x y) (/.f64 1 y))
12.1b
(*.f64 x (pow.f64 y -2))
12.3b
(/.f64 (neg.f64 x) (neg.f64 (*.f64 y y)))
1.1b
(/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (/.f64 y (cbrt.f64 (/.f64 x y))))
▶0.6b
(/.f64 1 (*.f64 (/.f64 y x) y))
✓0.2b
(/.f64 (/.f64 x y) y)
Compiler

Compiled 573 to 238 computations (58.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series31.0ms (1.5%)

Counts
2 → 48
Calls

2 calls:

21.0ms
(/.f64 1 (*.f64 (/.f64 y x) y))
10.0ms
(*.f64 (/.f64 y x) y)

rewrite47.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
677×log1p-expm1-u_binary64
677×expm1-log1p-u_binary64
125×expm1-udef_binary64
125×log1p-udef_binary64
116×log-pow_binary64
Counts
2 → 59
Calls

2 calls:

46.0ms
(*.f64 (/.f64 y x) y)
46.0ms
(/.f64 1 (*.f64 (/.f64 y x) y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114614
2179814
3495014
000
100

simplify122.0ms (5.9%)

Algorithm
1×egg-herbie
Rules
786×sqr-pow_binary64
434×unswap-sqr_binary64
428×*-commutative_binary64
423×associate-*r/_binary64
405×associate-/r/_binary64
Counts
107 → 62
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07336
112336
221336
339336
485336
5220336
6732336
71898336
82513336
92660336
102828336
112941336
123117336
133391336
143872336
154431336
164789336

prune38.0ms (1.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New61162
Fresh044
Picked011
Done022
Total61869
Error
0b
Counts
69 → 8
Alt Table
StatusErrorProgram
12.4b
(/.f64 x (/.f64 y (/.f64 1 y)))
✓0.3b
(*.f64 (/.f64 x y) (/.f64 1 y))
✓0.2b
(/.f64 (/.f64 x y) y)
33.8b
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 y x)) -2))
12.1b
(*.f64 x (pow.f64 y -2))
12.3b
(/.f64 (neg.f64 x) (neg.f64 (*.f64 y y)))
1.1b
(/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (/.f64 y (cbrt.f64 (/.f64 x y))))
✓0.6b
(/.f64 1 (*.f64 (/.f64 y x) y))
Compiler

Compiled 653 to 297 computations (54.5% saved)

regimes100.0ms (4.9%)

Accuracy

Total 0.2b remaining (92.6%)

Threshold costs 0.2b (92.6%)

Counts
25 → 1
Compiler

Compiled 1309 to 832 computations (36.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
157

end77.0ms (3.7%)

Compiler

Compiled 89 to 56 computations (37.1% saved)

Profiling

Loading profile data...