Details

Time bar (total: 8.1s)

analyze759.0ms (9.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.1%0.1%7
21.8%78%0.1%8
32.8%67.1%0.1%9
43.7%43.7%12.6%10
46.8%40.6%12.6%11
52.7%34.7%12.6%12
58.5%22.6%18.9%13
60.5%20.7%18.9%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample36.0ms (0.4%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
1.0ms23×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify13.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
2×*-commutative_binary64
1×+-commutative_binary64
1×associate-*r*_binary64
1×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
1128
2168
3178
4178

prune5.0ms (0.1%)

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
(fma.f64 z (*.f64 y z) x)
Compiler

Compiled 34 to 17 computations (50% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 z (*.f64 y z) x)

series20.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

20.0ms
(fma.f64 z (*.f64 y z) x)

rewrite1.0ms (0%)

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

1 calls:

1.0ms
(fma.f64 z (*.f64 y z) x)

simplify110.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
557×fma-def_binary64
534×unswap-sqr_binary64
444×*-commutative_binary64
374×distribute-rgt-in_binary64
370×distribute-lft-in_binary64
Counts
46 → 23
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020382
132365
256365
3152365
4615365
52186365
62764365
74969365
85049365

prune26.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New20323
Fresh000
Picked011
Done000
Total20424
Error
0.1b
Counts
24 → 4
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 z (*.f64 y z) x)
▶1.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
42.0b
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z z) x) 3))
5.0b
(fma.f64 y (*.f64 z z) x)
Compiler

Compiled 330 to 101 computations (69.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 z (*.f64 y z) x)
✓0.3b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.5b
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.6b
(cbrt.f64 (fma.f64 z (*.f64 y z) x))

series257.0ms (3.2%)

Counts
3 → 108
Calls

3 calls:

124.0ms
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
113.0ms
(cbrt.f64 (fma.f64 z (*.f64 y z) x))
19.0ms
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))

rewrite40.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
29×pow1_binary64
24×add-sqr-sqrt_binary64
23×cbrt-prod_binary64
16×pow1/3_binary64
14×*-un-lft-identity_binary64
Counts
3 → 93
Calls

3 calls:

16.0ms
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
9.0ms
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.0ms
(cbrt.f64 (fma.f64 z (*.f64 y z) x))

simplify278.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
418×cancel-sign-sub-inv_binary64
325×associate-*r*_binary64
317×unswap-sqr_binary64
245×times-frac_binary64
239×associate-*l*_binary64
Counts
201 → 234
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03636351
111025908
236215539
349845539

prune479.0ms (5.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New4485453
Fresh022
Picked101
Done011
Total4498457
Error
0.0b
Counts
457 → 8
Alt Table
StatusErrorProgram
▶1.7b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
31.2b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
4.2b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.7b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.1b
(fma.f64 z (*.f64 y z) x)
42.0b
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z z) x) 3))
5.0b
(fma.f64 y (*.f64 z z) x)
Compiler

Compiled 18646 to 6977 computations (62.6% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.5b
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
✓0.6b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))
0.6b
(cbrt.f64 (fma.f64 z (*.f64 y z) x))

series227.0ms (2.8%)

Counts
2 → 72
Calls

2 calls:

123.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
103.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))

rewrite30.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
9×pow1_binary64
8×add-sqr-sqrt_binary64
7×pow1/3_binary64
6×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64
Counts
2 → 45
Calls

2 calls:

11.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
10.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))

simplify312.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
418×cancel-sign-sub-inv_binary64
299×associate-*r*_binary64
298×unswap-sqr_binary64
245×times-frac_binary64
238×associate-/r*_binary64
Counts
117 → 164
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03425182
110634820
234964532
348904498
449974498
549164498

prune1.8s (22.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New129901299
Fresh066
Picked011
Done011
Total129981307
Error
0.0b
Counts
1307 → 8
Alt Table
StatusErrorProgram
✓1.7b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
31.2b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
4.2b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
▶1.7b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.1b
(fma.f64 z (*.f64 y z) x)
42.0b
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z z) x) 3))
5.0b
(fma.f64 y (*.f64 z z) x)
Compiler

Compiled 121371 to 28016 computations (76.9% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))
✓0.5b
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
✓0.6b
(cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
0.6b
(cbrt.f64 (fma.f64 z (*.f64 y z) x))

series378.0ms (4.7%)

Counts
3 → 108
Calls

3 calls:

139.0ms
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
127.0ms
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))
111.0ms
(cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))

rewrite68.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
66×cbrt-prod_binary64
37×add-sqr-sqrt_binary64
21×pow1_binary64
20×add-cube-cbrt_binary64
19×*-un-lft-identity_binary64
Counts
3 → 102
Calls

3 calls:

27.0ms
(*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
14.0ms
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))
2.0ms
(cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))

simplify434.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
482×associate-*r*_binary64
349×times-frac_binary64
348×associate-/r*_binary64
326×associate-*l*_binary64
226×associate-/l*_binary64
Counts
210 → 270
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
05199429
115498881
254508881

prune1.0s (12.7%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New7832785
Fresh055
Picked011
Done022
Total78310793
Error
0.0b
Counts
793 → 10
Alt Table
StatusErrorProgram
✓1.7b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))
31.2b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (sqrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.9b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
4.2b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
1.9b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))) (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
42.0b
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z z) x) 3))
1.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓1.7b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x)))) (cbrt.f64 (cbrt.f64 (fma.f64 z (*.f64 y z) x))))) (cbrt.f64 (fma.f64 z (*.f64 y z) x)))
✓0.1b
(fma.f64 z (*.f64 y z) x)
5.0b
(fma.f64 y (*.f64 z z) x)
Compiler

Compiled 51739 to 18351 computations (64.5% saved)

regimes726.0ms (9%)

Accuracy

Total 0.1b remaining (68.8%)

Threshold costs 0.1b (68.8%)

Counts
119 → 1
Compiler

Compiled 23150 to 7139 computations (69.2% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
178
278

end0.0ms (0%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample974.0ms (12.1%)

Algorithm
1×intervals
Results
381.0ms8000×body128valid
27.0ms723×body128invalid
Compiler

Compiled 461 to 117 computations (74.6% saved)

Profiling

Loading profile data...