Details

Time bar (total: 1.7s)

analyze5.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
62.5%37.5%0%4
81.2%18.7%0%5
90.6%9.4%0%6
95.3%4.7%0%7
97.6%2.3%0%8
98.8%1.2%0%9
99.4%0.6%0%10
99.7%0.3%0%11
99.8%0.1%0%12
99.9%0.1%0%13
99.9%0%0%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0.9%)

Algorithm
1×intervals
Results
4.0ms57×body512valid
4.0ms150×body128valid
2.0ms44×body256valid
1.0ms5×body1024valid
Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify174.0ms (10.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
07313
17313

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 15.2b

Counts
2 → 1
Compiler

Compiled 18 to 16 computations (11.1% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 1 (+.f64 x 1))
4.9b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

rewrite31.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
48×*-un-lft-identity_binary64_77
39×add-sqr-sqrt_binary64_98
36×times-frac_binary64_83
15×add-cube-cbrt_binary64_109
10×distribute-lft-out--_binary64_31
9×difference-of-squares_binary64_46
7×distribute-lft-out_binary64_30
6×add-exp-log_binary64_112
5×div-inv_binary64_74
4×associate-/r*_binary64_23 add-cbrt-cube_binary64_110 add-log-exp_binary64_113
3×pow1_binary64_135 associate-/l*_binary64_24
2×div-exp_binary64_125 associate-/r/_binary64_25
1×flip-+_binary64_51 cbrt-undiv_binary64_108 1-exp_binary64_118 flip3-+_binary64_80 sub-neg_binary64_70 rec-exp_binary64_124 flip--_binary64_52 inv-pow_binary64_159 frac-sub_binary64_86 clear-num_binary64_76 flip3--_binary64_81 diff-log_binary64_166 frac-2neg_binary64_88 pow-flip_binary64_148
Counts
2 → 68
Calls

2 calls:

20.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
6.0ms
(/.f64 1 (+.f64 x 1))

series46.0ms (2.7%)

Counts
2 → 6
Calls

2 calls:

29.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
18.0ms
(/.f64 1 (+.f64 x 1))

simplify87.0ms (5.1%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
048781178
148781178

prune71.0ms (4.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New72274
Fresh000
Picked011
Done000
Total72375

Merged error: 0.2b

Counts
75 → 3
Compiler

Compiled 1151 to 922 computations (19.9% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 -1 (*.f64 x (+.f64 1 x)))

rewrite8.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_112 add-cbrt-cube_binary64_110
3×times-frac_binary64_83 associate-/l*_binary64_24 add-cube-cbrt_binary64_109 *-un-lft-identity_binary64_77 add-sqr-sqrt_binary64_98
2×cbrt-undiv_binary64_108 associate-*r/_binary64_21 div-exp_binary64_125 associate-/r/_binary64_25
1×associate-/r*_binary64_23 add-log-exp_binary64_113 flip-+_binary64_51 cbrt-unprod_binary64_107 flip3-+_binary64_80 pow1_binary64_135 prod-exp_binary64_123 clear-num_binary64_76 frac-2neg_binary64_88 div-inv_binary64_74
Counts
1 → 23
Calls

1 calls:

7.0ms
(/.f64 -1 (*.f64 x (+.f64 1 x)))

series25.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

25.0ms
(/.f64 -1 (*.f64 x (+.f64 1 x)))

simplify50.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05190332

prune29.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh101
Picked011
Done101
Total26329

Merged error: 0b

Counts
29 → 3
Compiler

Compiled 317 to 245 computations (22.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (/.f64 -1 x) (+.f64 1 x))

rewrite18.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
97×times-frac_binary64_83
78×*-un-lft-identity_binary64_77
50×add-cube-cbrt_binary64_109 add-sqr-sqrt_binary64_98
14×distribute-lft-out_binary64_30
13×associate-/l*_binary64_24
6×add-exp-log_binary64_112 add-cbrt-cube_binary64_110 div-inv_binary64_74
4×associate-/r*_binary64_23
3×cbrt-undiv_binary64_108 div-exp_binary64_125
2×associate-/r/_binary64_25
1×add-log-exp_binary64_113 flip-+_binary64_51 flip3-+_binary64_80 pow1_binary64_135 clear-num_binary64_76 associate-/l/_binary64_26 frac-2neg_binary64_88
Counts
1 → 86
Calls

1 calls:

9.0ms
(/.f64 (/.f64 -1 x) (+.f64 1 x))

series24.0ms (1.4%)

Counts
1 → 3
Calls

1 calls:

24.0ms
(/.f64 (/.f64 -1 x) (+.f64 1 x))

simplify73.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049391864
149391864

prune81.0ms (4.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New89089
Fresh011
Picked011
Done011
Total89392

Merged error: 0b

Counts
92 → 3
Compiler

Compiled 1439 to 1039 computations (27.8% saved)

localize12.0ms (0.7%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 x x) (*.f64 1 x))
0.2b
(/.f64 -1 (+.f64 x (pow.f64 x 4)))
21.0b
(*.f64 (/.f64 -1 (+.f64 x (pow.f64 x 4))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))

rewrite38.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_77
26×add-sqr-sqrt_binary64_98
25×times-frac_binary64_83
21×add-cube-cbrt_binary64_109
18×associate-*l*_binary64_20
10×add-exp-log_binary64_112 add-cbrt-cube_binary64_110
8×distribute-lft-out_binary64_30
5×add-log-exp_binary64_113 pow1_binary64_135
4×associate-/r*_binary64_23 flip-+_binary64_51 flip3-+_binary64_80 associate-/r/_binary64_25 associate-*r*_binary64_19
3×associate-/l*_binary64_24
2×cbrt-unprod_binary64_107 cbrt-undiv_binary64_108 frac-times_binary64_87 associate-*r/_binary64_21 div-exp_binary64_125 unswap-sqr_binary64_45 prod-exp_binary64_123 div-inv_binary64_74
1×pow-prod-down_binary64_145 distribute-rgt-out--_binary64_33 sub-neg_binary64_70 distribute-lft-in_binary64_28 associate-*l/_binary64_22 flip--_binary64_52 *-commutative_binary64_10 clear-num_binary64_76 flip3--_binary64_81 diff-log_binary64_166 distribute-rgt-in_binary64_29 frac-2neg_binary64_88
Counts
3 → 89
Calls

3 calls:

17.0ms
(*.f64 (/.f64 -1 (+.f64 x (pow.f64 x 4))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))
7.0ms
(/.f64 -1 (+.f64 x (pow.f64 x 4)))
4.0ms
(-.f64 (*.f64 x x) (*.f64 1 x))

series187.0ms (10.8%)

Counts
3 → 9
Calls

3 calls:

88.0ms
(/.f64 -1 (+.f64 x (pow.f64 x 4)))
57.0ms
(-.f64 (*.f64 x x) (*.f64 1 x))
42.0ms
(*.f64 (/.f64 -1 (+.f64 x (pow.f64 x 4))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))

simplify63.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049481898
149481898

prune114.0ms (6.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New98098
Fresh000
Picked011
Done022
Total983101

Merged error: 0b

Counts
101 → 3
Compiler

Compiled 2375 to 1559 computations (34.4% saved)

regimes9.0ms (0.5%)

Compiler

Compiled 35 to 29 computations (17.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0910
1910

end0.0ms (0%)

sample549.0ms (31.8%)

Algorithm
1×intervals
Results
146.0ms1955×body512valid
130.0ms4578×body128valid
53.0ms1069×body256valid
41.0ms398×body1024valid
0.0ms3×body128invalid
Compiler

Compiled 50 to 43 computations (14% saved)

Profiling

Loading profile data...