Details

Time bar (total: 5.3s)

analyze174.0ms (3.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
56.2%37.5%6.3%8
62.4%25.8%11.8%9
65.6%20.3%14.1%10
68.7%13.5%17.9%11
70.2%10.5%19.2%12
71.8%6.9%21.3%13
72.6%5.4%22%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample19.0ms (0.4%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
1.0ms14×body128invalid
Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify77.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
877×div-sub_binary64
637×sub-neg_binary64
618×unsub-neg_binary64
440×neg-sub0_binary64
439×neg-mul-1_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
12416
27116
319216
463416
5191416
6330416
7424116
8467416
9493116

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
5.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶5.3b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
Compiler

Compiled 50 to 38 computations (24% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.3%)

Counts
2 → 36
Calls

2 calls:

13.0ms
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
2.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))

rewrite26.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
23×*-un-lft-identity_binary64
18×prod-diff_binary64
18×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
Counts
2 → 90
Calls

2 calls:

11.0ms
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
8.0ms
(*.f64 (-.f64 1 x) (-.f64 3 x))

simplify89.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
852×fma-def_binary64
614×associate-/r*_binary64
196×associate-*l*_binary64
194×associate-/l/_binary64
174×associate-*r*_binary64
Counts
126 → 154
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02152319
15082006
222041772
348551760
448651760

prune122.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1495154
Fresh000
Picked101
Done000
Total1505155
Error
0.0b
Counts
155 → 5
Alt Table
StatusErrorProgram
0.2b
(/.f64 (-.f64 1 x) (/.f64 (*.f64 y 3) (-.f64 3 x)))
5.3b
(*.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (/.f64 1 (*.f64 y 3)))
5.1b
(/.f64 (+.f64 1 (*.f64 x (fma.f64 1/3 x -4/3))) y)
0.4b
(fma.f64 (/.f64 x y) -4/3 (fma.f64 1/3 (*.f64 (/.f64 x y) x) (/.f64 1 y)))
▶0.1b
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
Compiler

Compiled 3319 to 2248 computations (32.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series26.0ms (0.5%)

Counts
3 → 60
Calls

3 calls:

13.0ms
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
10.0ms
(/.f64 y (/.f64 (-.f64 3 x) 3))
2.0ms
(/.f64 (-.f64 3 x) 3)

rewrite132.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Rules
1218×times-frac_binary64
808×*-un-lft-identity_binary64
808×add-sqr-sqrt_binary64
461×add-cube-cbrt_binary64
205×difference-of-squares_binary64
Counts
3 → 598
Calls

3 calls:

20.0ms
(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))
6.0ms
(/.f64 y (/.f64 (-.f64 3 x) 3))
5.0ms
(/.f64 (-.f64 3 x) 3)

simplify383.0ms (7.2%)

Algorithm
1×egg-herbie
Rules
554×associate-/l/_binary64
532×associate-/r*_binary64
489×associate-/r/_binary64
395×associate-/l*_binary64
278×div-sub_binary64
Counts
658 → 750
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
074021081
1201020780
2523720780

prune610.0ms (11.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New7473750
Fresh314
Picked101
Done000
Total7514755
Error
0b
Counts
755 → 4
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 1 (/.f64 x 3))))
5.1b
(/.f64 (+.f64 1 (*.f64 x (fma.f64 1/3 x -4/3))) y)
0.6b
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)
11.6b
(/.f64 (sqrt.f64 (-.f64 1 x)) (/.f64 (/.f64 y (/.f64 (-.f64 3 x) 3)) (sqrt.f64 (-.f64 1 x))))
Compiler

Compiled 19403 to 13908 computations (28.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series29.0ms (0.5%)

Counts
3 → 60
Calls

3 calls:

14.0ms
(/.f64 y (-.f64 1 (/.f64 x 3)))
12.0ms
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 1 (/.f64 x 3))))
3.0ms
(-.f64 1 (/.f64 x 3))

rewrite76.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
474×add-sqr-sqrt_binary64
460×times-frac_binary64
370×*-un-lft-identity_binary64
173×add-cube-cbrt_binary64
166×difference-of-squares_binary64
Counts
3 → 360
Calls

3 calls:

14.0ms
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 1 (/.f64 x 3))))
7.0ms
(/.f64 y (-.f64 1 (/.f64 x 3)))
7.0ms
(-.f64 1 (/.f64 x 3))

simplify306.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
360×div-sub_binary64
341×associate-/r/_binary64
259×fma-neg_binary64
258×associate-*l/_binary64
246×associate-/l/_binary64
Counts
420 → 447
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
047811664
1124910996
2414810746
3452310746
4497810746

prune345.0ms (6.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New4470447
Fresh033
Picked011
Done000
Total4474451
Error
0b
Counts
451 → 4
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 1 (/.f64 x 3))))
5.1b
(/.f64 (+.f64 1 (*.f64 x (fma.f64 1/3 x -4/3))) y)
▶0.6b
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)
11.6b
(/.f64 (sqrt.f64 (-.f64 1 x)) (/.f64 (/.f64 y (/.f64 (-.f64 3 x) 3)) (sqrt.f64 (-.f64 1 x))))
Compiler

Compiled 11777 to 8469 computations (28.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x)))
✓0.5b
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)

series23.0ms (0.4%)

Counts
2 → 48
Calls

2 calls:

14.0ms
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)
9.0ms
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x)))

rewrite175.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Rules
1488×times-frac_binary64
1027×*-un-lft-identity_binary64
1027×add-sqr-sqrt_binary64
523×add-cube-cbrt_binary64
305×difference-of-squares_binary64
Counts
2 → 720
Calls

2 calls:

27.0ms
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)
13.0ms
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x)))

simplify565.0ms (10.6%)

Algorithm
1×egg-herbie
Rules
556×associate-/l*_binary64
514×associate-/r*_binary64
415×associate-/l/_binary64
376×div-sub_binary64
363×associate-/r/_binary64
Counts
768 → 851
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
081925520
1206125162
2492025146
3520825146

prune600.0ms (11.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New8510851
Fresh022
Picked011
Done011
Total8514855
Error
0b
Counts
855 → 4
Alt Table
StatusErrorProgram
✓0.1b
(/.f64 (-.f64 1 x) (/.f64 y (-.f64 1 (/.f64 x 3))))
5.1b
(/.f64 (+.f64 1 (*.f64 x (fma.f64 1/3 x -4/3))) y)
✓0.6b
(/.f64 (/.f64 (-.f64 1 x) (/.f64 y (-.f64 3 x))) 3)
11.6b
(/.f64 (sqrt.f64 (-.f64 1 x)) (/.f64 (/.f64 y (/.f64 (-.f64 3 x) 3)) (sqrt.f64 (-.f64 1 x))))
Compiler

Compiled 23185 to 16650 computations (28.2% saved)

regimes897.0ms (16.8%)

Accuracy

Total 0.1b remaining (81.2%)

Threshold costs 0.1b (81.2%)

Counts
169 → 1
Compiler

Compiled 17993 to 14070 computations (21.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
4×sub-neg_binary64
2×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11616
22416
32816
43016
52916

end0.0ms (0%)

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample603.0ms (11.3%)

Algorithm
1×intervals
Results
314.0ms8000×body128valid
12.0ms337×body128invalid
Compiler

Compiled 86 to 67 computations (22.1% saved)

Profiling

Loading profile data...