Details

Time bar (total: 1.6s)

analyze51.0ms (3.2%)

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)

sample15.0ms (0.9%)

Algorithm
1×intervals
Results
7.0ms234×body128valid
1.0ms13×body1024valid
1.0ms7×body512valid
0.0ms2×body256valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

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

localize4.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))
2.0ms
(fma.f64 x -9 6)

rewrite4.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:

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

simplify64.0ms (3.9%)

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

prune67.0ms (4.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New42648
Fresh101
Picked011
Done000
Total43750
Error
0.0b
Counts
50 → 7
Alt Table
StatusErrorProgram
11.2b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
7.3b
(*.f64 x (cbrt.f64 (*.f64 (*.f64 (fma.f64 x -9 6) (fma.f64 x -9 6)) (fma.f64 x -9 6))))
▶0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
11.3b
(*.f64 (*.f64 x (sqrt.f64 (fma.f64 x -9 6))) (sqrt.f64 (fma.f64 x -9 6)))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
42.4b
(*.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) (sqrt.f64 (*.f64 x (fma.f64 x -9 6))))
39.9b
(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))))
Compiler

Compiled 675 to 486 computations (28% saved)

localize6.0ms (0.3%)

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

series6.0ms (0.4%)

Counts
2 → 3
Calls

2 calls:

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

rewrite8.0ms (0.5%)

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:

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

simplify65.0ms (4%)

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

prune69.0ms (4.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New73376
Fresh235
Picked101
Done011
Total76783
Error
0.0b
Counts
83 → 7
Alt Table
StatusErrorProgram
0.2b
(-.f64 (*.f64 6 x) (*.f64 (sqrt.f64 9) (*.f64 x (*.f64 x 3))))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
11.2b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
7.3b
(*.f64 x (cbrt.f64 (*.f64 (*.f64 (fma.f64 x -9 6) (fma.f64 x -9 6)) (fma.f64 x -9 6))))
▶0.1b
(+.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)))
42.4b
(*.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) (sqrt.f64 (*.f64 x (fma.f64 x -9 6))))
0.2b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 (cbrt.f64 9) (cbrt.f64 9)) (*.f64 (cbrt.f64 9) (pow.f64 x 2))))
Compiler

Compiled 1299 to 1000 computations (23% saved)

localize9.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

series12.0ms (0.7%)

Counts
3 → 36
Calls

3 calls:

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

rewrite6.0ms (0.4%)

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:

4.0ms
(*.f64 (pow.f64 x 2) 9)
0.0ms
(fma.f64 6 x (neg.f64 (*.f64 (pow.f64 x 2) 9)))
0.0ms
(fma.f64 (neg.f64 (pow.f64 x 2)) 9 (*.f64 (pow.f64 x 2) 9))

simplify76.0ms (4.7%)

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

prune150.0ms (9.2%)

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 (*.f64 6 x) (*.f64 (sqrt.f64 9) (*.f64 x (*.f64 x 3))))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
11.2b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
7.3b
(*.f64 x (cbrt.f64 (*.f64 (*.f64 (fma.f64 x -9 6) (fma.f64 x -9 6)) (fma.f64 x -9 6))))
✓0.1b
(+.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)))
42.4b
(*.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) (sqrt.f64 (*.f64 x (fma.f64 x -9 6))))
0.2b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 (cbrt.f64 9) (cbrt.f64 9)) (*.f64 (cbrt.f64 9) (pow.f64 x 2))))
Compiler

Compiled 3624 to 2880 computations (20.5% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 6 x) (*.f64 (sqrt.f64 9) (*.f64 x (*.f64 x 3))))
✓0.2b
(*.f64 (sqrt.f64 9) (*.f64 x (*.f64 x 3)))
✓0.2b
(*.f64 x (*.f64 x 3))

series8.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

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

rewrite17.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
17×add-cbrt-cube_binary64
17×add-exp-log_binary64
17×pow1_binary64
9×associate-*l*_binary64
9×cbrt-unprod_binary64
Counts
3 → 62
Calls

3 calls:

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

simplify75.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
916×fma-def_binary64
593×times-frac_binary64
399×distribute-rgt-neg-in_binary64
387×distribute-lft-neg-in_binary64
311×fma-neg_binary64
Counts
98 → 101
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0991088
1238936
2848887
31941835
44689835
55734835

prune86.0ms (5.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1010101
Fresh044
Picked011
Done022
Total1017108
Error
0.0b
Counts
108 → 7
Alt Table
StatusErrorProgram
✓0.2b
(-.f64 (*.f64 6 x) (*.f64 (sqrt.f64 9) (*.f64 x (*.f64 x 3))))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
11.2b
(*.f64 x (*.f64 (sqrt.f64 (fma.f64 x -9 6)) (sqrt.f64 (fma.f64 x -9 6))))
7.3b
(*.f64 x (cbrt.f64 (*.f64 (*.f64 (fma.f64 x -9 6) (fma.f64 x -9 6)) (fma.f64 x -9 6))))
✓0.1b
(+.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)))
42.4b
(*.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) (sqrt.f64 (*.f64 x (fma.f64 x -9 6))))
0.2b
(-.f64 (*.f64 6 x) (*.f64 (*.f64 (cbrt.f64 9) (cbrt.f64 9)) (*.f64 (cbrt.f64 9) (pow.f64 x 2))))
Compiler

Compiled 1766 to 1310 computations (25.8% saved)

regimes176.0ms (10.9%)

Accuracy

Total 0.1b remaining (77.3%)

Threshold costs 0.1b (77.3%)

Counts
84 → 1
Compiler

Compiled 2114 to 1648 computations (22% saved)

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

sample587.0ms (36.2%)

Algorithm
1×intervals
Results
242.0ms7198×body128valid
48.0ms455×body1024valid
18.0ms240×body512valid
6.0ms107×body256valid
0.0ms2×body128invalid
Compiler

Compiled 140 to 112 computations (20% saved)

Profiling

Loading profile data...