Details

Time bar (total: 3.5s)

analyze88.0ms (2.5%)

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

Compiled 15 to 11 computations (26.7% saved)

sample27.0ms (0.8%)

Algorithm
1×intervals
Results
9.0ms57×body1024valid
6.0ms146×body128valid
4.0ms31×body512valid
1.0ms7×body2048valid
1.0ms15×body256valid
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify78.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
335×div-sub_binary64
178×associate-/l*_binary64
162×sub-neg_binary64
146×times-frac_binary64
139×cancel-sign-sub-inv_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11619
22219
33319
45519
58519
616519
724219
853819
957819
1065819
1183519
1278019
1377019
1476419
1576619
1676819
1777019
1877019
1968119

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
27.5b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶27.5b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Compiler

Compiled 28 to 20 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
2.9b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite137.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Error
26.9b
Rules
130×*-un-lft-identity_binary64
76×times-frac_binary64
75×add-sqr-sqrt_binary64
34×cancel-sign-sub-inv_binary64
27×add-cube-cbrt_binary64
Counts
2 → 114
Calls

2 calls:

30.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
6.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
Compiler

Compiled 1887 to 1386 computations (26.6% saved)

series29.0ms (0.8%)

Error
0b
Counts
2 → 20
Calls

2 calls:

12.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
8.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
Compiler

Compiled 493 to 403 computations (18.3% saved)

simplify122.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
448×associate-/l*_binary64
438×div-sub_binary64
392×times-frac_binary64
329×associate-*l*_binary64
297×associate-*l/_binary64
Counts
134 → 123
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01782813
15052710
215412464
342402464
453902464

prune41.0ms (1.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1212123
Fresh000
Picked101
Done000
Total1222124
Error
0.0b
Counts
124 → 2
Alt Table
StatusErrorProgram
▶27.4b
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
34.0b
(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
Compiler

Compiled 1302 to 939 computations (27.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 1 x) (+.f64 x -1))
0.0b
(pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)
0.0b
(cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3))
2.9b
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))

rewrite206.0ms (5.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
211×*-un-lft-identity_binary64
151×times-frac_binary64
145×add-sqr-sqrt_binary64
128×cbrt-prod_binary64
82×cube-prod_binary64
Counts
4 → 273
Calls

4 calls:

47.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
11.0ms
(pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)
9.0ms
(cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3))
6.0ms
(/.f64 (+.f64 1 x) (+.f64 x -1))
Compiler

Compiled 4364 to 3406 computations (22% saved)

series105.0ms (3%)

Error
0.0b
Counts
4 → 40
Calls

4 calls:

53.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
14.0ms
(cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3))
10.0ms
(pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)
9.0ms
(/.f64 (+.f64 1 x) (+.f64 x -1))
Compiler

Compiled 1342 to 1112 computations (17.1% saved)

simplify273.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
384×unswap-sqr_binary64
294×log-prod_binary64
212×exp-prod_binary64
201×div-sub_binary64
147×sqr-pow_binary64
Counts
313 → 262
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03486854
19026342
227576277
342476277
449926277
549526277

prune72.0ms (2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2620262
Fresh011
Picked011
Done000
Total2622264
Error
0.0b
Counts
264 → 2
Alt Table
StatusErrorProgram
✓27.4b
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
▶34.0b
(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
Compiler

Compiled 2315 to 1720 computations (25.7% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 3 (pow.f64 x 3))
0.4b
(/.f64 1 (pow.f64 x 4))
7.0b
(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
9.8b
(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))

rewrite213.0ms (6.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
93×*-un-lft-identity_binary64
88×times-frac_binary64
75×add-sqr-sqrt_binary64
60×add-cube-cbrt_binary64
35×unpow-prod-down_binary64
Counts
4 → 199
Calls

4 calls:

37.0ms
(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
18.0ms
(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
4.0ms
(/.f64 3 (pow.f64 x 3))
3.0ms
(/.f64 1 (pow.f64 x 4))
Compiler

Compiled 5549 to 4080 computations (26.5% saved)

series42.0ms (1.2%)

Error
0.0b
Counts
4 → 22
Calls

4 calls:

11.0ms
(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
10.0ms
(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
8.0ms
(/.f64 1 (pow.f64 x 4))
6.0ms
(/.f64 3 (pow.f64 x 3))
Compiler

Compiled 783 to 636 computations (18.8% saved)

simplify241.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
542×cancel-sign-sub-inv_binary64
196×log-prod_binary64
187×associate-*l*_binary64
179×associate-*r*_binary64
172×associate-/r*_binary64
Counts
221 → 178
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02844524
17074262
226104205
346154146
449494146
549164146

prune58.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1771178
Fresh000
Picked101
Done011
Total1782180
Error
0.0b
Counts
180 → 2
Alt Table
StatusErrorProgram
▶34.0b
(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x)))))
✓27.4b
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
Compiler

Compiled 2191 to 1571 computations (28.3% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 3 (pow.f64 x 3))
0.4b
(/.f64 1 (pow.f64 x 4))
7.0b
(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x)))
7.8b
(+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x))))

rewrite168.0ms (4.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
61×*-un-lft-identity_binary64
59×times-frac_binary64
45×add-sqr-sqrt_binary64
45×add-cube-cbrt_binary64
24×unpow-prod-down_binary64
Counts
4 → 155
Calls

4 calls:

28.0ms
(+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x))))
16.0ms
(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x)))
8.0ms
(/.f64 3 (pow.f64 x 3))
3.0ms
(/.f64 1 (pow.f64 x 4))
Compiler

Compiled 3940 to 2889 computations (26.7% saved)

series46.0ms (1.3%)

Error
0.0b
Counts
4 → 19
Calls

4 calls:

13.0ms
(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x)))
12.0ms
(+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x))))
7.0ms
(/.f64 3 (pow.f64 x 3))
6.0ms
(/.f64 1 (pow.f64 x 4))
Compiler

Compiled 746 to 600 computations (19.6% saved)

simplify156.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
409×unswap-sqr_binary64
386×associate-/l/_binary64
357×log-prod_binary64
296×distribute-rgt-in_binary64
260×distribute-lft-in_binary64
Counts
174 → 131
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02002850
14252704
215602596
345612540
448812540
550812540

prune46.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1310131
Fresh000
Picked011
Done011
Total1312133
Error
0.0b
Counts
133 → 2
Alt Table
StatusErrorProgram
34.0b
(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (*.f64 x x)))))
27.4b
(-.f64 (/.f64 x (+.f64 x 1)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 x) (+.f64 x -1)) 3)))
Compiler

Compiled 1635 to 1181 computations (27.8% saved)

regimes318.0ms (9.1%)

Accuracy

Total 0.6b remaining (93.3%)

Threshold costs 0.6b (93.3%)

Compiler

Compiled 3630 to 2772 computations (23.6% saved)

bsearch3.0ms (0.1%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
15×+-commutative_binary64
11×sub-neg_binary64
9×*-commutative_binary64
8×neg-sub0_binary64
8×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02659
14059
25359
37259
49259
510159
610459
710159

end1.0ms (0%)

Compiler

Compiled 41 to 31 computations (24.4% saved)

sample989.0ms (28.2%)

Algorithm
1×intervals
Results
348.0ms2087×body1024valid
186.0ms4179×body128valid
122.0ms1020×body512valid
47.0ms239×body2048valid
38.0ms475×body256valid
Compiler

Compiled 96 to 73 computations (24% saved)

Profiling

Loading profile data...