Details

Time bar (total: 3.0s)

sample15.0ms

Algorithm
intervals
Results
7.0ms295×body80valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (10.0ms)

IterNodesCost
0205
1485
21055
32245
44184
56814
69704
713984
819874
919914
1019914

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
9×prod-diff
8×add-cube-cbrt
3×fma-neg add-log-exp
2×fma-udef
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log associate--l+ add-cbrt-cube flip-- log1p-expm1-u associate--r+ distribute-lft-out-- difference-of-squares
Counts
1 → 30
Calls
1 calls:
4.0ms
(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

series28.0ms

Counts
1 → 3
Calls
1 calls:
28.0ms
(- (fma y x 0.918938533204673) (fma x 1.0 (* y 0.5)))

simplify92.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (86.0ms)

IterNodesCost
0144359
1436235
23186223
35001221

prune68.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 0.918938533204673 (fma x 1.0 (* y 0.5)))
0.0b
(+ (* y x) (- 0.918938533204673 (fma x 1.0 (* y 0.5))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
18×prod-diff
17×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
11×associate-+r+
9×add-log-exp
3×fma-neg
2×pow1 add-exp-log expm1-log1p-u sub-neg diff-log sum-log add-cbrt-cube log1p-expm1-u
1×+-commutative associate-+r- flip3-- fma-def flip3-+ flip-- flip-+ fma-udef associate--r+ distribute-lft-out-- difference-of-squares
Counts
2 → 56
Calls
2 calls:
3.0ms
(- 0.918938533204673 (fma x 1.0 (* y 0.5)))
13.0ms
(+ (* y x) (- 0.918938533204673 (fma x 1.0 (* y 0.5))))

series55.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(- 0.918938533204673 (fma x 1.0 (* y 0.5)))
28.0ms
(+ (* y x) (- 0.918938533204673 (fma x 1.0 (* y 0.5))))

simplify140.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0252533
1809367
24775352
35001352

prune123.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma x 1.0 (* y 0.5)))
0.6b
(cbrt (fma x 1.0 (* y 0.5)))
0.6b
(cbrt (fma x 1.0 (* y 0.5)))
62.2b
(fma (- (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5))))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(cbrt (fma x 1.0 (* y 0.5)))
0.0ms
(cbrt (fma x 1.0 (* y 0.5)))
0.0ms
(cbrt (fma x 1.0 (* y 0.5)))
0.0ms
(fma (- (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
383.0ms
(cbrt (fma x 1.0 (* y 0.5)))
376.0ms
(cbrt (fma x 1.0 (* y 0.5)))
378.0ms
(cbrt (fma x 1.0 (* y 0.5)))
505.0ms
(fma (- (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5)))) (* (cbrt (fma x 1.0 (* y 0.5))) (* (cbrt (fma x 1.0 (* y 0.5))) (cbrt (fma x 1.0 (* y 0.5))))))

simplify48.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
0194621
1492541
21736527
35001488

prune321.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02431
12431

end0.0ms

sample367.0ms

Algorithm
intervals
Results
218.0ms9154×body80valid
0.0ms3×body1280valid
0.0ms2×body640valid
0.0ms1×body320valid
0.0ms1×body160valid