Details

Time bar (total: 2.0s)

analyze69.0ms (3.5%)

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 30 to 20 computations (33.3% saved)

sample24.0ms (1.2%)

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

Compiled 57 to 38 computations (33.3% saved)

simplify47.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
581×associate-/r*_binary64
516×cancel-sign-sub-inv_binary64
510×distribute-rgt-in_binary64
489×distribute-lft-in_binary64
415×associate-/r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01131
13928
217719
390413
4232013
5406913
6504713

prune5.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.5b
Counts
2 → 2
Alt Table
StatusErrorProgram
46.9b
(/.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))
▶0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 82 to 58 computations (29.3% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 1 (*.f64 i i))
0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))

rewrite116.0ms (5.9%)

Algorithm
1×rewrite-expression-head
Error
0b
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 → 81
Calls

2 calls:

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

Compiled 1183 to 881 computations (25.5% saved)

series31.0ms (1.6%)

Error
0b
Counts
2 → 15
Calls

2 calls:

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

Compiled 344 to 299 computations (13.1% saved)

simplify101.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
463×associate-/l*_binary64
430×cancel-sign-sub-inv_binary64
308×div-sub_binary64
300×associate-/r/_binary64
262×associate-/l/_binary64
Counts
96 → 74
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01541565
13001472
26691369
316401369
444351309
548521309

prune44.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New72274
Fresh101
Picked011
Done000
Total73376
Error
0b
Counts
76 → 3
Alt Table
StatusErrorProgram
▶0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
31.5b
(*.f64 -1/4 (*.f64 i i))
✓0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 541 to 409 computations (24.4% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
0.1b
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))
0.1b
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))

rewrite216.0ms (10.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
108×add-sqr-sqrt_binary64
96×*-un-lft-identity_binary64
96×times-frac_binary64
47×add-cube-cbrt_binary64
30×associate-*r*_binary64
Counts
3 → 161
Calls

3 calls:

34.0ms
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
10.0ms
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))
8.0ms
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))
Compiler

Compiled 3456 to 3034 computations (12.2% saved)

series63.0ms (3.2%)

Error
0b
Counts
3 → 36
Calls

3 calls:

15.0ms
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
13.0ms
(/.f64 1/2 (-.f64 2 (/.f64 1 i)))
13.0ms
(/.f64 1/2 (+.f64 2 (/.f64 1 i)))
Compiler

Compiled 1069 to 915 computations (14.4% saved)

simplify178.0ms (9%)

Algorithm
1×egg-herbie
Rules
573×associate-*l/_binary64
499×associate-/l*_binary64
288×associate-/l/_binary64
200×associate-/r*_binary64
190×times-frac_binary64
Counts
197 → 138
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02534122
16773817
219923696
345943696
449783696
549283696

prune93.0ms (4.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1380138
Fresh011
Picked011
Done011
Total1383141
Error
0b
Counts
141 → 3
Alt Table
StatusErrorProgram
✓0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
▶31.5b
(*.f64 -1/4 (*.f64 i i))
✓0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 1943 to 1637 computations (15.7% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune3.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
0.1b
(*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i))))
31.5b
(*.f64 -1/4 (*.f64 i i))
0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 32 to 26 computations (18.8% saved)

regimes126.0ms (6.4%)

Accuracy

Total 0.1b remaining (94.4%)

Threshold costs 0.1b (94.4%)

Compiler

Compiled 1598 to 1297 computations (18.8% saved)

simplify4.0ms (0.2%)

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
01622
12222
22822
33022
43122
52622

end1.0ms (0%)

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample833.0ms (42.1%)

Algorithm
1×intervals
Results
408.0ms8000×body128valid
82.0ms8000×pre128true
Compiler

Compiled 79 to 61 computations (22.8% saved)

Profiling

Loading profile data...