Details

Time bar (total: 5.2s)

analyze233.0ms (4.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
0%99.9%0.1%5
18.7%81.1%0.1%6
40.6%59.3%0.1%7
45.2%54.6%0.1%8
65.5%34.3%0.1%9
78%21.8%0.1%10
80%19.5%0.5%11
81.7%17.7%0.5%12
87.9%11.3%0.8%13
88.3%10.1%1.6%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.1s (20.3%)

Results
819.0ms8256×body128valid
26.0ms255×body128invalid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify85.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
649×fma-neg_binary64
504×div-sub_binary64
481×fma-def_binary64
326×times-frac_binary64
174×associate-/l/_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
22110
33710
46410
511310
621610
741510
875410
9118310
10153710
11161210
12165710
13168410
14169410
15170210
16170210
17160010

prune2.0ms (0%)

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

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 z y))

series20.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

19.0ms
(/.f64 (-.f64 x y) (-.f64 z y))

rewrite12.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
37×*-un-lft-identity_binary64
37×add-sqr-sqrt_binary64
25×times-frac_binary64
13×add-cube-cbrt_binary64
12×distribute-lft-out--_binary64
Counts
1 → 54
Calls

1 calls:

9.0ms
(/.f64 (-.f64 x y) (-.f64 z y))

simplify85.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
719×fma-neg_binary64
431×associate--l+_binary64
430×fma-def_binary64
264×times-frac_binary64
247×associate-/l*_binary64
Counts
90 → 85
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01602081
14272033
213431890
347421874
453401874

prune60.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New81485
Fresh000
Picked011
Done000
Total81586
Error
0b
Counts
86 → 5
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 z y))
32.8b
(-.f64 (+.f64 (/.f64 z y) 1) (+.f64 (/.f64 x y) (/.f64 (*.f64 z x) (pow.f64 y 2))))
0.2b
(*.f64 (-.f64 x y) (/.f64 1 (-.f64 z y)))
33.2b
(+.f64 (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y z) 1) (/.f64 y z)) (*.f64 (/.f64 y z) (-.f64 -1 (/.f64 y z)))))
Compiler

Compiled 1812 to 651 computations (64.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 y (-.f64 z y))
✓0.0b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
✓0.0b
(/.f64 x (-.f64 z y))

series47.0ms (0.9%)

Counts
3 → 75
Calls

3 calls:

20.0ms
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
17.0ms
(/.f64 x (-.f64 z y))
10.0ms
(/.f64 y (-.f64 z y))

rewrite175.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Rules
727×*-un-lft-identity_binary64
717×add-sqr-sqrt_binary64
708×times-frac_binary64
441×prod-diff_binary64
421×add-cube-cbrt_binary64
Counts
3 → 591
Calls

3 calls:

42.0ms
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
4.0ms
(/.f64 x (-.f64 z y))
4.0ms
(/.f64 y (-.f64 z y))

simplify594.0ms (11.4%)

Algorithm
1×egg-herbie
Rules
716×times-frac_binary64
306×fma-udef_binary64
276×fma-neg_binary64
262×unsub-neg_binary64
259×associate-+r-_binary64
Counts
666 → 614
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
061645109
1143625619
2344124827
3497624827

prune343.0ms (6.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New6122614
Fresh213
Picked101
Done011
Total6154619
Error
0b
Counts
619 → 4
Alt Table
StatusErrorProgram
0.1b
(-.f64 (*.f64 x (/.f64 1 (-.f64 z y))) (/.f64 y (-.f64 z y)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 z y))
32.8b
(-.f64 (+.f64 (/.f64 z y) 1) (+.f64 (/.f64 x y) (/.f64 (*.f64 z x) (pow.f64 y 2))))
▶0.1b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
Compiler

Compiled 28547 to 4841 computations (83% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
0.0b
(/.f64 x (-.f64 z y))
✓0.3b
(/.f64 1 (+.f64 (/.f64 z y) -1))

series36.0ms (0.7%)

Counts
2 → 60
Calls

2 calls:

28.0ms
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
8.0ms
(/.f64 1 (+.f64 (/.f64 z y) -1))

rewrite196.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Rules
874×times-frac_binary64
835×add-sqr-sqrt_binary64
773×*-un-lft-identity_binary64
504×prod-diff_binary64
458×add-cube-cbrt_binary64
Counts
2 → 622
Calls

2 calls:

51.0ms
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
6.0ms
(/.f64 1 (+.f64 (/.f64 z y) -1))

simplify686.0ms (13.1%)

Algorithm
1×egg-herbie
Rules
726×fma-neg_binary64
424×times-frac_binary64
345×sub-neg_binary64
269×distribute-rgt-in_binary64
238×unsub-neg_binary64
Counts
682 → 644
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
041837657
194129300
2276922467
3452322462
4483922462

prune716.0ms (13.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New6960696
Fresh022
Picked011
Done011
Total6964700
Error
0b
Counts
700 → 4
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (*.f64 x (/.f64 1 (-.f64 z y))) (/.f64 y (-.f64 z y)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 z y))
32.8b
(-.f64 (+.f64 (/.f64 z y) 1) (+.f64 (/.f64 x y) (/.f64 (*.f64 z x) (pow.f64 y 2))))
✓0.1b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
Compiler

Compiled 36651 to 19012 computations (48.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series49.0ms (0.9%)

Counts
3 → 96
Calls

3 calls:

23.0ms
(-.f64 (*.f64 x (/.f64 1 (-.f64 z y))) (/.f64 y (-.f64 z y)))
15.0ms
(*.f64 x (/.f64 1 (-.f64 z y)))
10.0ms
(/.f64 1 (-.f64 z y))

rewrite34.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
74×add-sqr-sqrt_binary64
68×*-un-lft-identity_binary64
62×times-frac_binary64
41×add-cube-cbrt_binary64
21×cancel-sign-sub-inv_binary64
Counts
3 → 150
Calls

3 calls:

11.0ms
(-.f64 (*.f64 x (/.f64 1 (-.f64 z y))) (/.f64 y (-.f64 z y)))
8.0ms
(*.f64 x (/.f64 1 (-.f64 z y)))
4.0ms
(/.f64 1 (-.f64 z y))

simplify137.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
469×fma-neg_binary64
284×cancel-sign-sub-inv_binary64
282×sub-neg_binary64
245×div-sub_binary64
177×distribute-neg-frac_binary64
Counts
246 → 241
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03494885
19544336
229673878
343403874
447973874

prune186.0ms (3.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2960296
Fresh011
Picked011
Done022
Total2964300
Error
0b
Counts
300 → 4
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 (*.f64 x (/.f64 1 (-.f64 z y))) (/.f64 y (-.f64 z y)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 z y))
32.8b
(-.f64 (+.f64 (/.f64 z y) 1) (+.f64 (/.f64 x y) (/.f64 (*.f64 z x) (pow.f64 y 2))))
✓0.1b
(-.f64 (/.f64 x (-.f64 z y)) (/.f64 1 (+.f64 (/.f64 z y) -1)))
Compiler

Compiled 7004 to 2509 computations (64.2% saved)

regimes377.0ms (7.2%)

Accuracy

Total 0.0b remaining (65.8%)

Threshold costs 0.0b (65.8%)

Counts
93 → 1
Compiler

Compiled 6095 to 3539 computations (41.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
4×sub-neg_binary64
2×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11616
22416
32816
43016
52916

end60.0ms (1.1%)

Compiler

Compiled 90 to 53 computations (41.1% saved)

Profiling

Loading profile data...