Details

Time bar (total: 3.9s)

analyze1.3s (33.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%97.9%2.1%11
0%97.5%2.5%12
0%94.8%5.2%13
0%94.5%5.5%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.7s (43.8%)

Symmetry

(sort x y)

(sort z t)

Results
945.0ms8256×body128valid
620.0ms1220×body8192exit
80.0ms721×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify18.0ms (0.5%)

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

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) (*.f64 z t))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.2%)

Counts
1 → 48
Calls

1 calls:

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

rewrite3.0ms (0.1%)

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

simplify123.0ms (3.1%)

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

prune18.0ms (0.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
32.5b
(*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
▶0.0b
(fma.f64 x y (neg.f64 (*.f64 z t)))
Compiler

Compiled 477 to 125 computations (73.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.2%)

Counts
1 → 48
Calls

1 calls:

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

rewrite1.0ms (0%)

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

simplify81.0ms (2.1%)

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

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
▶32.5b
(*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
✓0.0b
(fma.f64 x y (neg.f64 (*.f64 z t)))
Compiler

Compiled 302 to 77 computations (74.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
✓0.3b
(*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
✓0.5b
(sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))

series119.0ms (3.1%)

Counts
2 → 56
Calls

2 calls:

73.0ms
(sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
46.0ms
(*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))

rewrite20.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
18×pow1_binary64
14×sqrt-div_binary64
11×*-un-lft-identity_binary64
Counts
2 → 78
Calls

2 calls:

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

simplify92.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
557×times-frac_binary64
537×fma-neg_binary64
342×*-commutative_binary64
337×associate-/r*_binary64
330×fma-def_binary64
Counts
134 → 121
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01382631
13352448
211842366
343732332
449602332

prune84.0ms (2.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2260226
Fresh000
Picked011
Done011
Total2262228
Error
0.0b
Counts
228 → 2
Alt Table
StatusErrorProgram
✓32.5b
(*.f64 (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
✓0.0b
(fma.f64 x y (neg.f64 (*.f64 z t)))
Compiler

Compiled 5959 to 1040 computations (82.5% saved)

regimes190.0ms (4.9%)

Accuracy

Total -0.0b remaining (-7.1%)

Threshold costs -0.0b (-7.1%)

Counts
22 → 1
Compiler

Compiled 2801 to 1898 computations (32.2% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
12222
23022
33422
43522
53522

end81.0ms (2.1%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 146 to 76 computations (47.9% saved)

Profiling

Loading profile data...