Details

Time bar (total: 2.7s)

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.1s (38.8%)

Infinites
20.6% of outputs are infinite.
Results
476.0ms6071×body128valid
195.0ms780×body1024valid
131.0ms440×body2048valid
103.0ms590×body512valid
49.0ms375×body256valid
Compiler

Compiled 56 to 29 computations (48.2% saved)

simplify146.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
1476×distribute-rgt-out--_binary64
585×unsub-neg_binary64
406×sub-neg_binary64
378×distribute-rgt-neg-in_binary64
342×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01019
12911
28410
32147
45907
518327
623617
727737
830297
933277
1034827
1135007
1235007
1335007
1453907

prune4.0ms (0.2%)

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

Compiled 75 to 39 computations (48% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

rewrite9.0ms (0.3%)

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:

5.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.3%)

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)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.4%)

Counts
1 → 18
Calls

1 calls:

10.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)

localize9.0ms (0.3%)

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))))

series69.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)))
25.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)

rewrite112.0ms (4.1%)

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:

24.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))))
11.0ms
(*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))
5.0ms
(*.f64 (*.f64 y y) y)

simplify248.0ms (9%)

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

prune164.0ms (6%)

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)

regimes579.0ms (21.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)

simplify4.0ms (0.1%)

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

Useful iterations: 3 (0.0ms)

IterNodesCost
01014
12114
24114
36112
47812
58312
67912

end78.0ms (2.9%)

Compiler

Compiled 53 to 32 computations (39.6% saved)

Profiling

Loading profile data...