Details

Time bar (total: 1.1s)

analyze17.0ms (1.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
75%25%0%3
87.5%12.5%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample11.0ms (1%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify7.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1124
2134
3104

prune5.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 x 1/3)
Compiler

Compiled 17 to 13 computations (23.5% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x 1/3)

series2.0ms (0.2%)

Counts
1 → 3
Calls

1 calls:

2.0ms
(-.f64 x 1/3)

rewrite8.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
9×prod-diff_binary64
9×add-cube-cbrt_binary64
3×cancel-sign-sub-inv_binary64
Counts
1 → 30
Calls

1 calls:

6.0ms
(-.f64 x 1/3)

simplify126.0ms (11.6%)

Algorithm
1×egg-herbie
Rules
979×fma-def_binary64
624×unswap-sqr_binary64
419×distribute-rgt-in_binary64
387×*-commutative_binary64
384×distribute-lft-in_binary64
Counts
33 → 47
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
065280
1106169
2149169
3334168
4890168
52382168
62527168
73602168
85344168

prune43.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New46147
Fresh000
Picked011
Done000
Total46248
Error
0b
Counts
48 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 x 1/3)
▶33.9b
(log.f64 (exp.f64 (+.f64 -1/3 x)))
Compiler

Compiled 513 to 398 computations (22.4% saved)

localize11.0ms (1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 -1/3 x)
✓0.0b
(exp.f64 (+.f64 -1/3 x))
✓0.5b
(log.f64 (exp.f64 (+.f64 -1/3 x)))

series9.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(exp.f64 (+.f64 -1/3 x))
3.0ms
(log.f64 (exp.f64 (+.f64 -1/3 x)))
2.0ms
(+.f64 -1/3 x)

rewrite21.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
8×add-log-exp_binary64
8×exp-prod_binary64
7×add-sqr-sqrt_binary64
7×add-cube-cbrt_binary64
Counts
3 → 52
Calls

3 calls:

6.0ms
(log.f64 (exp.f64 (+.f64 -1/3 x)))
6.0ms
(exp.f64 (+.f64 -1/3 x))
5.0ms
(+.f64 -1/3 x)

simplify135.0ms (12.5%)

Algorithm
1×egg-herbie
Rules
600×fma-def_binary64
442×fma-neg_binary64
370×associate-+l+_binary64
336×associate-*l*_binary64
308×associate-+r+_binary64
Counts
88 → 67
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
078581
1146543
2323537
3851530
42276528
54476528
64972526
74908526

prune35.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New67067
Fresh000
Picked011
Done011
Total67269
Error
0b
Counts
69 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 x 1/3)
✓33.9b
(log.f64 (exp.f64 (+.f64 -1/3 x)))
Compiler

Compiled 645 to 528 computations (18.1% saved)

regimes17.0ms (1.5%)

Accuracy

Total 0.0b remaining (41.1%)

Threshold costs 0.0b (41.1%)

Counts
6 → 1
Compiler

Compiled 70 to 56 computations (20% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1124
2134
3104

end0.0ms (0%)

Compiler

Compiled 4 to 3 computations (25% saved)

sample630.0ms (58.3%)

Algorithm
1×intervals
Results
308.0ms8000×body128valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

Profiling

Loading profile data...