Details

Time bar (total: 2.1s)

analyze144.0ms (6.8%)

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 10 to 7 computations (30% saved)

sample787.0ms (37.3%)

Results
715.0ms8256×body128valid
43.0ms389×body128invalid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×associate-/r*_binary64
1×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21310
31210

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series27.0ms (1.3%)

Counts
1 → 24
Calls

1 calls:

27.0ms
(/.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))

simplify62.0ms (2.9%)

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 → 28
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046433
195388
2220388
3582388
41890388
52472388
64192388
75127388

prune27.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New23528
Fresh000
Picked011
Done000
Total23629
Error
0.0b
Counts
29 → 6
Alt Table
StatusErrorProgram
0.2b
(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
✓5.6b
(-.f64 (/.f64 x (*.f64 y y)) 3)
33.3b
(-.f64 (cbrt.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 y y)))) 3)
5.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 x (*.f64 y y))) (cbrt.f64 (/.f64 x (*.f64 y y)))) (cbrt.f64 (/.f64 x (*.f64 y y)))) 3)
▶0.1b
(-.f64 (/.f64 (/.f64 x y) y) 3)
Compiler

Compiled 488 to 227 computations (53.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series27.0ms (1.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite11.0ms (0.5%)

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)

simplify95.0ms (4.5%)

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 → 112
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01401474
12961373
25711301
313191277
416431272
524611222
642961192
748601192

prune92.0ms (4.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1075112
Fresh224
Picked101
Done011
Total1108118
Error
0b
Counts
118 → 8
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
0.7b
(-.f64 (*.f64 (*.f64 (cbrt.f64 x) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) y)) (/.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2))) 3)
0.4b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) (cbrt.f64 (/.f64 (/.f64 x y) y))) (cbrt.f64 (/.f64 (/.f64 x y) y))) 3)
✓5.6b
(-.f64 (/.f64 x (*.f64 y y)) 3)
0.2b
(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
0.8b
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (cbrt.f64 y))) 3)
28.9b
(-.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) 3)
5.8b
(-.f64 (*.f64 (/.f64 x 1) (/.f64 (/.f64 1 y) y)) 3)
Compiler

Compiled 1989 to 801 computations (59.7% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series27.0ms (1.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite13.0ms (0.6%)

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

simplify119.0ms (5.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 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
094934
1236811
2708776
31790764
42239764
53222764
64299764
74925764
84992764
94884764

prune113.0ms (5.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New89190
Fresh156
Picked011
Done011
Total90898
Error
0b
Counts
98 → 8
Alt Table
StatusErrorProgram
0.4b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 x y) y)) (cbrt.f64 (/.f64 (/.f64 x y) y))) (cbrt.f64 (/.f64 (/.f64 x y) y))) 3)
✓5.6b
(-.f64 (/.f64 x (*.f64 y y)) 3)
0.2b
(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
✓0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
0.8b
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (cbrt.f64 y))) 3)
▶0.1b
(-.f64 (/.f64 (*.f64 (/.f64 1 y) x) y) 3)
28.9b
(-.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) 3)
5.8b
(-.f64 (*.f64 (/.f64 x 1) (/.f64 (/.f64 1 y) y)) 3)
Compiler

Compiled 1624 to 835 computations (48.6% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series32.0ms (1.5%)

Counts
2 → 48
Calls

2 calls:

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

rewrite15.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
26×add-exp-log_binary64
19×add-sqr-sqrt_binary64
16×add-cbrt-cube_binary64
14×times-frac_binary64
13×associate-*l*_binary64
Counts
2 → 65
Calls

2 calls:

7.0ms
(*.f64 (/.f64 1 y) x)
5.0ms
(/.f64 (*.f64 (/.f64 1 y) x) y)

simplify96.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
799×times-frac_binary64
439×associate-/l*_binary64
384×div-sub_binary64
319×fma-neg_binary64
302×associate-/l/_binary64
Counts
113 → 103
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
090890
1197785
2638785
31919781
42294781
53344781
64718781
75278781

prune136.0ms (6.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1021103
Fresh325
Picked011
Done022
Total1056111
Error
0b
Counts
111 → 6
Alt Table
StatusErrorProgram
0.1b
(-.f64 (/.f64 (/.f64 1 y) (/.f64 y x)) 3)
✓0.1b
(-.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) 3)
0.8b
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) (cbrt.f64 y))) 3)
✓0.1b
(-.f64 (/.f64 (*.f64 (/.f64 1 y) x) y) 3)
✓5.6b
(-.f64 (/.f64 x (*.f64 y y)) 3)
28.9b
(-.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) 3)
Compiler

Compiled 1521 to 899 computations (40.9% saved)

regimes181.0ms (8.6%)

Accuracy

Total 0.1b remaining (86.7%)

Threshold costs 0.1b (86.7%)

Counts
41 → 1
Compiler

Compiled 3347 to 2062 computations (38.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11513
21613
31413

end71.0ms (3.4%)

Compiler

Compiled 109 to 67 computations (38.5% saved)

Profiling

Loading profile data...