Details

Time bar (total: 2.0s)

analyze107.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)

sample712.0ms (34.8%)

Results
650.0ms8256×body128valid
36.0ms415×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify6.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

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

series25.0ms (1.2%)

Counts
1 → 24
Calls

1 calls:

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

rewrite45.0ms (2.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 → 68
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11067
213677
353287
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
92 → 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

prune41.0ms (2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New65570
Fresh000
Picked011
Done000
Total65671
Error
0.1b
Counts
71 → 6
Alt Table
StatusErrorProgram
▶0.3b
(*.f64 (/.f64 x y) (/.f64 1 y))
10.8b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2)))
10.3b
(*.f64 x (pow.f64 y -2))
✓10.1b
(/.f64 x (*.f64 y y))
32.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
0.9b
(*.f64 (pow.f64 (/.f64 y (pow.f64 (cbrt.f64 x) 2)) -1) (pow.f64 (/.f64 y (cbrt.f64 x)) -1))
Compiler

Compiled 944 to 468 computations (50.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series26.0ms (1.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite48.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:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
077
11467
217657
354537
000
100

simplify149.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

prune38.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New42648
Fresh224
Picked101
Done011
Total45954
Error
0.0b
Counts
54 → 9
Alt Table
StatusErrorProgram
10.3b
(*.f64 x (pow.f64 y -2))
0.5b
(/.f64 1 (*.f64 (/.f64 y x) y))
0.9b
(pow.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) 3)
0.3b
(/.f64 (*.f64 (neg.f64 x) (/.f64 1 y)) (neg.f64 y))
10.4b
(/.f64 (/.f64 (/.f64 x y) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
35.6b
(/.f64 (/.f64 (/.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶0.2b
(/.f64 (/.f64 x y) y)
✓10.1b
(/.f64 x (*.f64 y y))
32.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
Compiler

Compiled 575 to 263 computations (54.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series29.0ms (1.4%)

Counts
1 → 24
Calls

1 calls:

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

rewrite79.0ms (3.9%)

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 → 42
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11097
215437
349727
454557
000
100

simplify147.0ms (7.2%)

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
66 → 44
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

prune29.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New43144
Fresh167
Picked011
Done011
Total44953
Error
0b
Counts
53 → 9
Alt Table
StatusErrorProgram
10.3b
(*.f64 x (pow.f64 y -2))
▶0.5b
(/.f64 1 (*.f64 (/.f64 y x) y))
0.9b
(pow.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) 3)
10.4b
(/.f64 (/.f64 (/.f64 x y) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
35.6b
(/.f64 (/.f64 (/.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
✓0.2b
(/.f64 (/.f64 x y) y)
✓10.1b
(/.f64 x (*.f64 y y))
1.0b
(*.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (*.f64 (cbrt.f64 (/.f64 x y)) (/.f64 1 y)))
32.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
Compiler

Compiled 618 to 270 computations (56.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series36.0ms (1.7%)

Counts
2 → 48
Calls

2 calls:

26.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 → 57
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

simplify126.0ms (6.2%)

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
105 → 60
Iterations

Useful iterations: 0 (0.0ms)

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

prune36.0ms (1.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New59160
Fresh246
Picked011
Done022
Total61869
Error
0b
Counts
69 → 8
Alt Table
StatusErrorProgram
10.3b
(*.f64 x (pow.f64 y -2))
✓0.5b
(/.f64 1 (*.f64 (/.f64 y x) y))
1.3b
(/.f64 1 (pow.f64 (cbrt.f64 (*.f64 y (/.f64 y x))) 3))
✓0.2b
(/.f64 (/.f64 x y) y)
10.4b
(/.f64 (/.f64 (/.f64 x y) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
✓10.1b
(/.f64 x (*.f64 y y))
1.0b
(*.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (*.f64 (cbrt.f64 (/.f64 x y)) (/.f64 1 y)))
32.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
Compiler

Compiled 646 to 299 computations (53.7% saved)

regimes81.0ms (4%)

Accuracy

Total 0.2b remaining (91.8%)

Threshold costs 0.2b (91.8%)

Counts
22 → 1
Compiler

Compiled 1132 to 708 computations (37.5% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
157

end72.0ms (3.5%)

Compiler

Compiled 94 to 60 computations (36.2% saved)

Profiling

Loading profile data...