Details

Time bar (total: 4.3s)

analyze659.0ms (15.3%)

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
12.5%87.3%0.2%7
15.6%84.2%0.2%8
28.1%71.7%0.2%9
37.4%62.4%0.2%10
43.7%56.1%0.2%11
53%46.8%0.2%12
64.1%35.6%0.3%13
66.7%32.8%0.5%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.1s (24.7%)

Symmetry

(sort z t)

Results
948.0ms8256×body128valid
55.0ms406×body128invalid
Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify122.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
1226×div-sub_binary64
778×fma-def_binary64
701×unsub-neg_binary64
456×sub-neg_binary64
437×fma-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
12216
25016
312116
429916
567416
6136116
7274216
8370616
9387116
10408316
11430416
12438716
13542416

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 45 to 30 computations (33.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series137.0ms (3.2%)

Counts
2 → 84
Calls

2 calls:

128.0ms
(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
8.0ms
(*.f64 (-.f64 y z) (-.f64 y t))

rewrite21.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
20×add-cube-cbrt_binary64
18×prod-diff_binary64
13×distribute-lft-in_binary64
Counts
2 → 89
Calls

2 calls:

8.0ms
(*.f64 (-.f64 y z) (-.f64 y t))
6.0ms
(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))

simplify97.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
744×times-frac_binary64
589×associate-/l*_binary64
505×associate-/r*_binary64
195×fma-def_binary64
134×*-commutative_binary64
Counts
173 → 187
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04445989
113765678
250105678

prune145.0ms (3.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1852187
Fresh000
Picked011
Done000
Total1853188
Error
0b
Counts
188 → 3
Alt Table
StatusErrorProgram
✓0.2b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
▶0.3b
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
1.1b
(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
Compiler

Compiled 6308 to 2567 computations (59.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series144.0ms (3.4%)

Counts
2 → 72
Calls

2 calls:

128.0ms
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
16.0ms
(/.f64 x (-.f64 y z))

rewrite37.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
210×times-frac_binary64
176×*-un-lft-identity_binary64
176×add-sqr-sqrt_binary64
88×add-cube-cbrt_binary64
44×distribute-lft-out--_binary64
Counts
2 → 189
Calls

2 calls:

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

simplify136.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
709×times-frac_binary64
587×associate-/l*_binary64
544×associate-/r*_binary64
305×associate-/l/_binary64
166×fma-def_binary64
Counts
261 → 260
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
05479298
117179038
254319038

prune163.0ms (3.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2600260
Fresh011
Picked011
Done011
Total2603263
Error
0b
Counts
263 → 3
Alt Table
StatusErrorProgram
✓0.2b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
✓0.3b
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
▶1.1b
(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
Compiler

Compiled 8329 to 2935 computations (64.8% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (-.f64 y t))
✓0.8b
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
✓1.8b
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))

series175.0ms (4.1%)

Counts
3 → 120
Calls

3 calls:

125.0ms
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
31.0ms
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
18.0ms
(/.f64 x (-.f64 y t))

rewrite158.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Rules
1260×times-frac_binary64
844×*-un-lft-identity_binary64
844×add-sqr-sqrt_binary64
468×add-cube-cbrt_binary64
188×distribute-lft-out--_binary64
Counts
3 → 660
Calls

3 calls:

20.0ms
(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
9.0ms
(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
4.0ms
(/.f64 x (-.f64 y t))

simplify387.0ms (9%)

Algorithm
1×egg-herbie
Rules
823×times-frac_binary64
265×associate-/l/_binary64
256×associate-/r/_binary64
179×fma-def_binary64
135×sub-neg_binary64
Counts
780 → 745
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
073625511
1217025046
2498825046

prune596.0ms (13.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New7450745
Fresh000
Picked011
Done022
Total7453748
Error
0b
Counts
748 → 3
Alt Table
StatusErrorProgram
✓0.2b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
✓0.3b
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
✓1.1b
(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
Compiler

Compiled 22990 to 7627 computations (66.8% saved)

regimes181.0ms (4.2%)

Accuracy

Total 0.6b remaining (97.6%)

Threshold costs 0.6b (97.6%)

Counts
30 → 1
Compiler

Compiled 3625 to 2336 computations (35.6% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
12016
23216
34016
44516
54616
64516

end61.0ms (1.4%)

Remove

(sort z t)

Compiler

Compiled 107 to 72 computations (32.7% saved)

Profiling

Loading profile data...