Details

Time bar (total: 3.4s)

analyze637.0ms (18.8%)

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

Symmetry

(sort z t)

Results
992.0ms8256×body128valid
43.0ms398×body128invalid
Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify114.0ms (3.4%)

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

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 45 to 30 computations (33.3% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series106.0ms (3.1%)

Counts
2 → 84
Calls

2 calls:

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

rewrite60.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
745×prod-diff_binary64
202×expm1-udef_binary64
202×log1p-udef_binary64
110×add-sqr-sqrt_binary64
105×log1p-expm1-u_binary64
Counts
2 → 77
Calls

2 calls:

58.0ms
(*.f64 (-.f64 y z) (-.f64 y t))
58.0ms
(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
120623
2303023
3520323

simplify68.0ms (2%)

Algorithm
1×egg-herbie
Rules
646×times-frac_binary64
502×associate-/l*_binary64
403×associate-/r*_binary64
247×associate-*r*_binary64
220×associate-*l*_binary64
Counts
161 → 140
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02784329
110704092
252404092

prune124.0ms (3.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1373140
Fresh000
Picked011
Done000
Total1374141
Error
0b
Counts
141 → 4
Alt Table
StatusErrorProgram
31.5b
(-.f64 1 (*.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (/.f64 (sqrt.f64 x) (-.f64 y t))))
2.1b
(-.f64 1 (*.f64 (/.f64 x (-.f64 y z)) (/.f64 1 (-.f64 y t))))
✓0.5b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
▶0.6b
(-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))))
Compiler

Compiled 4963 to 2269 computations (54.3% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series144.0ms (4.2%)

Counts
2 → 84
Calls

2 calls:

98.0ms
(*.f64 x (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t))))
46.0ms
(/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))

rewrite61.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
727×prod-diff_binary64
220×log1p-udef_binary64
124×add-sqr-sqrt_binary64
117×log1p-expm1-u_binary64
117×expm1-log1p-u_binary64
Counts
2 → 58
Calls

2 calls:

60.0ms
(/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))
60.0ms
(*.f64 x (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01126
124226
2321826
3506126

simplify96.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
747×associate-/l*_binary64
702×associate-/r*_binary64
228×fma-def_binary64
158×+-commutative_binary64
145×associate-*r/_binary64
Counts
142 → 149
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04496894
116816689
250046689

prune176.0ms (5.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1981199
Fresh202
Picked011
Done011
Total2003203
Error
0b
Counts
203 → 3
Alt Table
StatusErrorProgram
▶2.0b
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
✓0.5b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
✓0.6b
(-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))))
Compiler

Compiled 8150 to 4080 computations (49.9% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series102.0ms (3%)

Counts
1 → 48
Calls

1 calls:

102.0ms
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))

rewrite63.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
754×prod-diff_binary64
210×log1p-udef_binary64
114×add-sqr-sqrt_binary64
109×log1p-expm1-u_binary64
109×expm1-log1p-u_binary64
Counts
1 → 42
Calls

1 calls:

62.0ms
(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
121213
2322613
3516313

simplify62.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
646×times-frac_binary64
502×associate-/l*_binary64
403×associate-/r*_binary64
244×associate-*r*_binary64
216×associate-*l*_binary64
Counts
90 → 90
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02743772
110523621
251863621

prune81.0ms (2.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New90090
Fresh000
Picked011
Done022
Total90393
Error
0b
Counts
93 → 3
Alt Table
StatusErrorProgram
✓2.0b
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
✓0.5b
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
✓0.6b
(-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))))
Compiler

Compiled 4036 to 1919 computations (52.5% saved)

regimes307.0ms (9%)

Accuracy

Total 0.5b remaining (96.3%)

Threshold costs 0.5b (96.3%)

Counts
28 → 1
Compiler

Compiled 3198 to 2224 computations (30.5% 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

end58.0ms (1.7%)

Remove

(sort z t)

Compiler

Compiled 107 to 72 computations (32.7% saved)

Profiling

Loading profile data...