Details

Time bar (total: 2.8s)

analyze151.0ms (5.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
25%74.9%0.1%4
37.5%62.4%0.1%5
62.4%37.5%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample110.0ms (3.9%)

Algorithm
1×intervals
Results
102.0ms256×body128valid
Compiler

Compiled 23 to 15 computations (34.8% saved)

simplify71.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
457×times-frac_binary64
323×div-sub_binary64
147×sub-neg_binary64
141×cancel-sign-sub-inv_binary64
139×associate-/l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0712
11812
23812
36612
414012
518712
653510
778910
896510
989310
1088610
1188510
1288710
1388710
1478210

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 27 to 15 computations (44.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (+.f64 f n) (-.f64 n f))

rewrite43.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
34×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
20×times-frac_binary64
12×add-cube-cbrt_binary64
6×distribute-lft-out_binary64
Counts
1 → 45
Calls

1 calls:

7.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 569 to 133 computations (76.6% saved)

series85.0ms (3%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

81.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 423 to 337 computations (20.3% saved)

simplify183.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
523×div-sub_binary64
439×times-frac_binary64
431×associate-/l*_binary64
382×distribute-rgt-in_binary64
324×distribute-lft-in_binary64
Counts
63 → 28
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0981062
12371006
2586988
31475979
44562979
55645979

prune11.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New25328
Fresh000
Picked101
Done000
Total26329
Error
0.0b
Counts
29 → 3
Alt Table
StatusErrorProgram
▶1.2b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
32.3b
(-.f64 -1 (*.f64 2 (/.f64 n f)))
31.3b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
Compiler

Compiled 234 to 110 computations (53% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (+.f64 f n))
0.5b
(cbrt.f64 (+.f64 f n))
0.5b
(cbrt.f64 (+.f64 f n))
0.5b
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))

rewrite55.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
36×cbrt-prod_binary64
35×*-un-lft-identity_binary64
23×add-sqr-sqrt_binary64
18×cbrt-div_binary64
15×add-cube-cbrt_binary64
Counts
4 → 95
Calls

4 calls:

13.0ms
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
3.0ms
(cbrt.f64 (+.f64 f n))
2.0ms
(cbrt.f64 (+.f64 f n))
2.0ms
(cbrt.f64 (+.f64 f n))
Compiler

Compiled 2157 to 342 computations (84.1% saved)

series228.0ms (8%)

Error
0.0b
Counts
4 → 51
Calls

4 calls:

116.0ms
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
30.0ms
(cbrt.f64 (+.f64 f n))
30.0ms
(cbrt.f64 (+.f64 f n))
29.0ms
(cbrt.f64 (+.f64 f n))
Compiler

Compiled 3616 to 2324 computations (35.7% saved)

simplify157.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
591×times-frac_binary64
441×*-commutative_binary64
358×div-sub_binary64
229×associate-/l*_binary64
213×associate-*l*_binary64
Counts
146 → 129
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02143429
14443323
212433072
327273028
449593028
549413028

prune28.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1290129
Fresh022
Picked011
Done000
Total1293132
Error
0.0b
Counts
132 → 3
Alt Table
StatusErrorProgram
✓1.2b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
32.3b
(-.f64 -1 (*.f64 2 (/.f64 n f)))
▶31.3b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
Compiler

Compiled 1659 to 415 computations (75% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 2 (/.f64 f n))
0.0b
(+.f64 2 (*.f64 2 (/.f64 f n)))
0.1b
(*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n))))

rewrite68.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
29×add-sqr-sqrt_binary64
20×times-frac_binary64
19×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
16×associate-*r*_binary64
Counts
3 → 81
Calls

3 calls:

7.0ms
(*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n))))
6.0ms
(*.f64 2 (/.f64 f n))
3.0ms
(+.f64 2 (*.f64 2 (/.f64 f n)))
Compiler

Compiled 1702 to 932 computations (45.2% saved)

series66.0ms (2.3%)

Error
0.0b
Counts
3 → 30
Calls

3 calls:

32.0ms
(*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n))))
18.0ms
(+.f64 2 (*.f64 2 (/.f64 f n)))
11.0ms
(*.f64 2 (/.f64 f n))
Compiler

Compiled 801 to 570 computations (28.8% saved)

simplify136.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
652×associate-*l/_binary64
575×associate-*r/_binary64
369×associate-/l*_binary64
312×distribute-rgt-in_binary64
300×distribute-lft-in_binary64
Counts
111 → 74
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01491949
14411766
212911763
348251763
449971763
549611763

prune23.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New74074
Fresh011
Picked011
Done011
Total74377
Error
0.0b
Counts
77 → 3
Alt Table
StatusErrorProgram
✓1.2b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
▶32.3b
(-.f64 -1 (*.f64 2 (/.f64 n f)))
✓31.3b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
Compiler

Compiled 886 to 465 computations (47.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 2 (/.f64 n f))
0.0b
(-.f64 -1 (*.f64 2 (/.f64 n f)))

rewrite30.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
15×add-sqr-sqrt_binary64
13×associate-*r*_binary64
10×times-frac_binary64
10×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
Counts
2 → 44
Calls

2 calls:

6.0ms
(*.f64 2 (/.f64 n f))
2.0ms
(-.f64 -1 (*.f64 2 (/.f64 n f)))
Compiler

Compiled 608 to 367 computations (39.6% saved)

series31.0ms (1.1%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

17.0ms
(-.f64 -1 (*.f64 2 (/.f64 n f)))
12.0ms
(*.f64 2 (/.f64 n f))
Compiler

Compiled 281 to 219 computations (22.1% saved)

simplify582.0ms (20.4%)

Algorithm
1×egg-herbie
Rules
533×associate-/l*_binary64
519×div-sub_binary64
438×distribute-neg-frac_binary64
351×unsub-neg_binary64
299×cancel-sign-sub-inv_binary64
Counts
62 → 28
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
097678
1214654
2585654
31615654
43558654
54406654
64928654

prune8.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New28028
Fresh000
Picked011
Done022
Total28331
Error
0.0b
Counts
31 → 3
Alt Table
StatusErrorProgram
✓1.2b
(*.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
✓32.3b
(-.f64 -1 (*.f64 2 (/.f64 n f)))
✓31.3b
(+.f64 1 (*.f64 (/.f64 f n) (+.f64 2 (*.f64 2 (/.f64 f n)))))
Compiler

Compiled 220 to 137 computations (37.7% saved)

regimes87.0ms (3.1%)

Accuracy

Total 0.0b remaining (3.8%)

Threshold costs 0.0b (3.8%)

Compiler

Compiled 1340 to 785 computations (41.4% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
11114
21614
31814
41914
51914

end0.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample665.0ms (23.3%)

Algorithm
1×intervals
Results
284.0ms8000×body128valid
Compiler

Compiled 68 to 41 computations (39.7% saved)

Profiling

Loading profile data...