Details

Time bar (total: 1.3s)

analyze2.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
99.8%0%0.2%1
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample745.0ms (58.1%)

Infinites
23.2% of outputs are infinite.
Symmetry

(sort x y)

(sort z t)

Results
667.0ms8256×body128valid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify17.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
171×fma-def_binary64
87×fma-neg_binary64
36×cancel-sign-sub-inv_binary64
23×distribute-rgt-neg-in_binary64
20×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11610
22710
34410
46610
510010
615210
721310
825710
927910
1029910
1130510
1227410

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.8b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.8b
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.7%)

Counts
1 → 48
Calls

1 calls:

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

rewrite3.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
1×*-un-lft-identity_binary64
Counts
1 → 16
Calls

1 calls:

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

simplify118.0ms (9.2%)

Algorithm
1×egg-herbie
Rules
480×times-frac_binary64
463×fma-def_binary64
444×unsub-neg_binary64
265×sub-neg_binary64
232×distribute-rgt-neg-in_binary64
Counts
64 → 32
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
043682
1113658
2347652
3974652
42183652
53451652
64489652
74961652
84995652
94859652

prune19.0ms (1.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New30232
Fresh000
Picked101
Done000
Total31233
Error
0.0b
Counts
33 → 2
Alt Table
StatusErrorProgram
▶0.5b
(fma.f64 x y (neg.f64 (*.f64 z t)))
33.2b
(*.f64 y x)
Compiler

Compiled 449 to 117 computations (73.9% saved)

localize7.0ms (0.6%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(fma.f64 x y (neg.f64 (*.f64 z t)))

series10.0ms (0.7%)

Counts
1 → 48
Calls

1 calls:

9.0ms
(fma.f64 x y (neg.f64 (*.f64 z t)))

rewrite1.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 x y (neg.f64 (*.f64 z t)))

simplify83.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
967×unsub-neg_binary64
792×times-frac_binary64
421×fma-neg_binary64
384×neg-sub0_binary64
364×neg-mul-1_binary64
Counts
58 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
023568
137547
265547
3215547
4895547
51760547
63723547
74512547
85729547

prune9.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh011
Picked011
Done000
Total22224
Error
0.0b
Counts
24 → 2
Alt Table
StatusErrorProgram
✓0.5b
(fma.f64 x y (neg.f64 (*.f64 z t)))
▶33.2b
(*.f64 y x)
Compiler

Compiled 274 to 69 computations (74.8% saved)

localize2.0ms (0.2%)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0.0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓0.5b
(fma.f64 x y (neg.f64 (*.f64 z t)))
✓33.2b
(*.f64 y x)
Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes169.0ms (13.2%)

Accuracy

Total 0.3b remaining (98.2%)

Threshold costs 0.3b (98.2%)

Counts
11 → 1
Compiler

Compiled 1127 to 762 computations (32.4% saved)

simplify5.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11710
22510
33010
43210
53210

end75.0ms (5.9%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 84 to 54 computations (35.7% saved)

Profiling

Loading profile data...