Details

Time bar (total: 8.2s)

analyze1.8s (22.2%)

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
6.2%93.6%0.2%9
9.4%90.4%0.2%10
23.4%74.9%1.8%11
27.3%69%3.7%12
36.6%56.5%6.8%13
40.5%52%7.4%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample2.3s (28.3%)

Symmetry

(sort y t)

Results
1.7s8256×body128valid
375.0ms1962×body128invalid
Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify40.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
998×fma-def_binary64
304×fma-neg_binary64
112×distribute-rgt-in_binary64
90×associate-*l*_binary64
87×associate-*r*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
12010
24310
39610
417210
525210
639810
758110
884610
991010
1094310
1194910
1294910
1388610

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
8.0b
(*.f64 y (*.f64 t (-.f64 x z)))
▶7.9b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
Compiler

Compiled 68 to 41 computations (39.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series29.0ms (0.4%)

Counts
2 → 84
Calls

2 calls:

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

rewrite86.0ms (1%)

Algorithm
2×batch-egg-rewrite
Rules
557×log-prod_binary64
498×fma-def_binary64
260×egg-rr
216×fma-neg_binary64
186×expm1-udef_binary64
Counts
2 → 260
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0917
119717
2258617
3516517
000
100

simplify150.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
789×fma-def_binary64
312×fma-neg_binary64
100×distribute-rgt-in_binary64
80×associate-*l*_binary64
80×distribute-lft-in_binary64
Counts
344 → 274
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029708
179708
2172708
3296708
4459708
5710708
6898708
7957708
8959708
9959708
10896708

prune187.0ms (2.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2686274
Fresh011
Picked101
Done000
Total2697276
Error
0.0b
Counts
276 → 7
Alt Table
StatusErrorProgram
29.6b
(fma.f64 (*.f64 (*.f64 y (-.f64 x z)) (cbrt.f64 (*.f64 t t))) (cbrt.f64 t) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
▶6.7b
(*.f64 (-.f64 x z) (*.f64 y t))
29.6b
(fma.f64 (cbrt.f64 (*.f64 t t)) (*.f64 (cbrt.f64 t) (*.f64 y (-.f64 x z))) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
8.0b
(*.f64 y (*.f64 t (-.f64 x z)))
7.8b
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
8.8b
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
8.3b
(*.f64 (fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (neg.f64 (*.f64 y z))) t)
Compiler

Compiled 5387 to 1251 computations (76.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.2%)

Counts
1 → 32
Calls

1 calls:

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

rewrite50.0ms (0.6%)

Algorithm
2×batch-egg-rewrite
Rules
870×log1p-expm1-u_binary64
870×expm1-log1p-u_binary64
359×prod-diff_binary64
89×add-sqr-sqrt_binary64
82×add-log-exp_binary64
Counts
1 → 21
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117010
2219610
3603410
000
100

simplify54.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
922×fma-def_binary64
400×fma-neg_binary64
145×cancel-sign-sub-inv_binary64
88×distribute-rgt-in_binary64
74×associate-*r*_binary64
Counts
53 → 28
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
018308
152308
2100308
3150308
4254308
5364308
6596308
7803308
8863308
9925308
10939308
11939308
12876308

prune108.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New27128
Fresh246
Picked011
Done000
Total29635
Error
0.0b
Counts
35 → 6
Alt Table
StatusErrorProgram
29.6b
(fma.f64 (*.f64 (*.f64 y (-.f64 x z)) (cbrt.f64 (*.f64 t t))) (cbrt.f64 t) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
✓6.7b
(*.f64 (-.f64 x z) (*.f64 y t))
29.6b
(fma.f64 (cbrt.f64 (*.f64 t t)) (*.f64 (cbrt.f64 t) (*.f64 y (-.f64 x z))) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
8.0b
(*.f64 y (*.f64 t (-.f64 x z)))
▶7.8b
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
32.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y t)) (+.f64 x z))
Compiler

Compiled 520 to 225 computations (56.7% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series55.0ms (0.7%)

Counts
3 → 108
Calls

3 calls:

25.0ms
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
24.0ms
(fma.f64 z (neg.f64 y) (*.f64 y z))
6.0ms
(*.f64 y (-.f64 x z))

rewrite76.0ms (0.9%)

Algorithm
2×batch-egg-rewrite
Rules
990×prod-diff_binary64
220×log1p-udef_binary64
132×add-sqr-sqrt_binary64
123×log1p-expm1-u_binary64
123×expm1-log1p-u_binary64
Counts
3 → 67
Calls

3 calls:

74.0ms
(*.f64 y (-.f64 x z))
74.0ms
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
74.0ms
(fma.f64 z (neg.f64 y) (*.f64 y z))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01240
125333
2297533
3525333
000
100

simplify81.0ms (1%)

Algorithm
1×egg-herbie
Rules
858×fma-def_binary64
292×fma-neg_binary64
119×cancel-sign-sub-inv_binary64
98×unsub-neg_binary64
95×distribute-rgt-in_binary64
Counts
175 → 85
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
028732
187732
2182732
3344732
4590732
5775732
6928732
7967732
8971732
9971732
10908732

prune53.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New85085
Fresh044
Picked011
Done011
Total85691
Error
0.0b
Counts
91 → 6
Alt Table
StatusErrorProgram
29.6b
(fma.f64 (*.f64 (*.f64 y (-.f64 x z)) (cbrt.f64 (*.f64 t t))) (cbrt.f64 t) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
✓6.7b
(*.f64 (-.f64 x z) (*.f64 y t))
29.6b
(fma.f64 (cbrt.f64 (*.f64 t t)) (*.f64 (cbrt.f64 t) (*.f64 y (-.f64 x z))) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
▶8.0b
(*.f64 y (*.f64 t (-.f64 x z)))
✓7.8b
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
32.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y t)) (+.f64 x z))
Compiler

Compiled 1739 to 448 computations (74.2% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series12.0ms (0.2%)

Counts
1 → 48
Calls

1 calls:

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

rewrite55.0ms (0.7%)

Algorithm
2×batch-egg-rewrite
Rules
874×log1p-expm1-u_binary64
874×expm1-log1p-u_binary64
359×prod-diff_binary64
89×add-sqr-sqrt_binary64
82×add-log-exp_binary64
Counts
1 → 19
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117010
2220210
3605610
000
100

simplify76.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
932×fma-def_binary64
384×fma-neg_binary64
134×cancel-sign-sub-inv_binary64
108×distribute-rgt-in_binary64
86×distribute-lft-in_binary64
Counts
67 → 28
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
021468
159468
2106468
3157468
4266468
5396468
6613468
7816468
8863468
9935468
10947468
11947468
12884468

prune17.0ms (0.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New28028
Fresh033
Picked011
Done022
Total28634
Error
0.0b
Counts
34 → 6
Alt Table
StatusErrorProgram
29.6b
(fma.f64 (*.f64 (*.f64 y (-.f64 x z)) (cbrt.f64 (*.f64 t t))) (cbrt.f64 t) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
✓6.7b
(*.f64 (-.f64 x z) (*.f64 y t))
29.6b
(fma.f64 (cbrt.f64 (*.f64 t t)) (*.f64 (cbrt.f64 t) (*.f64 y (-.f64 x z))) (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
✓8.0b
(*.f64 y (*.f64 t (-.f64 x z)))
✓7.8b
(fma.f64 (*.f64 y (-.f64 x z)) t (*.f64 (fma.f64 z (neg.f64 y) (*.f64 y z)) t))
32.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y t)) (+.f64 x z))
Compiler

Compiled 395 to 165 computations (58.2% saved)

regimes2.2s (26.5%)

Accuracy

Total 1.3b remaining (98.2%)

Threshold costs 0b (0%)

Counts
110 → 3
Compiler

Compiled 10870 to 6770 computations (37.7% saved)

bsearch6.0ms (0.1%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02473
13973
24973
35473
45673
55673

end711.0ms (8.6%)

Compiler

Compiled 329 to 150 computations (54.4% saved)

Profiling

Loading profile data...