Details

Time bar (total: 2.5s)

analyze84.0ms (3.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)

sample33.0ms (1.3%)

Algorithm
1×intervals
Results
15.0ms225×body128valid
5.0ms21×body1024valid
1.0ms7×body512valid
0.0ms3×body256valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify59.0ms (2.3%)

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

prune6.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)

localize7.0ms (0.3%)

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))

series10.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

5.0ms
(*.f64 x (fma.f64 x -9 6))
5.0ms
(fma.f64 x -9 6)

rewrite8.0ms (0.3%)

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:

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

simplify69.0ms (2.7%)

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

prune84.0ms (3.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New381048
Fresh101
Picked011
Done000
Total391150
Error
0.0b
Counts
50 → 11
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (fma.f64 x -9 6))
5.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
10.3b
(*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -9 6))) (sqrt.f64 (fma.f64 x -9 6)))
▶0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
39.1b
(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.4b
(*.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))))
10.3b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
10.4b
(*.f64 x (exp.f64 (log.f64 (fma.f64 x -9 6))))
32.1b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.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))))
41.6b
(*.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) (sqrt.f64 (*.f64 x (fma.f64 x -9 6))))
Compiler

Compiled 783 to 564 computations (28% saved)

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
✓0.2b
(*.f64 9 (pow.f64 x 2))

series12.0ms (0.5%)

Counts
2 → 3
Calls

2 calls:

6.0ms
(*.f64 9 (pow.f64 x 2))
6.0ms
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))

rewrite16.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
8×associate-*r*_binary64
7×add-exp-log_binary64
5×*-un-lft-identity_binary64
5×add-cube-cbrt_binary64
Counts
2 → 45
Calls

2 calls:

8.0ms
(*.f64 9 (pow.f64 x 2))
5.0ms
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))

simplify119.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
678×fma-neg_binary64
408×associate-*l*_binary64
344×cancel-sign-sub-inv_binary64
343×associate-*r*_binary64
266×distribute-rgt-neg-in_binary64
Counts
48 → 76
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
088604
1186503
2497466
31973465
44384465
54806465

prune140.0ms (5.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New73376
Fresh639
Picked101
Done011
Total80787
Error
0.0b
Counts
87 → 7
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (fma.f64 x -9 6))
5.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
1.4b
(*.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))))
▶0.2b
(+.f64 (fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9))) (fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9)))
10.3b
(*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -9 6))) (sqrt.f64 (fma.f64 x -9 6)))
0.3b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))
28.2b
(/.f64 (fma.f64 -81 (pow.f64 x 4) (*.f64 x (*.f64 x 36))) (*.f64 x (+.f64 6 (*.f64 x 9))))
Compiler

Compiled 1301 to 996 computations (23.4% saved)

localize19.0ms (0.8%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9)))
✓0.2b
(*.f64 (pow.f64 x 2) 9)
✓35.6b
(fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9))

series21.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

10.0ms
(fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9))
6.0ms
(fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9)))
5.0ms
(*.f64 (pow.f64 x 2) 9)

rewrite12.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
8×associate-*l*_binary64
8×add-exp-log_binary64
6×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64
Counts
3 → 49
Calls

3 calls:

7.0ms
(*.f64 (pow.f64 x 2) 9)
1.0ms
(fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9))
1.0ms
(fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9)))

simplify125.0ms (5%)

Algorithm
1×egg-herbie
Rules
851×unswap-sqr_binary64
531×fma-neg_binary64
431×*-commutative_binary64
345×associate-*l*_binary64
263×exp-prod_binary64
Counts
85 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
084852
1139676
2360601
31238557
42442557
54779557
64849557

prune188.0ms (7.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1370137
Fresh055
Picked011
Done011
Total1377144
Error
0.0b
Counts
144 → 7
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (fma.f64 x -9 6))
5.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
1.4b
(*.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))))
✓0.2b
(+.f64 (fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9))) (fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9)))
10.3b
(*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -9 6))) (sqrt.f64 (fma.f64 x -9 6)))
▶0.3b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))
28.2b
(/.f64 (fma.f64 -81 (pow.f64 x 4) (*.f64 x (*.f64 x 36))) (*.f64 x (+.f64 6 (*.f64 x 9))))
Compiler

Compiled 3626 to 2876 computations (20.7% saved)

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))
✓0.3b
(*.f64 (*.f64 x 3) (*.f64 x 3))

series10.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))
3.0ms
(*.f64 (*.f64 x 3) (*.f64 x 3))

rewrite13.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
41×pow1_binary64
17×pow-prod-down_binary64
14×add-cbrt-cube_binary64
14×add-exp-log_binary64
8×cbrt-unprod_binary64
Counts
2 → 52
Calls

2 calls:

6.0ms
(*.f64 (*.f64 x 3) (*.f64 x 3))
4.0ms
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))

simplify95.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
919×fma-def_binary64
381×times-frac_binary64
343×fma-neg_binary64
331×distribute-rgt-neg-in_binary64
325×distribute-lft-neg-in_binary64
Counts
76 → 70
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
073769
1186642
2635613
31701569
44101569
54808569

prune68.0ms (2.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New70070
Fresh044
Picked011
Done022
Total70777
Error
0.0b
Counts
77 → 7
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (fma.f64 x -9 6))
5.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
1.4b
(*.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))))
✓0.2b
(+.f64 (fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9))) (fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9)))
10.3b
(*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -9 6))) (sqrt.f64 (fma.f64 x -9 6)))
✓0.3b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 x 3) (*.f64 x 3)))
28.2b
(/.f64 (fma.f64 -81 (pow.f64 x 4) (*.f64 x (*.f64 x 36))) (*.f64 x (+.f64 6 (*.f64 x 9))))
Compiler

Compiled 1164 to 854 computations (26.6% saved)

regimes164.0ms (6.5%)

Accuracy

Total 0.1b remaining (79.3%)

Threshold costs 0.1b (79.3%)

Counts
72 → 1
Compiler

Compiled 1798 to 1384 computations (23% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×+-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
01229
12429
23029
33229
43129

end1.0ms (0%)

Compiler

Compiled 21 to 17 computations (19% saved)

sample1.1s (45.1%)

Algorithm
1×intervals
Results
437.0ms7225×body128valid
72.0ms435×body1024valid
27.0ms215×body512valid
10.0ms125×body256valid
0.0ms2×body128invalid
Compiler

Compiled 141 to 110 computations (22% saved)

Profiling

Loading profile data...