Details

Time bar (total: 13.1s)

analyze13.0ms (0.1%)

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 10 to 9 computations (10% saved)

sample49.0ms (0.4%)

Algorithm
1×intervals
Results
21.0ms225×body128valid
5.0ms7×body512valid
3.0ms19×body1024valid
0.0ms5×body256valid
Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify593.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
040510
140510

prune38.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2
Compiler

Compiled 23 to 20 computations (13% saved)

localize19.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 x (+.f64 6 (*.f64 x -9)))

rewrite35.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_18855
3×add-cbrt-cube_binary64_18869 pow1_binary64_18894 *-un-lft-identity_binary64_18833 associate-*r*_binary64_18773 add-cube-cbrt_binary64_18868 associate-*l*_binary64_18774 add-exp-log_binary64_18871
2×associate-*r/_binary64_18775
1×pow-prod-down_binary64_18904 distribute-lft-in_binary64_18782 *-commutative_binary64_18764 add-log-exp_binary64_18872 cbrt-unprod_binary64_18866 flip3-+_binary64_18836 distribute-rgt-in_binary64_18783 prod-exp_binary64_18882 flip-+_binary64_18807 unswap-sqr_binary64_18801
Counts
1 → 22
Calls

1 calls:

28.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))

series174.0ms (1.3%)

Counts
1 → 3
Calls

1 calls:

174.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))

simplify265.0ms (2%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (240.0ms)

IterNodesCost
04936310
14936310

prune356.0ms (2.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New131225
Fresh011
Picked011
Done000
Total131427

Merged error: 0.0b

Counts
27 → 14
Compiler

Compiled 505 to 393 computations (22.2% saved)

localize32.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite61.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
7×add-cbrt-cube_binary64_18869 pow1_binary64_18894 add-exp-log_binary64_18871
4×add-log-exp_binary64_18872
3×pow-prod-down_binary64_18904 *-un-lft-identity_binary64_18833 cbrt-unprod_binary64_18866 add-cube-cbrt_binary64_18868 prod-exp_binary64_18882 associate-*l*_binary64_18774 add-sqr-sqrt_binary64_18855
1×+-commutative_binary64_18763 *-commutative_binary64_18764 sum-log_binary64_18924 associate-*r*_binary64_18773 flip3-+_binary64_18836 flip-+_binary64_18807 distribute-lft-out_binary64_18784
Counts
2 → 30
Calls

2 calls:

21.0ms
(+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))
16.0ms
(*.f64 x (*.f64 x -9))

series287.0ms (2.2%)

Counts
2 → 6
Calls

2 calls:

216.0ms
(+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))
71.0ms
(*.f64 x (*.f64 x -9))

simplify202.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (170.0ms)

IterNodesCost
04850378
14850378

prune858.0ms (6.6%)

Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New27936
Fresh01212
Picked101
Done011
Total282250

Merged error: 0.0b

Counts
50 → 22
Compiler

Compiled 767 to 581 computations (24.3% saved)

localize32.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x 6) (*.f64 1 (*.f64 x (*.f64 x -9))))
0.1b
(*.f64 x (*.f64 x -9))

rewrite48.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×add-cbrt-cube_binary64_18869 pow1_binary64_18894 add-exp-log_binary64_18871
4×add-log-exp_binary64_18872
3×pow-prod-down_binary64_18904 *-un-lft-identity_binary64_18833 cbrt-unprod_binary64_18866 add-cube-cbrt_binary64_18868 prod-exp_binary64_18882 associate-*l*_binary64_18774 add-sqr-sqrt_binary64_18855
1×+-commutative_binary64_18763 *-commutative_binary64_18764 sum-log_binary64_18924 associate-*r*_binary64_18773 flip3-+_binary64_18836 flip-+_binary64_18807
Counts
2 → 29
Calls

2 calls:

22.0ms
(*.f64 x (*.f64 x -9))
17.0ms
(+.f64 (*.f64 x 6) (*.f64 1 (*.f64 x (*.f64 x -9))))

series292.0ms (2.2%)

Counts
2 → 6
Calls

2 calls:

209.0ms
(+.f64 (*.f64 x 6) (*.f64 1 (*.f64 x (*.f64 x -9))))
83.0ms
(*.f64 x (*.f64 x -9))

simplify173.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (143.0ms)

IterNodesCost
05056371

prune745.0ms (5.7%)

Pruning

29 alts after pruning (27 fresh and 2 done)

PrunedKeptTotal
New251035
Fresh31720
Picked011
Done011
Total282957

Merged error: 0.0b

Counts
57 → 29
Compiler

Compiled 910 to 705 computations (22.5% saved)

localize16.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 x (+.f64 6 (*.f64 x -9)))

rewrite17.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_18855
3×add-cbrt-cube_binary64_18869 pow1_binary64_18894 *-un-lft-identity_binary64_18833 associate-*r*_binary64_18773 add-cube-cbrt_binary64_18868 associate-*l*_binary64_18774 add-exp-log_binary64_18871
2×associate-*r/_binary64_18775
1×pow-prod-down_binary64_18904 distribute-lft-in_binary64_18782 *-commutative_binary64_18764 add-log-exp_binary64_18872 cbrt-unprod_binary64_18866 flip3-+_binary64_18836 distribute-rgt-in_binary64_18783 prod-exp_binary64_18882 flip-+_binary64_18807 unswap-sqr_binary64_18801
Counts
1 → 22
Calls

1 calls:

12.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))

series91.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

90.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))

simplify132.0ms (1%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
04936310
14936310

prune493.0ms (3.8%)

Pruning

38 alts after pruning (36 fresh and 2 done)

PrunedKeptTotal
New151025
Fresh02626
Picked011
Done112
Total163854

Merged error: 0.0b

Counts
54 → 38
Compiler

Compiled 352 to 277 computations (21.3% saved)

regimes1.0s (7.7%)

Compiler

Compiled 2000 to 1642 computations (17.9% saved)

bsearch532.0ms (4.1%)

simplify14.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01310
11310

end0.0ms (0%)

sample6.5s (49.7%)

Algorithm
1×intervals
Results
666.0ms7204×body128valid
112.0ms459×body1024valid
50.0ms227×body512valid
20.0ms110×body256valid
0.0ms1×body128invalid
Compiler

Compiled 1097 to 905 computations (17.5% saved)

Pareto

0.5333333333333333

Profiling

Loading profile data...