Details

Time bar (total: 3.9s)

analyze706.0ms (18.1%)

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
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (28.6%)

Symmetry

(sort z t)

Results
1.0s8256×body128valid
39.0ms375×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify12.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
100×fma-def_binary64
56×fma-neg_binary64
29×cancel-sign-sub-inv_binary64
18×sub-neg_binary64
13×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
22610
34310
46310
59710
615410
720710
827110
935610
1040610
1141210
Stop Event
1×saturated
Counts
1 → 1

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series34.0ms (0.9%)

Counts
2 → 84
Calls

2 calls:

30.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
5.0ms
(-.f64 y (*.f64 z t))

rewrite88.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
642×prod-diff_binary64
207×fma-def_binary64
170×egg-rr
170×expm1-udef_binary64
170×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117717
2254317
Stop Event
1×node limit
Counts
2 → 170
Calls

2 calls:

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

simplify103.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
866×fma-neg_binary64
715×times-frac_binary64
452×associate-/l*_binary64
298×associate-/r*_binary64
234×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0571604
11791544
26941492
348521492
Stop Event
1×node limit
Counts
254 → 190

prune128.0ms (3.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1855190
Fresh000
Picked101
Done000
Total1865191
Error
0.0b
Counts
191 → 5
Alt Table
StatusErrorProgram
33.9b
(/.f64 (neg.f64 (/.f64 x z)) t)
▶2.7b
(/.f64 x (fma.f64 z (neg.f64 t) y))
2.9b
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
3.6b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
2.8b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
Compiler

Compiled 3926 to 1303 computations (66.8% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓2.7b
(/.f64 x (fma.f64 z (neg.f64 t) y))

series33.0ms (0.9%)

Counts
1 → 48
Calls

1 calls:

33.0ms
(/.f64 x (fma.f64 z (neg.f64 t) y))

rewrite41.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
721×log1p-expm1-u_binary64
721×expm1-log1p-u_binary64
141×log1p-udef_binary64
87×add-sqr-sqrt_binary64
87×prod-diff_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0810
11668
221838
Stop Event
1×node limit
Counts
1 → 33
Calls

1 calls:

40.0ms
(/.f64 x (fma.f64 z (neg.f64 t) y))

simplify55.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
866×fma-neg_binary64
715×times-frac_binary64
452×associate-/l*_binary64
299×associate-/r*_binary64
231×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0561381
11751321
26861269
348501269
Stop Event
1×node limit
Counts
81 → 49

prune29.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New49049
Fresh044
Picked011
Done000
Total49554
Error
0.0b
Counts
54 → 5
Alt Table
StatusErrorProgram
33.9b
(/.f64 (neg.f64 (/.f64 x z)) t)
✓2.7b
(/.f64 x (fma.f64 z (neg.f64 t) y))
2.9b
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
3.6b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 1 (-.f64 y (*.f64 z t)))))
▶2.8b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))
Compiler

Compiled 864 to 380 computations (56% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series176.0ms (4.5%)

Counts
2 → 84
Calls

2 calls:

146.0ms
(/.f64 1 (-.f64 y (*.f64 z t)))
29.0ms
(*.f64 x (/.f64 1 (-.f64 y (*.f64 z t))))

rewrite48.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
633×prod-diff_binary64
212×fma-def_binary64
188×expm1-udef_binary64
188×log1p-udef_binary64
108×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
121320
2283620
Stop Event
1×node limit
Counts
2 → 51
Calls

2 calls:

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

simplify60.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
922×times-frac_binary64
598×associate-/l*_binary64
400×associate-/r*_binary64
327×fma-def_binary64
145×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0802470
12452380
29522258
Stop Event
1×node limit
Counts
135 → 82

prune122.0ms (3.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2201221
Fresh123
Picked101
Done011
Total2224226
Error
0.0b
Counts
226 → 4
Alt Table
StatusErrorProgram
34.9b
(*.f64 x (/.f64 (/.f64 -1 z) t))
33.9b
(/.f64 (neg.f64 (/.f64 x z)) t)
✓2.7b
(/.f64 x (fma.f64 z (neg.f64 t) y))
▶2.9b
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
Compiler

Compiled 4653 to 1835 computations (60.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(-.f64 y (*.f64 z t))
✓0.4b
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
✓2.7b
(/.f64 (-.f64 y (*.f64 z t)) x)

series52.0ms (1.3%)

Counts
2 → 96
Calls

2 calls:

32.0ms
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
20.0ms
(/.f64 (-.f64 y (*.f64 z t)) x)

rewrite127.0ms (3.3%)

Algorithm
1×batch-egg-rewrite
Rules
878×prod-diff_binary64
296×egg-rr
201×log1p-udef_binary64
115×add-sqr-sqrt_binary64
109×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01023
122220
2316320
Stop Event
1×node limit
Counts
2 → 296
Calls

2 calls:

117.0ms
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
117.0ms
(/.f64 (-.f64 y (*.f64 z t)) x)

simplify75.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
887×fma-neg_binary64
715×times-frac_binary64
464×associate-/l*_binary64
295×associate-/r*_binary64
236×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0661840
12031780
27421728
350001728
Stop Event
1×node limit
Counts
392 → 320

prune283.0ms (7.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New4572459
Fresh022
Picked011
Done011
Total4576463
Error
0b
Counts
463 → 6
Alt Table
StatusErrorProgram
34.9b
(*.f64 x (/.f64 (/.f64 -1 z) t))
38.1b
(pow.f64 (+.f64 (fma.f64 y (/.f64 1 x) (neg.f64 (/.f64 z (/.f64 x t)))) (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 x))) (/.f64 z (sqrt.f64 x)) (/.f64 z (/.f64 x t)))) -1)
33.9b
(/.f64 (neg.f64 (/.f64 x z)) t)
33.6b
(pow.f64 (*.f64 (neg.f64 (/.f64 t x)) z) -1)
✓2.7b
(/.f64 x (fma.f64 z (neg.f64 t) y))
✓2.9b
(pow.f64 (/.f64 (-.f64 y (*.f64 z t)) x) -1)
Compiler

Compiled 15571 to 5090 computations (67.3% saved)

regimes479.0ms (12.3%)

Accuracy

Total 0.3b remaining (95.3%)

Threshold costs 0.3b (95.3%)

Counts
43 → 3
Compiler

Compiled 5190 to 3402 computations (34.5% saved)

bsearch1.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02551
14651
26751
38451
49151
59251
Stop Event
1×saturated

end95.0ms (2.4%)

Remove

(sort z t)

Compiler

Compiled 242 to 142 computations (41.3% saved)

Profiling

Loading profile data...