Details

Time bar (total: 2.9s)

analyze384.0ms (13.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0754420
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample19.0ms (0.7%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify288.0ms (9.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (282.0ms)

IterNodesCost
0754420

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 26 to 20 computations (23.1% saved)

localize13.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))
0.0b
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))

rewrite59.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
44×*-un-lft-identity_binary64_4170
26×times-frac_binary64_4176
21×add-sqr-sqrt_binary64_4192
16×distribute-lft-out_binary64_4121
15×log-prod_binary64_4256
13×add-cube-cbrt_binary64_4205
12×div-inv_binary64_4167
11×sqrt-prod_binary64_4186
6×distribute-rgt-out_binary64_4123
5×pow1_binary64_4231 add-log-exp_binary64_4209
4×add-exp-log_binary64_4208
3×add-cbrt-cube_binary64_4206 log-div_binary64_4257
2×sqrt-div_binary64_4187 flip-+_binary64_4144 difference-of-squares_binary64_4139 distribute-rgt1-in_binary64_4126 flip3-+_binary64_4173 frac-add_binary64_4178
1×rem-log-exp_binary64_4211 flip3--_binary64_4174 log-pow_binary64_4259 pow1/2_binary64_4250 +-commutative_binary64_4100 sqrt-pow1_binary64_4188 rem-sqrt-square_binary64_4183 sum-log_binary64_4261 flip--_binary64_4145
Counts
3 → 68
Calls

3 calls:

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

series103.0ms (3.5%)

Counts
3 → 9
Calls

3 calls:

50.0ms
(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
31.0ms
(+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))
22.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))

simplify70.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
048871690
148871690

prune81.0ms (2.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New76177
Fresh000
Picked011
Done000
Total76278

Merged error: 0b

Counts
78 → 2
Compiler

Compiled 1526 to 1001 computations (34.4% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
0.5b
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
0.5b
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
0.5b
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

rewrite175.0ms (6%)

Algorithm
1×rewrite-expression-head
Rules
166×*-un-lft-identity_binary64_4170
125×cbrt-prod_binary64_4201
91×times-frac_binary64_4176
72×add-sqr-sqrt_binary64_4192
64×distribute-lft-out_binary64_4121
52×div-inv_binary64_4167
43×add-cube-cbrt_binary64_4205
33×cbrt-div_binary64_4202
26×swap-sqr_binary64_4137
25×distribute-rgt-out_binary64_4123
21×sqrt-prod_binary64_4186
18×associate-*l*_binary64_4111 associate-*r*_binary64_4110
11×pow1_binary64_4231 flip-+_binary64_4144 flip3-+_binary64_4173 frac-add_binary64_4178
9×frac-times_binary64_4180 pow1/3_binary64_4252
7×distribute-rgt1-in_binary64_4126
6×add-exp-log_binary64_4208
4×add-cbrt-cube_binary64_4206 add-log-exp_binary64_4209 unswap-sqr_binary64_4138
3×associate-*r/_binary64_4112 associate-*l/_binary64_4113
2×pow-prod-up_binary64_4240 pow-prod-down_binary64_4241 pow-sqr_binary64_4143
1×pow-plus_binary64_4233 prod-exp_binary64_4219 cbrt-unprod_binary64_4203 pow2_binary64_4251 *-commutative_binary64_4101
Counts
4 → 177
Calls

4 calls:

67.0ms
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
27.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
25.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
25.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

series312.0ms (10.7%)

Counts
4 → 12
Calls

4 calls:

81.0ms
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
72.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
72.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
66.0ms
(cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

simplify129.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
048636248
148636248

prune515.0ms (17.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1890189
Fresh000
Picked011
Done011
Total1892191

Merged error: 0b

Counts
191 → 2
Compiler

Compiled 9030 to 5888 computations (34.8% saved)

regimes40.0ms (1.4%)

Compiler

Compiled 307 to 223 computations (27.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03366
13366

end0.0ms (0%)

sample709.0ms (24.3%)

Algorithm
1×intervals
Results
445.0ms8000×body128valid
Compiler

Compiled 141 to 102 computations (27.7% saved)

Profiling

Loading profile data...