Details

Time bar (total: 3.5s)

analyze342.0ms (9.7%)

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
12.5%87.4%0.1%4
25%74.9%0.1%5
31.2%68.7%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample19.0ms (0.5%)

Algorithm
1×intervals
Results
6.0ms208×body128valid
2.0ms16×body1024valid
1.0ms16×body512valid
1.0ms16×body256valid
Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify183.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
1574×distribute-rgt-in_binary64
1102×div-sub_binary64
756×sub-neg_binary64
664×associate-/l*_binary64
569×unsub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11916
24316
39816
425616
556516
697216
7123116
8176916
9229416
10263916
11282216
12140916
13142516
14170516
15157316
16150916
17150916
18370116
19420916
20485216

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
22.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶22.0b
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
Compiler

Compiled 39 to 30 computations (23.1% saved)

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite132.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
12.3b
Rules
21×*-un-lft-identity_binary64
17×add-sqr-sqrt_binary64
10×cancel-sign-sub-inv_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
Counts
3 → 74
Calls

3 calls:

10.0ms
(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
8.0ms
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0ms
(*.f64 (-.f64 1 x) y)
Compiler

Compiled 1345 to 1001 computations (25.6% saved)

series113.0ms (3.2%)

Error
0.0b
Counts
3 → 45
Calls

3 calls:

33.0ms
(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
33.0ms
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
15.0ms
(*.f64 (-.f64 1 x) y)
Compiler

Compiled 1307 to 911 computations (30.3% saved)

simplify105.0ms (3%)

Algorithm
1×egg-herbie
Rules
387×distribute-rgt-in_binary64
370×cancel-sign-sub-inv_binary64
358×div-sub_binary64
320×distribute-lft-in_binary64
271×sub-neg_binary64
Counts
119 → 94
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01992101
15781970
221421964
345691940
452691940

prune60.0ms (1.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New90494
Fresh000
Picked101
Done000
Total91495
Error
0.0b
Counts
95 → 4
Alt Table
StatusErrorProgram
38.8b
(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 (*.f64 y x) y) (+.f64 y 1)))))
31.9b
(-.f64 1 (-.f64 y (*.f64 y x)))
32.1b
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
▶12.7b
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
Compiler

Compiled 1192 to 714 computations (40.1% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite124.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
42×*-un-lft-identity_binary64
33×add-sqr-sqrt_binary64
25×times-frac_binary64
25×add-cube-cbrt_binary64
18×associate-*l*_binary64
Counts
3 → 105
Calls

3 calls:

14.0ms
(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
5.0ms
(/.f64 y (+.f64 y 1))
4.0ms
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
Compiler

Compiled 1928 to 1361 computations (29.4% saved)

series98.0ms (2.8%)

Error
0.0b
Counts
3 → 48
Calls

3 calls:

32.0ms
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
30.0ms
(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
14.0ms
(/.f64 y (+.f64 y 1))
Compiler

Compiled 1385 to 993 computations (28.3% saved)

simplify179.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
664×times-frac_binary64
434×distribute-rgt-in_binary64
396×cancel-sign-sub-inv_binary64
271×sub-neg_binary64
153×distribute-rgt-neg-in_binary64
Counts
153 → 134
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02342655
16292521
221292490
346432490
449992490
549962490
649622490

prune94.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1340134
Fresh033
Picked011
Done000
Total1344138
Error
0.0b
Counts
138 → 4
Alt Table
StatusErrorProgram
38.8b
(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 (*.f64 y x) y) (+.f64 y 1)))))
▶31.9b
(-.f64 1 (-.f64 y (*.f64 y x)))
32.1b
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
✓12.7b
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
Compiler

Compiled 1899 to 1267 computations (33.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 y (*.f64 y x))

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
3×add-log-exp_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
1×*-un-lft-identity_binary64
Counts
1 → 12
Calls

1 calls:

3.0ms
(-.f64 y (*.f64 y x))
Compiler

Compiled 169 to 67 computations (60.4% saved)

series18.0ms (0.5%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

14.0ms
(-.f64 y (*.f64 y x))
Compiler

Compiled 170 to 124 computations (27.1% saved)

simplify82.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
886×times-frac_binary64
411×distribute-rgt-neg-out_binary64
385×neg-sub0_binary64
380×distribute-rgt-in_binary64
367×neg-mul-1_binary64
Counts
21 → 16
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
039221
197203
2250200
3820200
42250200
53231200
64343200
75495200

prune14.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New16016
Fresh022
Picked011
Done011
Total16420
Error
0.0b
Counts
20 → 4
Alt Table
StatusErrorProgram
38.8b
(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 (*.f64 y x) y) (+.f64 y 1)))))
✓31.9b
(-.f64 1 (-.f64 y (*.f64 y x)))
▶32.1b
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
✓12.7b
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
Compiler

Compiled 226 to 145 computations (35.8% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(/.f64 1 (*.f64 y y))
1.3b
(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
4.1b
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
8.5b
(/.f64 x (*.f64 y y))

rewrite142.0ms (4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
57×*-un-lft-identity_binary64
27×distribute-lft-out_binary64
27×add-log-exp_binary64
20×add-exp-log_binary64
14×add-cbrt-cube_binary64
Counts
4 → 111
Calls

4 calls:

29.0ms
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
10.0ms
(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
5.0ms
(/.f64 1 (*.f64 y y))
4.0ms
(/.f64 x (*.f64 y y))
Compiler

Compiled 3122 to 1317 computations (57.8% saved)

series116.0ms (3.3%)

Error
0.0b
Counts
4 → 36
Calls

4 calls:

49.0ms
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
29.0ms
(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
18.0ms
(/.f64 x (*.f64 y y))
7.0ms
(/.f64 1 (*.f64 y y))
Compiler

Compiled 1385 to 909 computations (34.4% saved)

simplify128.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
387×associate-/l*_binary64
365×associate-/r*_binary64
174×distribute-rgt-in_binary64
171×associate-/r/_binary64
165×distribute-lft-in_binary64
Counts
147 → 113
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01913399
15672978
221142784
347332777
449782777

prune56.0ms (1.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1121113
Fresh011
Picked011
Done022
Total1125117
Error
0.0b
Counts
117 → 5
Alt Table
StatusErrorProgram
38.8b
(log.f64 (exp.f64 (+.f64 1 (/.f64 (-.f64 (*.f64 y x) y) (+.f64 y 1)))))
31.9b
(-.f64 1 (-.f64 y (*.f64 y x)))
32.1b
(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (*.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y))))
12.7b
(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
47.7b
(*.f64 (sqrt.f64 (+.f64 (+.f64 x (/.f64 1 y)) (-.f64 (/.f64 (+.f64 x -1) (*.f64 y y)) (/.f64 x y)))) (sqrt.f64 (+.f64 (+.f64 x (/.f64 1 y)) (-.f64 (/.f64 (+.f64 x -1) (*.f64 y y)) (/.f64 x y)))))
Compiler

Compiled 1684 to 825 computations (51% saved)

regimes725.0ms (20.6%)

Accuracy

Total 0.7b remaining (93.2%)

Threshold costs 0.7b (93.2%)

Compiler

Compiled 8062 to 5813 computations (27.9% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify12.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
37×cancel-sign-sub-inv_binary64
34×distribute-rgt-neg-in_binary64
24×distribute-lft-neg-in_binary64
21×neg-sub0_binary64
21×neg-mul-1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03293
15591
28091
311391
413791
515991
617591
718791
820691
922091
1023291
1123691
1223291

end2.0ms (0%)

Compiler

Compiled 63 to 45 computations (28.6% saved)

sample732.0ms (20.8%)

Algorithm
1×intervals
Results
210.0ms6265×body128valid
68.0ms602×body1024valid
63.0ms693×body512valid
25.0ms437×body256valid
0.0ms3×body2048valid
Compiler

Compiled 178 to 121 computations (32% saved)

Profiling

Loading profile data...