Details

Time bar (total: 1.6s)

analyze4.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample67.0ms (4.2%)

Algorithm
1×intervals
Results
11.0ms239×body128valid
1.0ms8×body512valid
1.0ms5×body1024valid
0.0ms4×body256valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify41.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
927×fma-def_binary64
405×fma-neg_binary64
127×cancel-sign-sub-inv_binary64
85×distribute-rgt-in_binary64
63×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0813
11813
24010
3928
41738
52598
63658
75618
85808
96758
107988
118218
129188
139228
149228
158038

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 x (fma.f64 x -9 6))
0.2b
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
Compiler

Compiled 50 to 38 computations (24% saved)

localize3.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x -9 6)
✓0.1b
(*.f64 x (fma.f64 x -9 6))

series4.0ms (0.3%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 x (fma.f64 x -9 6))
1.0ms
(fma.f64 x -9 6)

rewrite4.0ms (0.2%)

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

2 calls:

3.0ms
(*.f64 x (fma.f64 x -9 6))
0.0ms
(fma.f64 x -9 6)

simplify49.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
773×distribute-rgt-in_binary64
772×distribute-lft-in_binary64
771×distribute-rgt-neg-out_binary64
353×unsub-neg_binary64
312×fma-def_binary64
Counts
56 → 48
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
052575
196457
2263457
3848457
43098457
55369457

prune39.0ms (2.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New40848
Fresh101
Picked011
Done000
Total41950
Error
0.0b
Counts
50 → 9
Alt Table
StatusErrorProgram
12.5b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
8.5b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
▶0.2b
(*.f64 x (-.f64 6 (*.f64 9 x)))
0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
1.4b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (fma.f64 x -9 6)))
41.7b
(*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (fma.f64 x -9 6))) (*.f64 (sqrt.f64 x) (sqrt.f64 (fma.f64 x -9 6))))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
36.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (fma.f64 x -9 6) (fma.f64 x -9 6)) (fma.f64 x -9 6))))
1.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6)))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6))))
Compiler

Compiled 727 to 518 computations (28.7% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 6 (*.f64 9 x))
✓0.1b
(*.f64 x (-.f64 6 (*.f64 9 x)))

series4.0ms (0.3%)

Counts
2 → 15
Calls

2 calls:

3.0ms
(*.f64 x (-.f64 6 (*.f64 9 x)))
2.0ms
(-.f64 6 (*.f64 9 x))

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64
9×prod-diff_binary64
8×*-un-lft-identity_binary64
8×add-cube-cbrt_binary64
5×distribute-lft-in_binary64
Counts
2 → 52
Calls

2 calls:

4.0ms
(*.f64 x (-.f64 6 (*.f64 9 x)))
2.0ms
(-.f64 6 (*.f64 9 x))

simplify85.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
590×fma-def_binary64
333×associate-*l*_binary64
330×*-commutative_binary64
287×distribute-rgt-neg-out_binary64
280×distribute-lft-neg-out_binary64
Counts
67 → 91
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
090944
1179746
2494581
31558581
42707581
54678581
64780581

prune70.0ms (4.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New87491
Fresh437
Picked101
Done101
Total937100
Error
0.0b
Counts
100 → 7
Alt Table
StatusErrorProgram
12.5b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
▶0.2b
(+.f64 (*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x) (*.f64 (fma.f64 (neg.f64 x) 9 (*.f64 x 9)) x))
0.2b
(*.f64 (-.f64 6 (*.f64 9 x)) x)
0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
8.0b
(/.f64 (*.f64 x (fma.f64 x (*.f64 x -81) 36)) (+.f64 6 (*.f64 9 x)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6)))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6))))
11.8b
(/.f64 (*.f64 x (-.f64 (pow.f64 6 3) (pow.f64 (*.f64 9 x) 3))) (+.f64 (*.f64 6 6) (+.f64 (*.f64 (*.f64 9 x) (*.f64 9 x)) (*.f64 6 (*.f64 9 x)))))
Compiler

Compiled 1410 to 1062 computations (24.7% saved)

localize9.0ms (0.6%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 1 6 (neg.f64 (*.f64 x 9)))
✓0.1b
(*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x)
✓52.8b
(fma.f64 (neg.f64 x) 9 (*.f64 x 9))

series8.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x)
3.0ms
(fma.f64 (neg.f64 x) 9 (*.f64 x 9))
2.0ms
(fma.f64 1 6 (neg.f64 (*.f64 x 9)))

rewrite5.0ms (0.3%)

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

3 calls:

3.0ms
(*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x)
0.0ms
(fma.f64 1 6 (neg.f64 (*.f64 x 9)))
0.0ms
(fma.f64 (neg.f64 x) 9 (*.f64 x 9))

simplify68.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
835×distribute-rgt-in_binary64
790×distribute-lft-in_binary64
528×unsub-neg_binary64
335×neg-mul-1_binary64
317×fma-def_binary64
Counts
76 → 80
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
065747
1113603
2305476
3988476
43368476
54512476
64906476

prune73.0ms (4.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New80080
Fresh066
Picked011
Done000
Total80787
Error
0.0b
Counts
87 → 7
Alt Table
StatusErrorProgram
12.5b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
✓0.2b
(+.f64 (*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x) (*.f64 (fma.f64 (neg.f64 x) 9 (*.f64 x 9)) x))
▶0.2b
(*.f64 (-.f64 6 (*.f64 9 x)) x)
0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
8.0b
(/.f64 (*.f64 x (fma.f64 x (*.f64 x -81) 36)) (+.f64 6 (*.f64 9 x)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6)))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6))))
11.8b
(/.f64 (*.f64 x (-.f64 (pow.f64 6 3) (pow.f64 (*.f64 9 x) 3))) (+.f64 (*.f64 6 6) (+.f64 (*.f64 (*.f64 9 x) (*.f64 9 x)) (*.f64 6 (*.f64 9 x)))))
Compiler

Compiled 2000 to 1427 computations (28.7% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(-.f64 6 (*.f64 9 x))
✓0.1b
(*.f64 (-.f64 6 (*.f64 9 x)) x)

series3.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(*.f64 (-.f64 6 (*.f64 9 x)) x)

rewrite5.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
3×*-un-lft-identity_binary64
3×add-cube-cbrt_binary64
Counts
1 → 22
Calls

1 calls:

4.0ms
(*.f64 (-.f64 6 (*.f64 9 x)) x)

simplify65.0ms (4%)

Algorithm
1×egg-herbie
Rules
729×distribute-rgt-in_binary64
725×distribute-lft-in_binary64
515×unsub-neg_binary64
373×fma-def_binary64
299×*-commutative_binary64
Counts
34 → 42
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
054465
1124390
2360326
31212326
43611326
54457326
65119326

prune57.0ms (3.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New79079
Fresh055
Picked011
Done011
Total79786
Error
0.0b
Counts
86 → 7
Alt Table
StatusErrorProgram
12.5b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
✓0.2b
(+.f64 (*.f64 (fma.f64 1 6 (neg.f64 (*.f64 x 9))) x) (*.f64 (fma.f64 (neg.f64 x) 9 (*.f64 x 9)) x))
✓0.2b
(*.f64 (-.f64 6 (*.f64 9 x)) x)
0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
8.0b
(/.f64 (*.f64 x (fma.f64 x (*.f64 x -81) 36)) (+.f64 6 (*.f64 9 x)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6)))) (cbrt.f64 (*.f64 x (fma.f64 x -9 6))))
11.8b
(/.f64 (*.f64 x (-.f64 (pow.f64 6 3) (pow.f64 (*.f64 9 x) 3))) (+.f64 (*.f64 6 6) (+.f64 (*.f64 (*.f64 9 x) (*.f64 9 x)) (*.f64 6 (*.f64 9 x)))))
Compiler

Compiled 1104 to 837 computations (24.2% saved)

regimes187.0ms (11.6%)

Accuracy

Total 0.2b remaining (87.4%)

Threshold costs 0.2b (87.4%)

Counts
89 → 1
Compiler

Compiled 2574 to 1954 computations (24.1% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary64
3×+-commutative_binary64
2×distribute-lft-neg-in_binary64
2×distribute-rgt-neg-in_binary64
2×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01326
12826
23426
33626
43426

end2.0ms (0.1%)

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample729.0ms (45.5%)

Algorithm
1×intervals
Results
263.0ms7247×body128valid
46.0ms406×body1024valid
17.0ms226×body512valid
6.0ms121×body256valid
Compiler

Compiled 152 to 118 computations (22.4% saved)

Profiling

Loading profile data...