Details

Time bar (total: 2.5min)

analyze1.4s (0.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%74.7%25.3%8
0%74.7%25.3%9
0%65.4%34.6%10
0%51.4%48.6%11
0%51.4%48.6%12
0%51.4%48.6%13
0%51.4%48.6%14
Compiler

Compiled 30 to 21 computations (30% saved)

sample3.9s (2.6%)

Symmetry

(sort z t a)

Results
2.1s11310×body128invalid
1.6s8254×body128valid
1.0ms2×body512valid
Compiler

Compiled 89 to 62 computations (30.3% saved)

simplify61.0ms (0%)

Algorithm
1×egg-herbie
Rules
1877×associate-+l+_binary64
859×associate-+r+_binary64
762×+-commutative_binary64
750×fma-def_binary64
5×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02130
14126
211326
349326
4158826
5215326
6225926
7225926
8225926
9225926
10402926
11428126
12428126
13450626
14450626
15470526
Stop Event
1×saturated
Counts
1 → 2

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))
Compiler

Compiled 99 to 61 computations (38.4% saved)

localize15.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
✓0.1b
(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
✓0.1b
(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

series663.0ms (0.4%)

Counts
3 → 168
Calls

3 calls:

425.0ms
(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
147.0ms
(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
91.0ms
(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

rewrite52.0ms (0%)

Algorithm
1×batch-egg-rewrite
Rules
264×prod-diff_binary64
261×expm1-udef_binary64
261×log1p-udef_binary64
186×fma-def_binary64
146×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01444
128344
2342444
Stop Event
1×node limit
Counts
3 → 71
Calls

3 calls:

50.0ms
(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
50.0ms
(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
50.0ms
(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

simplify80.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
723×sub-neg_binary64
398×fma-neg_binary64
327×associate--r+_binary64
307×associate--l+_binary64
303×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0913345
12932748
27562556
324042458
443142458
Stop Event
1×node limit
Counts
239 → 107

prune115.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1043107
Fresh000
Picked011
Done000
Total1044108
Error
0.1b
Counts
108 → 4
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))
51.8b
(+.f64 z (+.f64 t (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 3))))
21.0b
(+.f64 z (+.f64 t (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))
▶0.9b
(+.f64 z (+.f64 t (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)))
Compiler

Compiled 2668 to 1247 computations (53.3% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
0.1b
(fma.f64 (+.f64 b -1/2) (log.f64 c) a)
✓0.5b
(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))
✓0.7b
(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)

series2.4min (95.9%)

Profiling

Loading profile data...