Details

Time bar (total: 2.9s)

analyze540.0ms (18.4%)

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
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
40.6%56.9%2.5%9
46%49.5%4.4%10
50.3%44.9%4.8%11
60.3%30.5%9.2%12
62.9%25.7%11.4%13
65.2%23.2%11.7%14
Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.2s (42.5%)

Results
974.0ms8256×body128valid
144.0ms936×body128invalid
Compiler

Compiled 50 to 38 computations (24% saved)

simplify123.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
724×div-sub_binary64
708×fma-neg_binary64
609×sub-neg_binary64
598×times-frac_binary64
477×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01319
12517
25515
312515
427415
556411
6103111
7166811
8241011
9350611
10426911
11453811
12483311
13495011
14467211

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.3b
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
▶0.2b
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
Compiler

Compiled 78 to 57 computations (26.9% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

series12.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

12.0ms
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

simplify100.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
867×associate-*l/_binary64
335×distribute-lft-in_binary64
335×distribute-rgt-in_binary64
242×associate-/l*_binary64
196×distribute-lft-neg-out_binary64
Counts
46 → 31
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
033575
161498
2126496
3370496
41797496
55240496

prune27.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New30131
Fresh011
Picked101
Done000
Total31233
Error
0b
Counts
33 → 2
Alt Table
StatusErrorProgram
0.3b
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
▶0.0b
(-.f64 (+.f64 4 (*.f64 4 (/.f64 x y))) (*.f64 4 (/.f64 z y)))
Compiler

Compiled 411 to 239 computations (41.8% saved)

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series33.0ms (1.1%)

Counts
4 → 42
Calls

4 calls:

15.0ms
(-.f64 (+.f64 4 (*.f64 4 (/.f64 x y))) (*.f64 4 (/.f64 z y)))
7.0ms
(*.f64 4 (/.f64 z y))
6.0ms
(*.f64 4 (/.f64 x y))
5.0ms
(+.f64 4 (*.f64 4 (/.f64 x y)))

rewrite23.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
33×add-sqr-sqrt_binary64
26×associate-*r*_binary64
23×*-un-lft-identity_binary64
23×add-cube-cbrt_binary64
20×times-frac_binary64
Counts
4 → 108
Calls

4 calls:

6.0ms
(*.f64 4 (/.f64 z y))
5.0ms
(-.f64 (+.f64 4 (*.f64 4 (/.f64 x y))) (*.f64 4 (/.f64 z y)))
4.0ms
(*.f64 4 (/.f64 x y))
2.0ms
(+.f64 4 (*.f64 4 (/.f64 x y)))

simplify79.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
466×associate-*l*_binary64
398×associate-*r/_binary64
376×times-frac_binary64
375×fma-def_binary64
370×associate-*l/_binary64
Counts
150 → 160
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01881811
14651731
213641680
346181680
451601680

prune132.0ms (4.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1600160
Fresh011
Picked011
Done000
Total1602162
Error
0b
Counts
162 → 2
Alt Table
StatusErrorProgram
▶0.3b
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
✓0.0b
(-.f64 (+.f64 4 (*.f64 4 (/.f64 x y))) (*.f64 4 (/.f64 z y)))
Compiler

Compiled 3255 to 1845 computations (43.3% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series43.0ms (1.5%)

Counts
4 → 132
Calls

4 calls:

17.0ms
(/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y)
17.0ms
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
5.0ms
(-.f64 (+.f64 x (*.f64 y 3/4)) z)
3.0ms
(+.f64 x (*.f64 y 3/4))

rewrite22.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64
18×add-sqr-sqrt_binary64
16×add-cube-cbrt_binary64
13×add-log-exp_binary64
9×prod-diff_binary64
Counts
4 → 90
Calls

4 calls:

7.0ms
(/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y)
5.0ms
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
4.0ms
(-.f64 (+.f64 x (*.f64 y 3/4)) z)
2.0ms
(+.f64 x (*.f64 y 3/4))

simplify73.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
622×distribute-rgt-in_binary64
614×fma-def_binary64
601×distribute-lft-in_binary64
327×times-frac_binary64
139×cancel-sign-sub-inv_binary64
Counts
222 → 169
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01852475
14582396
214942220
351362220

prune129.0ms (4.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1690169
Fresh000
Picked011
Done011
Total1692171
Error
0b
Counts
171 → 2
Alt Table
StatusErrorProgram
✓0.3b
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
✓0.0b
(-.f64 (+.f64 4 (*.f64 4 (/.f64 x y))) (*.f64 4 (/.f64 z y)))
Compiler

Compiled 3287 to 2169 computations (34% saved)

regimes268.0ms (9.1%)

Accuracy

Total 0.0b remaining (61%)

Threshold costs 0.0b (61%)

Counts
57 → 1
Compiler

Compiled 3636 to 2800 computations (23% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
11717
22517
33117
43617
53917
64017
73917

end46.0ms (1.6%)

Compiler

Compiled 62 to 46 computations (25.8% saved)

Profiling

Loading profile data...