Details

Time bar (total: 2.5s)

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 (42.2%)

Infinites
20.6% of outputs are infinite.
Results
471.0ms5893×body128valid
190.0ms825×body1024valid
128.0ms673×body512valid
123.0ms440×body2048valid
53.0ms425×body256valid
Compiler

Compiled 56 to 29 computations (48.2% saved)

simplify250.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
7175×fma-neg_binary64
753×unsub-neg_binary64
515×distribute-lft-out_binary64
498×distribute-lft-out--_binary64
472×*-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01022
12710
2807
32067
45657
518257
621617
722897
824917
926047
1026497
1139047
1233807
1335847
1435847
1539967
1642027
1742027
1842027
1943047
2043047
21110327

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 z)) (*.f64 y y)) (*.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.3%)

Counts
1 → 36
Calls

1 calls:

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

simplify89.0ms (3.5%)

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

prune38.0ms (1.5%)

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

series7.0ms (0.3%)

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

simplify95.0ms (3.7%)

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

prune25.0ms (1%)

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

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))))
12.0ms
(*.f64 (*.f64 (-.f64 x z) (-.f64 x z)) (-.f64 x z))
2.0ms
(*.f64 (*.f64 y y) y)

rewrite109.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:

23.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))
4.0ms
(*.f64 (*.f64 y y) y)

simplify236.0ms (9.3%)

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

prune175.0ms (6.9%)

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)

regimes289.0ms (11.4%)

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
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×+-rgt-identity_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087
1127
2167
3187
4197
5197

end39.0ms (1.5%)

Compiler

Compiled 47 to 26 computations (44.7% saved)

Profiling

Loading profile data...