Details

Time bar (total: 24.2s)

analyze1.4s (5.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%28.1%71.9%0
0%28.1%71.9%1
0%28.1%71.9%2
0%28.1%71.9%3
0%28.1%71.9%4
0%28.1%71.9%5
0.9%27.2%71.9%6
4.8%23.2%71.9%7
5.3%22.8%71.9%8
6.3%21.8%71.9%9
7.9%20.2%71.9%10
8.7%19.4%71.9%11
9.7%18.4%71.9%12
10.8%17.3%71.9%13
11.5%16.6%71.9%14
Compiler

Compiled 43 to 28 computations (34.9% saved)

sample1.7s (7.2%)

Results
1.0s6723×body128valid
341.0ms655×body1024valid
207.0ms522×body512valid
82.0ms304×body256valid
32.0ms52×body2048valid
Compiler

Compiled 75 to 48 computations (36% saved)

simplify47.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
847×times-frac_binary64
817×distribute-rgt-in_binary64
748×distribute-lft-in_binary64
537×div-sub_binary64
535×fma-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01643
13439
211037
343537
4167237
5249437
6335837
7539237

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
20.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
24.2b
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
▶20.2b
(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1) 2)
Compiler

Compiled 180 to 106 computations (41.1% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
✓12.7b
(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)
✓19.4b
(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

series1.4s (5.7%)

Counts
3 → 108
Calls

3 calls:

1.0s
(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)
341.0ms
(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
21.0ms
(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))

rewrite19.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
7×add-cube-cbrt_binary64
Counts
3 → 67
Calls

3 calls:

9.0ms
(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
4.0ms
(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
0.0ms
(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)

simplify201.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
561×+-commutative_binary64
490×fma-def_binary64
487×associate-+r+_binary64
392×*-commutative_binary64
294×associate-*r/_binary64
Counts
175 → 205
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0140019973
1545019973

prune554.0ms (2.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2014205
Fresh101
Picked101
Done000
Total2034207
Error
0.1b
Counts
207 → 4
Alt Table
StatusErrorProgram
▶12.6b
(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
20.9b
(/.f64 (-.f64 (+.f64 1 (/.f64 beta (+.f64 beta (+.f64 2 alpha)))) (/.f64 alpha (+.f64 beta (+.f64 2 alpha)))) 2)
52.5b
(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (*.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i i) (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i beta) (*.f64 alpha alpha)) (fma.f64 6 (/.f64 beta (*.f64 alpha alpha)) (fma.f64 12 (/.f64 i (*.f64 alpha alpha)) (*.f64 2 (/.f64 (*.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
49.1b
(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
Compiler

Compiled 24675 to 15936 computations (35.4% saved)

localize12.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta)))
✓0.0b
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
✓12.7b
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)

series894.0ms (3.7%)

Counts
3 → 108
Calls

3 calls:

529.0ms
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)
312.0ms
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
52.0ms
(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta)))

rewrite38.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
166×times-frac_binary64
156×*-un-lft-identity_binary64
116×add-sqr-sqrt_binary64
78×add-cube-cbrt_binary64
24×associate-/l*_binary64
Counts
3 → 169
Calls

3 calls:

8.0ms
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
5.0ms
(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta)))
0.0ms
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)

simplify247.0ms (1%)

Algorithm
1×egg-herbie
Rules
490×fma-def_binary64
477×associate-+r+_binary64
326×associate-*r/_binary64
177×associate-/l*_binary64
171×associate-/r*_binary64
Counts
277 → 297
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0159125853
1504625853

prune623.0ms (2.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2952297
Fresh033
Picked011
Done000
Total2956301
Error
0.1b
Counts
301 → 6
Alt Table
StatusErrorProgram
✓12.6b
(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
20.9b
(/.f64 (-.f64 (+.f64 1 (/.f64 beta (+.f64 beta (+.f64 2 alpha)))) (/.f64 alpha (+.f64 beta (+.f64 2 alpha)))) 2)
52.5b
(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (*.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i i) (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i beta) (*.f64 alpha alpha)) (fma.f64 6 (/.f64 beta (*.f64 alpha alpha)) (fma.f64 12 (/.f64 i (*.f64 alpha alpha)) (*.f64 2 (/.f64 (*.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
49.1b
(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
▶12.6b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1))) 2)
12.7b
(/.f64 (log.f64 (exp.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1))) 2)
Compiler

Compiled 30424 to 18825 computations (38.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1))
0.0b
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
✓0.1b
(cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)))
12.7b
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)

series5.0s (20.6%)

Counts
2 → 72
Calls

2 calls:

4.5s
(*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1))
515.0ms
(cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)))

rewrite14.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
21×pow1_binary64
10×add-cbrt-cube_binary64
7×add-exp-log_binary64
6×pow-plus_binary64
6×pow-prod-up_binary64
Counts
2 → 45
Calls

2 calls:

5.0ms
(*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1))
3.0ms
(cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)))

simplify446.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1036×fma-def_binary64
439×associate-/l*_binary64
390×times-frac_binary64
55×sqr-pow_binary64
40×sub-neg_binary64
Counts
117 → 131
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0276941775
1536541775

prune3.2s (13.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New7712773
Fresh224
Picked101
Done011
Total7745779
Error
0.1b
Counts
779 → 5
Alt Table
StatusErrorProgram
49.1b
(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
▶12.6b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1))) 2)
52.5b
(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (*.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i i) (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i beta) (*.f64 alpha alpha)) (fma.f64 6 (/.f64 beta (*.f64 alpha alpha)) (fma.f64 12 (/.f64 i (*.f64 alpha alpha)) (*.f64 2 (/.f64 (*.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
✓12.6b
(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
18.1b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha))) 1) (/.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (fma.f64 2 i (+.f64 alpha beta))))) 1))) 2)
Compiler

Compiled 162277 to 98619 computations (39.2% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
✓0.3b
(/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
✓12.6b
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)
12.7b
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)

series1.3s (5.3%)

Counts
3 → 84
Calls

3 calls:

500.0ms
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)
482.0ms
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
294.0ms
(/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

rewrite568.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
3130×times-frac_binary64
2219×*-un-lft-identity_binary64
1595×add-sqr-sqrt_binary64
1248×sqrt-prod_binary64
1211×add-cube-cbrt_binary64
Counts
3 → 1330
Calls

3 calls:

38.0ms
(/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
12.0ms
(/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))
0.0ms
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)

simplify1.3s (5.3%)

Algorithm
1×egg-herbie
Rules
581×associate-/l/_binary64
511×fma-def_binary64
299×associate-*r/_binary64
231×associate-/r*_binary64
207×associate-/l*_binary64
Counts
1414 → 1067
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02329121907
15409121907

prune3.5s (14.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New117811179
Fresh033
Picked011
Done011
Total117861184
Error
0.1b
Counts
1184 → 6
Alt Table
StatusErrorProgram
49.1b
(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
✓12.6b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1))) 2)
52.5b
(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (*.f64 4 (/.f64 i alpha)))) (+.f64 (/.f64 4 (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i i) (*.f64 alpha alpha)) (fma.f64 12 (/.f64 (*.f64 i beta) (*.f64 alpha alpha)) (fma.f64 6 (/.f64 beta (*.f64 alpha alpha)) (fma.f64 12 (/.f64 i (*.f64 alpha alpha)) (*.f64 2 (/.f64 (*.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
12.6b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (+.f64 (*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) (sqrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1))) 2)
✓12.6b
(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
18.1b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) 1)) (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha))) 1) (/.f64 (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (fma.f64 2 i (+.f64 alpha beta))))) 1))) 2)
Compiler

Compiled 174434 to 95017 computations (45.5% saved)

regimes1.4s (5.8%)

Accuracy

Total 1.5b remaining (92.5%)

Threshold costs 0b (0%)

Counts
116 → 2
Compiler

Compiled 50011 to 29325 computations (41.4% saved)

bsearch10.0ms (0%)

Compiler

Compiled 28 to 16 computations (42.9% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
7×+-commutative_binary64
4×*-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03096
14296
24596
34796
44896
54796

end203.0ms (0.8%)

Compiler

Compiled 525 to 286 computations (45.5% saved)

Profiling

Loading profile data...