Details

Time bar (total: 4.5s)

analyze642.0ms (14.1%)

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
12.5%87.4%0.1%5
15.6%84.3%0.1%6
32.8%67.1%0.1%7
38.2%61.6%0.1%8
46%53.8%0.1%9
62.6%37.3%0.1%10
67.2%32.7%0.1%11
71.1%28.8%0.1%12
81.6%18.2%0.1%13
84.1%15.7%0.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample17.0ms (0.4%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify209.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
2278×div-sub_binary64
968×associate-/l/_binary64
868×cancel-sign-sub-inv_binary64
705×associate-/r/_binary64
621×associate-/l*_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11413
22013
32713
43913
55113
66313
77313
89013
911513
1014313
1120013
1231813
1358313
14101013
15139013
16148613
17151113
18160613
19170613
20147113
21177613
22169813
23178713
24189413
25196213
26199613
27200613
28198613
29198613
30318413
31524913

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 24 to 16 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.1b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite69.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
5.6b
Rules
55×add-sqr-sqrt_binary64
53×*-un-lft-identity_binary64
42×times-frac_binary64
20×difference-of-squares_binary64
15×add-cube-cbrt_binary64
Counts
1 → 60
Calls

1 calls:

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

Compiled 979 to 392 computations (60% saved)

series83.0ms (1.8%)

Error
0.0b
Counts
1 → 25
Calls

1 calls:

62.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
Compiler

Compiled 1110 to 711 computations (35.9% saved)

simplify124.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
501×associate-+l+_binary64
407×associate-+r+_binary64
326×div-sub_binary64
235×associate-/l*_binary64
231×times-frac_binary64
Counts
85 → 77
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01542074
13802018
211721952
342051952
447931952
551051952

prune47.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New74377
Fresh000
Picked011
Done000
Total74478
Error
0.5b
Counts
78 → 4
Alt Table
StatusErrorProgram
32.4b
(neg.f64 (+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z)))))
▶7.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
✓7.1b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
17.0b
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
Compiler

Compiled 965 to 407 computations (57.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
7.1b
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))

rewrite207.0ms (4.6%)

Algorithm
1×rewrite-expression-head
Error
0.5b
Rules
316×times-frac_binary64
275×add-sqr-sqrt_binary64
273×*-un-lft-identity_binary64
107×add-cube-cbrt_binary64
84×difference-of-squares_binary64
Counts
2 → 237
Calls

2 calls:

17.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
14.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))
Compiler

Compiled 4586 to 2195 computations (52.1% saved)

series161.0ms (3.5%)

Error
0b
Counts
2 → 53
Calls

2 calls:

65.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
62.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x))
Compiler

Compiled 2498 to 1654 computations (33.8% saved)

simplify260.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
904×times-frac_binary64
402×distribute-rgt-in_binary64
217×sub-neg_binary64
147×cancel-sign-sub-inv_binary64
146×distribute-neg-in_binary64
Counts
290 → 268
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02817955
17067508
224327268
348767268
449867268

prune101.0ms (2.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2671268
Fresh022
Picked011
Done011
Total2675272
Error
0b
Counts
272 → 5
Alt Table
StatusErrorProgram
32.4b
(neg.f64 (+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z)))))
36.8b
(/.f64 1 (neg.f64 (/.f64 y (*.f64 z (+.f64 x y)))))
✓7.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
✓7.1b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
▶17.0b
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
Compiler

Compiled 2702 to 1114 computations (58.8% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (/.f64 y z) (/.f64 y z))
4.8b
(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
11.9b
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))

rewrite178.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
86×*-un-lft-identity_binary64
81×times-frac_binary64
79×add-sqr-sqrt_binary64
53×add-cube-cbrt_binary64
39×associate-*l*_binary64
Counts
3 → 164
Calls

3 calls:

19.0ms
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
11.0ms
(*.f64 (/.f64 y z) (/.f64 y z))
7.0ms
(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
Compiler

Compiled 4482 to 1581 computations (64.7% saved)

series217.0ms (4.8%)

Error
0b
Counts
3 → 49
Calls

3 calls:

100.0ms
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
68.0ms
(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
24.0ms
(*.f64 (/.f64 y z) (/.f64 y z))
Compiler

Compiled 2757 to 1907 computations (30.8% saved)

simplify153.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
697×distribute-rgt-in_binary64
258×associate-*l/_binary64
222×associate-*r/_binary64
213×associate-*l*_binary64
208×associate-/l*_binary64
Counts
213 → 191
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03295446
110094903
233654593
353574593

prune108.0ms (2.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1910191
Fresh022
Picked011
Done022
Total1915196
Error
0b
Counts
196 → 5
Alt Table
StatusErrorProgram
▶32.4b
(neg.f64 (+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z)))))
36.8b
(/.f64 1 (neg.f64 (/.f64 y (*.f64 z (+.f64 x y)))))
✓7.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
✓7.1b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
✓17.0b
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
Compiler

Compiled 3633 to 1549 computations (57.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 z (/.f64 z (/.f64 y z)))
0.2b
(/.f64 z (/.f64 y z))
3.9b
(/.f64 x (/.f64 y z))
4.4b
(+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z))))

rewrite192.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
150×times-frac_binary64
96×*-un-lft-identity_binary64
88×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
26×associate-/r*_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
Counts
4 → 172
Calls

4 calls:

34.0ms
(+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z))))
14.0ms
(+.f64 z (/.f64 z (/.f64 y z)))
6.0ms
(/.f64 z (/.f64 y z))
6.0ms
(/.f64 x (/.f64 y z))
Compiler

Compiled 4007 to 1007 computations (74.9% saved)

series127.0ms (2.8%)

Error
0b
Counts
4 → 45
Calls

4 calls:

51.0ms
(+.f64 (/.f64 x (/.f64 y z)) (+.f64 z (/.f64 z (/.f64 y z))))
26.0ms
(/.f64 x (/.f64 y z))
24.0ms
(+.f64 z (/.f64 z (/.f64 y z)))
19.0ms
(/.f64 z (/.f64 y z))
Compiler

Compiled 1284 to 803 computations (37.5% saved)

simplify189.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
559×*-commutative_binary64
423×cancel-sign-sub-inv_binary64
286×distribute-rgt-in_binary64
263×associate-/r/_binary64
250×distribute-lft-in_binary64
Counts
217 → 170
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02883674
16963527
222843359
339423335
448923320
549663320

prune74.0ms (1.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1691170
Fresh101
Picked101
Done033
Total1714175
Error
0b
Counts
175 → 4
Alt Table
StatusErrorProgram
33.7b
(neg.f64 (+.f64 z (*.f64 z (+.f64 (/.f64 x y) (/.f64 z y)))))
7.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 y x)))
7.1b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
17.0b
(*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
Compiler

Compiled 2328 to 644 computations (72.3% saved)

regimes715.0ms (15.7%)

Accuracy

Total 0.3b remaining (95.6%)

Threshold costs 0.3b (95.6%)

Compiler

Compiled 6587 to 4099 computations (37.8% saved)

bsearch3.0ms (0.1%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
11×+-commutative_binary64
8×sub-neg_binary64 *-commutative_binary64
7×neg-mul-1_binary64 neg-sub0_binary64
2×unsub-neg_binary64 distribute-neg-frac_binary64 distribute-neg-in_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02383
13683
25183
36883
47783
58183
68283
78183

end1.0ms (0%)

Compiler

Compiled 59 to 31 computations (47.5% saved)

sample621.0ms (13.7%)

Algorithm
1×intervals
Results
252.0ms7997×body128valid
0.0ms1×body2048valid
0.0ms1×body1024valid
0.0ms1×body512valid
Compiler

Compiled 138 to 82 computations (40.6% saved)

Profiling

Loading profile data...