Details

Time bar (total: 2.8s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 19 to 10 computations (47.4% saved)

sample1.4s (49%)

Infinites
20.6% of outputs are infinite.
Results
524.0ms5889×body128valid
325.0ms827×body1024valid
166.0ms671×body512valid
130.0ms440×body2048valid
107.0ms429×body256valid
Compiler

Compiled 56 to 29 computations (48.2% saved)

simplify181.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
1285×distribute-lft-out_binary64
1036×distribute-lft-out--_binary64
857×unsub-neg_binary64
599×*-commutative_binary64
502×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01019
12916
28213
32227
44707
513537
616887
716587
821227
920867
1021767
1123287
1230627
1332127
1434547
1535907
1636407
1736407
1836907
1937407
2060867

prune3.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.0b
(*.f64 y (-.f64 x z))
22.6b
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y))
Compiler

Compiled 75 to 39 computations (48% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

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

rewrite10.0ms (0.4%)

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

1 calls:

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

simplify92.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
626×fma-def_binary64
422×unsub-neg_binary64
281×unswap-sqr_binary64
277×*-commutative_binary64
231×neg-mul-1_binary64
Counts
86 → 67
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0117869
1190803
2577749
31458695
43029695
54852695
65000695
74766695

prune37.0ms (1.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New65267
Fresh101
Picked101
Done000
Total67269
Error
0b
Counts
69 → 2
Alt Table
StatusErrorProgram
39.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
▶1.8b
(-.f64 (*.f64 y x) (*.f64 y z))
Compiler

Compiled 1065 to 293 computations (72.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.2%)

Counts
1 → 18
Calls

1 calls:

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

rewrite3.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×distribute-lft-out--_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
Counts
1 → 17
Calls

1 calls:

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

simplify79.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
791×unsub-neg_binary64
633×fma-def_binary64
541×distribute-rgt-in_binary64
482×distribute-lft-in_binary64
320×times-frac_binary64
Counts
35 → 35
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
045332
1121314
2415307
31268304
43520304
54176304
64949304
74865304

prune20.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New35035
Fresh011
Picked011
Done000
Total35237
Error
0b
Counts
37 → 2
Alt Table
StatusErrorProgram
▶39.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
✓1.8b
(-.f64 (*.f64 y x) (*.f64 y z))
Compiler

Compiled 447 to 128 computations (71.4% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))
✓0.1b
(*.f64 (*.f64 y y) y)
✓16.6b
(*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
✓25.4b
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))

series68.0ms (2.5%)

Counts
4 → 108
Calls

4 calls:

31.0ms
(*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
23.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
11.0ms
(*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))
3.0ms
(*.f64 (*.f64 y y) y)

rewrite119.0ms (4.3%)

Algorithm
1×rewrite-expression-head
Rules
166×pow1_binary64
84×frac-times_binary64
81×flip--_binary64
81×flip3--_binary64
76×associate-*r/_binary64
Counts
4 → 296
Calls

4 calls:

30.0ms
(*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z)))
22.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
15.0ms
(*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))
4.0ms
(*.f64 (*.f64 y y) y)

simplify239.0ms (8.6%)

Algorithm
1×egg-herbie
Rules
730×associate-*l*_binary64
668×associate-*r*_binary64
434×unswap-sqr_binary64
353×cancel-sign-sub-inv_binary64
349×fma-neg_binary64
Counts
404 → 360
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04029628
17528598
232388418
349098418
449818418

prune174.0ms (6.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New3600360
Fresh000
Picked011
Done011
Total3602362
Error
0b
Counts
362 → 2
Alt Table
StatusErrorProgram
✓39.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))))
✓1.8b
(-.f64 (*.f64 y x) (*.f64 y z))
Compiler

Compiled 11886 to 2813 computations (76.3% saved)

regimes306.0ms (11.1%)

Accuracy

Total 0.0b remaining (0.1%)

Threshold costs 0.0b (0.1%)

Counts
78 → 1
Compiler

Compiled 4368 to 2940 computations (32.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-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
067
197
2147
3167
4177
5177

end39.0ms (1.4%)

Compiler

Compiled 47 to 26 computations (44.7% saved)

Profiling

Loading profile data...