Details

Time bar (total: 2.1s)

analyze7.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
37.5%12.5%50%4
43.7%6.2%50%5
46.9%3.1%50%6
48.4%1.6%50%7
49.2%0.8%50%8
49.6%0.4%50%9
49.8%0.2%50%10
49.9%0.1%50%11
49.9%0%50%12
50%0%50%13
50%0%50%14
Compiler

Compiled 29 to 19 computations (34.5% saved)

sample123.0ms (5.8%)

Algorithm
1×intervals
Results
45.0ms256×body128valid
3.0ms256×pre128true
Compiler

Compiled 56 to 37 computations (33.9% saved)

simplify57.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
581×associate-/r*_binary64
510×distribute-rgt-in_binary64
489×distribute-lft-in_binary64
463×fma-neg_binary64
415×associate-/r/_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01131
14026
218517
391513
4234013
5445513
6495813
7507713

prune4.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.3b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
46.7b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 107 to 73 computations (31.8% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
✓0.4b
(/.f64 1 (*.f64 i i))

series6.0ms (0.3%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
2.0ms
(/.f64 1 (*.f64 i i))

rewrite15.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
35×times-frac_binary64
33×*-un-lft-identity_binary64
17×add-cube-cbrt_binary64
15×add-exp-log_binary64
Counts
2 → 85
Calls

2 calls:

6.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
5.0ms
(/.f64 1 (*.f64 i i))

simplify122.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
484×cancel-sign-sub-inv_binary64
484×fma-neg_binary64
262×associate-/l/_binary64
260×unsub-neg_binary64
197×neg-mul-1_binary64
Counts
109 → 114
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01571670
13041577
27011474
318551474
442051414
548871414
649991414
748671414

prune74.0ms (3.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1122114
Fresh101
Picked011
Done000
Total1133116
Error
0b
Counts
116 → 3
Alt Table
StatusErrorProgram
▶0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
30.3b
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
✓0.3b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 1853 to 1392 computations (24.9% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 2 (/.f64 1 i))
✓0.0b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
✓0.3b
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))
✓0.3b
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))

series12.0ms (0.6%)

Counts
4 → 39
Calls

4 calls:

3.0ms
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
3.0ms
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))
2.0ms
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))
1.0ms
(-.f64 2 (/.f64 1 i))

rewrite63.0ms (3%)

Algorithm
1×rewrite-expression-head
Rules
158×add-sqr-sqrt_binary64
143×*-un-lft-identity_binary64
134×times-frac_binary64
90×add-cube-cbrt_binary64
39×prod-diff_binary64
Counts
4 → 240
Calls

4 calls:

24.0ms
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
7.0ms
(-.f64 2 (/.f64 1 i))
7.0ms
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))
6.0ms
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))

simplify238.0ms (11.2%)

Algorithm
1×egg-herbie
Rules
740×fma-def_binary64
446×fma-neg_binary64
279×times-frac_binary64
230×cancel-sign-sub-inv_binary64
190×distribute-rgt-in_binary64
Counts
279 → 353
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03225864
18114962
224864702
343944700
449484700
548444700

prune282.0ms (13.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New3530353
Fresh011
Picked011
Done011
Total3533356
Error
0b
Counts
356 → 3
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
▶30.3b
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
✓0.3b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 9425 to 7975 computations (15.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 i i) -1/4)

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(*.f64 (*.f64 i i) -1/4)

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*r*_binary64
3×add-sqr-sqrt_binary64
Counts
1 → 21
Calls

1 calls:

5.0ms
(*.f64 (*.f64 i i) -1/4)

simplify60.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
705×fma-def_binary64
380×distribute-rgt-in_binary64
324×distribute-lft-in_binary64
248×associate-*l*_binary64
237×*-commutative_binary64
Counts
33 → 31
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
042308
187272
2239263
3546263
4791263
51287263
62398263
74535263
84812263

prune18.0ms (0.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New31031
Fresh000
Picked011
Done022
Total31334
Error
0b
Counts
34 → 3
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
✓30.3b
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
✓0.3b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 452 to 294 computations (35% saved)

regimes49.0ms (2.3%)

Accuracy

Total 0.1b remaining (96.2%)

Threshold costs 0.1b (96.2%)

Counts
23 → 1
Compiler

Compiled 684 to 531 computations (22.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×distribute-neg-frac_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
11722
22322
32522
42622
52422

end1.0ms (0%)

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample963.0ms (45.3%)

Algorithm
1×intervals
Results
560.0ms8000×body128valid
99.0ms8000×pre128true
Compiler

Compiled 82 to 63 computations (23.2% saved)

Profiling

Loading profile data...