Details

Time bar (total: 2.2s)

analyze366.0ms (16.7%)

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
21.8%78%0.1%7
26.5%73.3%0.1%8
36.7%63.2%0.1%9
41.3%49.9%8.7%10
47.2%43.3%9.5%11
54.4%35.5%10.1%12
57.9%27.4%14.7%13
61.7%23.2%15.1%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample163.0ms (7.4%)

Algorithm
1×intervals
Symmetry

(sort x y)

Results
7.0ms256×body128valid
0.0ms12×body128invalid
Compiler

Compiled 24 to 18 computations (25% saved)

simplify47.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
673×fma-neg_binary64
461×fma-def_binary64
143×distribute-rgt-in_binary64
135×cancel-sign-sub-inv_binary64
117×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
23210
37310
419010
542310
667610
7113610
8112410
9135910
10139410
11139410
12135110

prune2.0ms (0.1%)

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 1 z))
Compiler

Compiled 30 to 21 computations (30% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 58
Calls

1 calls:

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

simplify86.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
725×distribute-rgt-in_binary64
670×distribute-lft-in_binary64
623×fma-def_binary64
470×fma-neg_binary64
304×*-commutative_binary64
Counts
94 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01281510
12951288
211421234
339201126
445521126
547521126

prune54.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New88290
Fresh000
Picked011
Done000
Total88391
Error
0b
Counts
91 → 3
Alt Table
StatusErrorProgram
33.4b
(+.f64 (*.f64 1 (+.f64 x y)) (*.f64 (*.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z)) (+.f64 x y)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
▶0.0b
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
Compiler

Compiled 1730 to 754 computations (56.4% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.8%)

Counts
2 → 27
Calls

2 calls:

10.0ms
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
7.0ms
(+.f64 (*.f64 y z) (*.f64 z x))

rewrite16.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
24×*-un-lft-identity_binary64
16×add-log-exp_binary64
13×add-sqr-sqrt_binary64
12×prod-diff_binary64
11×add-cube-cbrt_binary64
Counts
2 → 58
Calls

2 calls:

8.0ms
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
5.0ms
(+.f64 (*.f64 y z) (*.f64 z x))

simplify89.0ms (4%)

Algorithm
1×egg-herbie
Rules
467×*-commutative_binary64
276×associate-+l+_binary64
267×cancel-sign-sub-inv_binary64
267×sub-neg_binary64
225×associate-+r+_binary64
Counts
85 → 100
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01311799
14091289
216901139
339841139
448711139
548181139

prune49.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New991100
Fresh101
Picked101
Done011
Total1012103
Error
0b
Counts
103 → 2
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (+.f64 y x) (fma.f64 y z (*.f64 z x)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 2362 to 458 computations (80.6% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

8.0ms
(-.f64 (+.f64 y x) (fma.f64 y z (*.f64 z x)))

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
23×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
12×prod-diff_binary64
10×add-cube-cbrt_binary64
6×add-log-exp_binary64
Counts
1 → 38
Calls

1 calls:

6.0ms
(-.f64 (+.f64 y x) (fma.f64 y z (*.f64 z x)))

simplify73.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
755×fma-neg_binary64
446×fma-def_binary64
426×distribute-rgt-in_binary64
417×distribute-lft-in_binary64
252×times-frac_binary64
Counts
74 → 64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0881241
1183947
2677835
32913824
44322824
55047824

prune24.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done011
Total64266
Error
0b
Counts
66 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (+.f64 y x) (fma.f64 y z (*.f64 z x)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 1320 to 274 computations (79.2% saved)

regimes191.0ms (8.7%)

Accuracy

Total 0.0b remaining (91.4%)

Threshold costs 0.0b (91.4%)

Counts
31 → 1
Compiler

Compiled 2923 to 1776 computations (39.2% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
11214
21714
31914
42014
52014

end6.0ms (0.3%)

Compiler

Compiled 39 to 21 computations (46.2% saved)

sample951.0ms (43.3%)

Algorithm
1×intervals
Results
274.0ms8000×body128valid
16.0ms590×body128invalid
Compiler

Compiled 50 to 32 computations (36% saved)

Profiling

Loading profile data...