Details

Time bar (total: 2.1s)

analyze459.0ms (22.3%)

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
12.5%87.4%0.1%7
18.7%81.1%0.1%8
31.2%68.6%0.1%9
46.8%44.5%8.7%10
51.5%39%9.5%11
57.3%32.6%10.1%12
63.8%21.6%14.7%13
66.2%18.7%15.1%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample46.0ms (2.2%)

Algorithm
1×intervals
Symmetry

(sort x y)

Results
6.0ms256×body128valid
0.0ms15×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×distribute-lft-in_binary64
2×distribute-rgt-in_binary64
1×+-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
2167
3187
4187

prune1.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) z)
Compiler

Compiled 24 to 15 computations (37.5% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
4×associate-*l*_binary64
3×associate-*r*_binary64
3×add-cube-cbrt_binary64
Counts
1 → 23
Calls

1 calls:

4.0ms
(*.f64 (+.f64 x y) z)

simplify97.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
508×fma-def_binary64
448×associate-+l+_binary64
431×fma-neg_binary64
402×associate-+r+_binary64
300×distribute-rgt-out_binary64
Counts
59 → 41
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
049490
1115460
2370460
3930460
41654460
52723460
63208460
74769460
84995460
94860460

prune58.0ms (2.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New39241
Fresh000
Picked011
Done000
Total39342
Error
0b
Counts
42 → 3
Alt Table
StatusErrorProgram
28.6b
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))
✓0.0b
(*.f64 (+.f64 x y) z)
▶0.0b
(+.f64 (*.f64 y z) (*.f64 z x))
Compiler

Compiled 494 to 150 computations (69.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.3%)

Counts
1 → 18
Calls

1 calls:

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

rewrite3.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×+-commutative_binary64
1×flip-+_binary64
1×*-un-lft-identity_binary64
1×flip3-+_binary64
Counts
1 → 14
Calls

1 calls:

3.0ms
(+.f64 (*.f64 y z) (*.f64 z x))

simplify81.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
801×unsub-neg_binary64
588×distribute-rgt-out_binary64
339×distribute-rgt-in_binary64
307×distribute-lft-in_binary64
288×associate-*l*_binary64
Counts
32 → 28
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
032296
1115272
2397271
31233271
42569268
53818268
64353268
75317268

prune16.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh011
Picked011
Done011
Total28331
Error
0b
Counts
31 → 3
Alt Table
StatusErrorProgram
▶28.6b
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))
✓0.0b
(*.f64 (+.f64 x y) z)
✓0.0b
(+.f64 (*.f64 y z) (*.f64 z x))
Compiler

Compiled 385 to 109 computations (71.7% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (+.f64 x y) z)
✓0.2b
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))
✓2.4b
(sqrt.f64 (*.f64 (+.f64 x y) z))

series126.0ms (6.1%)

Counts
2 → 40
Calls

2 calls:

85.0ms
(sqrt.f64 (*.f64 (+.f64 x y) z))
41.0ms
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))

rewrite21.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
54×pow1_binary64
30×sqrt-pow1_binary64
21×pow-prod-down_binary64
16×associate-*l/_binary64
14×sqrt-div_binary64
Counts
2 → 74
Calls

2 calls:

12.0ms
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))
3.0ms
(sqrt.f64 (*.f64 (+.f64 x y) z))

simplify77.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
823×fma-def_binary64
746×times-frac_binary64
724×unswap-sqr_binary64
240×*-commutative_binary64
174×distribute-rgt-in_binary64
Counts
114 → 112
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01271390
12641336
28461296
320921277
444081214
552661214

prune78.0ms (3.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2320232
Fresh000
Picked011
Done022
Total2323235
Error
0b
Counts
235 → 3
Alt Table
StatusErrorProgram
✓28.6b
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) z)) (sqrt.f64 (*.f64 (+.f64 x y) z)))
✓0.0b
(*.f64 (+.f64 x y) z)
✓0.0b
(+.f64 (*.f64 y z) (*.f64 z x))
Compiler

Compiled 4561 to 980 computations (78.5% saved)

regimes118.0ms (5.7%)

Accuracy

Total 0.0b remaining (37%)

Threshold costs 0.0b (37%)

Counts
18 → 1
Compiler

Compiled 1344 to 838 computations (37.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
178
278

end6.0ms (0.3%)

Compiler

Compiled 27 to 15 computations (44.4% saved)

sample828.0ms (40.3%)

Algorithm
1×intervals
Results
209.0ms8000×body128valid
14.0ms627×body128invalid
Compiler

Compiled 55 to 32 computations (41.8% saved)

Profiling

Loading profile data...